From 7c9cf3520d44d8ecf3f0e6d2be781e223ce93a31 Mon Sep 17 00:00:00 2001 From: Jaen Date: Sun, 2 Dec 2018 19:24:49 -0800 Subject: [PATCH] Add link to BinCAT from Airbus security lab --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index e42832f..980b024 100644 --- a/README.md +++ b/README.md @@ -103,6 +103,7 @@ * [angr](http://angr.io/) - Python framework for analyzing binaries. Includes a symbolic execution tool. * [Triton](https://triton.quarkslab.com/) - Dynamic binary analysis platform that includes a dynamic symbolic execution tool. * [manticore](https://github.com/trailofbits/manticore) - Symbolic execution tool for binaries (x86, x86_64 and ARMV7) and Ethereum smart contract bytecode. +* [BinCAT](https://github.com/airbus-seclab/bincat) - Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection. ### Misc