airbus-seclab
airbus-seclab
bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
c-compiler-security
Security-related flags and options for C compilers
cpu_rec
Recognize cpu instructions in an arbitrary binary file
crashos
A tool dedicated to the research of vulnerabilities in hypervisors by creating unusual system configurations.
diffware
An extensively configurable tool providing a summary of the changes between two files or directories, ignoring all the fluff you don't care about.
gustave
GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuzz OS kernels like simple applications.