Jakstab: A Static Analysis Platform for Binaries

Johannes Kinder; Helmut Veith

doi:10.1007/978-3-540-70545-1_40

Jakstab: A Static Analysis Platform for Binaries

Johannes Kinder, Helmut Veith

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

173 Downloads (Pure)

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 language	English
Title of host publication	Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008)
Publisher	Springer
Pages	423-427
DOIs	https://doi.org/10.1007/978-3-540-70545-1_40
Publication status	Published - 2008

Access to Document

10.1007/978-3-540-70545-1_40

jakstab_cav08Accepted author manuscript, 43.2 KB

Cite this

@inproceedings{ac86235d589246c19679885d09fbaeab,

title = "Jakstab: A Static Analysis Platform for Binaries",

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.",

author = "Johannes Kinder and Helmut Veith",

year = "2008",

doi = "10.1007/978-3-540-70545-1_40",

language = "English",

pages = "423--427",

booktitle = "Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008)",

publisher = "Springer",

}

TY - GEN

T1 - Jakstab: A Static Analysis Platform for Binaries

AU - Kinder, Johannes

AU - Veith, Helmut

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-70545-1_40

DO - 10.1007/978-3-540-70545-1_40

M3 - Conference contribution

SP - 423

EP - 427

BT - Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008)

PB - Springer

ER -