Software Engineering Institute

The Pharos static binary analysis framework is designed to facilitate the automated analysis of binary programs. It uses the ROSE compiler infrastructure developed by Lawrence Livermore National Laboratory for disassembly, control flow analysis, instruction semantics, and more.

For more information about Pharos, see the following articles:

• Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables
• Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis