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 | |
Publication status | Published - 2008 |