Это фреймворк, который АНБ использует для исследования исполняемых программ.
Есть декомпилятор. Сам еще внимательно не смотрел, по сравнению с HexRays-ом вроде генерит больше локальных переменных , но тем не менее, на первый взгляд, выглядит солидно. Подробнее здесь. Ghidra здесь.