>>17
Not for sale.
>>19
No, the issues are more political. Remember !w4lolitaKs? She specialised in high-level RE techniques and drove most of the design effort. It's much more than a decompiler, which is sort of why we want to currently keep it restricted. One example I can pick out is the analysis technology can essentially find all the buffer overflows, off-by-ones, input validation errors, and anything else "wrong" with the code (for certain definitions of "wrong"). There are limitations like requiring huge amounts of processing power and storage to do this (several hundred cores and close to a TB of RAM total in the current system), but it would be a huge security threat to release it at the moment.