What is BinCAT?
BinCAT is a static Binary Code Analysis Toolkit, designed to help reverse engineers, directly from IDA or using Python for automation.
- value analysis (registers and memory)
- taint analysis
- type reconstruction and propagation
- backward and forward analysis
- use-after-free and double-free detection
You can check (an older version of) BinCAT in action here:
Check the tutorial out to see the corresponding tasks.
Supported host platforms:
- IDA plugin: all, version 7.0 or later (BinCAT uses PyQt, not PySide)
- analyzer (local or remote): Linux, Windows, macOS (maybe)
Supported CPU for analysis (for now):
Only IDA v7 or later is supported
v6.9 may work, but we won't support it.
Binary distribution install (recommended)
The binary distribution includes everything needed:
- the analyzer
- the IDA plugin
- Extract the binary distribution of BinCAT (not the git repo)
- In IDA, click on "File -> Script File..." menu (or type ALT-F7)
- BinCAT is now installed in your IDA user dir
- Restart IDA
The analyzer can be used locally or through a Web service.
BinCAT should work with IDA on Wine, once pip is installed:
- download https://bootstrap.pypa.io/get-pip.py (verify it's good ;)
Load the plugin by using the
Ctrl-Shift-Bshortcut, or using the
Edit -> Plugins -> BinCATmenu
Go to the instruction where you want to start the analysis
BinCAT Configurationpane, click
<-- Currentto define the start address
Launch the analysis
Global options can be configured through the
Default config and options are stored in
- "Use remote bincat": select if you are running docker in a Docker container
- "Remote URL": http://localhost:5000 (or the URL of a remote BinCAT server)
- "Autostart": autoload BinCAT at IDA startup
- "Save to IDB": default state for the
save to idbcheckbox
A tutorial is provided to help you try BinCAT's features.
Article and presentations about BinCAT
- SSTIC 2017, Rennes, France: article (english), slides (french), video of the presentation (french)
- REcon 2017, Montreal, Canada: slides, video
BinCAT is released under the GNU Affero General Public Licence.
The BinCAT OCaml code includes code from the original Ocaml runtime, released under the LGPLv2.
The BinCAT IDA plugin includes code from python-pyqt5-hexview by Willi Ballenthin, released under the Apache License 2.0.
BinCAT includes a modified copy of newspeak.