Ort: Raum S2-02 / E302
Datum und Zeit: Dienstag, 1. Juli 2008, 16:25-18:00 Uhr

Johannes Kinder

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.