Symposium sur la sécurité des technologies de l'information et des communications

Conférence francophone sur le thème de la sécurité de l'information.
Elle a eu lieu à Rennes du 7 au 9 juin 2017.

BinCAT: purrfecting binary static analysisPhilippe Biondi, Raphaël Rigo, Sarah Zennou, Xavier Mehrenberger


Date : 07 June 2017 à 15:15 — 30 min.

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.