BinCAT: purrfecting binary static analysis

Presented at REcon 2017, June 16, 2017, 3 p.m. (30 minutes)

We present BinCAT, a new open source static analyzer of x86 binary code. It currently implements control flow graph reconstruction, value analysis, taint analysis at the bit level and type reconstruction. Analyses can be led either in forward or backward mode. We expect this tool to be more useful than existing ones as it is (i) extensible in terms of analysis capabilities and supported architectures; (ii) scriptable and (iii) fully integrated into IDA.



Similar Presentations: