Jakstab: A Static Analysis Platform for Binaries

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.


Published in:
Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008), 423-427
Presented at:
20th Int. Conf. Computer Aided Verification, Princeton, NJ, USA, July 7-14, 2008
Year:
2008
Publisher:
Berlin Heidelberg, Springer
Keywords:
Laboratories:




 Record created 2011-07-13, last modified 2018-03-17

Postprint:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)