Loading...
conference paper
Jakstab: A Static Analysis Platform for Binaries
2008
Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008)
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.
Loading...
Name
cav08.pdf
Type
Postprint
Access type
openaccess
Size
43.19 KB
Format
Adobe PDF
Checksum (MD5)
51f771664d589dc8edce0c78b54f6f32