What is BinCAT?
BinCAT is a static Binary Code Analysis Toolkit, designed to help reverse engineers, directly from IDA or using Python for automation.
It features:
value analysis (registers and memory)
taint analysis
type reconstruction and propagation
backward and forward analysis
use-after-free and double-free detection
[HIDE][Hidden Content]]