Jakstab
An abstract interpretation-based static analysis platform for disassembling and analyzing binary executables to recover control flow graphs.
What is Jakstab?
Jakstab is a static analysis platform for binary executables that combines disassembly with abstract interpretation-based data flow analysis. It translates machine code to an intermediate language while performing analysis to recover reliable control flow graphs from binaries. The framework is designed to analyze executables and support the design of custom analyses for binary code.
Security researchers, reverse engineers, and binary analysis developers working on static analysis of executables, particularly those focused on control flow reconstruction and program verification.
Jakstab provides an integrated approach to binary analysis where disassembly and data flow analysis inform each other, enabling more precise control flow reconstruction than traditional sequential disassembly. Its abstract interpretation foundation allows for adaptable analysis domains and hardware platform support.
Overview
The Jakstab static analysis platform for binaries
Use Cases
Best For
- Analyzing obfuscated or protected binaries where traditional disassembly fails
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
