airbus-seclab/bincat

Analizador estático de código binario, con integración en IDA. Realiza análisis de valores y de flujo de datos (taint analysis), reconstrucción de tipos y detección de use-after-free y double-free