Jakstab: A Static Analysis Platform for Binaries. / Kinder, Johannes; Veith, Helmut.

Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008). Springer, 2008. p. 423-427.

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

Published

Documents

Abstract

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)
PublisherSpringer
Pages423-427
DOIs
Publication statusPublished - 2008
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 17558168