symbolic-execution
There are 265 repositories under symbolic-execution topic.
Consensys/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
trailofbits/manticore
Symbolic execution tool
JonathanSalwan/Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
cea-sec/miasm
Reverse engineering framework in Python
klee/klee
KLEE Symbolic Execution Engine
BinaryAnalysisPlatform/bap
Binary Analysis Platform
illera88/Ponce
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
JonathanSalwan/VMProtect-devirtualization
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
wisk/medusa
An open source interactive disassembler
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
AngoraFuzzer/Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
trailofbits/deepstate
A unit test-like interface for fuzzing and symbolic execution
JonathanSalwan/Tigress_protection
Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
AliveToolkit/alive2
Automatic verification of LLVM optimizations
Nalen98/AngryGhidra
Use angr in Ghidra
huchenxucs/ChatDB
The official repository of "ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory".
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
bdcht/amoco
yet another tool for analysing binaries
mazeppa-dev/mazeppa
A modern supercompiler for call-by-value functional languages
0xM3R/cgPwn
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
palkeo/pakala
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
crytic/etheno
Simplify Ethereum security analysis and testing
cleanunicorn/karl
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
d4em0n/exrop
Automatic ROPChain Generation
andreafioraldi/IDAngr
Use angr in the IDA Pro debugger generating a state from the current debug session
borzacchiello/seninja
symbolic execution plugin for binary ninja
FuzzingLabs/thoth
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
ergrelet/themida-unmutate
Static deobfuscator for Themida, WinLicense and Code Virtualizer 3.x's mutation-based obfuscation.
PLSysSec/sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
SQLab/symgdb
SymGDB - symbolic execution plugin for gdb
julieeen/kleefl
Seeding fuzzers with symbolic execution
ExpoSEJS/ExpoSE
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
GaloisInc/MATE
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.