# airbus-seclab/bincat

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/airbus-seclab-bincat).**

1,858 stars · 169 forks · OCaml

## Links

- GitHub: https://github.com/airbus-seclab/bincat
- awesome-repositories: https://awesome-repositories.com/repository/airbus-seclab-bincat.md

## Description

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

## Tags

### Part of an Awesome List

- [Program Analysis](https://awesome-repositories.com/f/awesome-lists/devtools/program-analysis.md) — Toolkit for static analysis of binary code.