Reverse engineering framework in Python
Python
Updated Mar 22, 2019
Symbolic execution tool
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Executio…
C++
Updated Mar 12, 2019
KLEE Symbolic Execution Engine
C++
Updated Mar 22, 2019
An open source interactive disassembler
C++
Updated Feb 3, 2019
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
C++
Updated Feb 7, 2018
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints…
C++
Updated Feb 27, 2019
Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic…
LLVM
Updated Feb 18, 2019
yet another tool for analysing binaries
Python
Updated Feb 16, 2019
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Updated Jan 14, 2019
A unit test-like interface for fuzzing and symbolic execution
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
Shell
Updated Mar 8, 2017
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Updated Dec 30, 2017
Simple Theorem Prover, an efficient SMT solver for bitvectors
C++
Updated Mar 2, 2019
SymGDB - symbolic execution plugin for gdb
Python
Updated May 15, 2018
Use angr in the IDA Pro debugger generating a state from the current debug session
Python
Updated Dec 14, 2018
Seeding fuzzers with symbolic execution
Python
Updated Oct 20, 2017
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Python
Updated Mar 20, 2019
Simplify Ethereum security analysis and testing
Python
Updated Mar 12, 2019
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Python
Updated Mar 14, 2019
Testing Intermediate Representations for Binary Analysis
F#
Updated Dec 5, 2018
KLEE-TAINT - Klee with taint analysis support
Forked from
klee/klee
C++
Updated Oct 23, 2017
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
Python
Updated Nov 30, 2018
A Dynamic Symbolic Execution (DSE) engine for JavaScript
JavaScript
Updated Mar 18, 2019
CRETE under development
C
Updated Aug 5, 2018
A set of programs used for benchmarking the strength of obfuscation
C
Updated Feb 25, 2018
Symbolic debugging tool using JonathanSalwan/Triton
Python
Updated Oct 24, 2018
Symbolic Execution Engine for Boogie
C#
Updated Apr 15, 2018
Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. …
Python
Updated Oct 23, 2017
Automatic test case generator for P4 programs
Python
Updated Jan 21, 2019
