Static recompilation runtime libraries and analysis tools for translating PlayStation 3 binaries into native C/C++ executables.
Specification and Scala tooling for the Code Property Graph, a language-agnostic representation of program code for analysis.