CRETE under development
IDA+Triton plugin in order to extract opaque predicates using a Forward-...
Language-generic workbench for building static analysis
Main repository of the Vigor NF verification project.
Greybox fuzzer for optimizing function coverage and finding low-level vu...
gradient-based symbolic execution engine implemented from scratch
Final project for the M.Sc. in Engineering in Computer Science at Univer...
Yet another implementation of AEG (Automated Exploit Generation) using s...
KLEESpectre is a symbolic execution engine with speculation semantic an...
Binsec/Rel is an extension of Binsec that implements relational symbolic...
A simple (unfinished) SMT solver for QF_ABV.
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-...
Symbolic debugging tool using JonathanSalwan/Triton