Jakstab: A Static Analysis Platform for Binaries

Johannes Kinder, Helmut Veith

Research output: Chapter in Book/Report/Conference proceedingConference contribution

176 Downloads (Pure)


For processing compiled code, model checkers require accurate model extraction from binaries. We present our fully configurable binary analysis platform Jakstab, which resolves indirect branches by multiple rounds of disassembly interleaved with dataflow analysis. We demonstrate that this iterative disassembling strategy achieves better results than the state-of-the-art tool IDA Pro.
Original languageEnglish
Title of host publicationProc. 20th Int. Conf. Computer Aided Verification (CAV 2008)
Publication statusPublished - 2008

Cite this