Awesome Open Source
Awesome Open Source
Combined Topics
symbolic-execution
x
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210
The Top 29 Symbolic Execution Open Source Projects
Categories
>
Security
>
Symbolic Execution
Miasm
⭐
2,412
Reverse engineering framework in Python
Manticore
⭐
2,269
Symbolic execution tool
Triton
⭐
1,772
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Klee
⭐
1,672
KLEE Symbolic Execution Engine
Bap
⭐
1,406
Binary Analysis Platform
Ponce
⭐
1,073
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
Medusa
⭐
947
An open source interactive disassembler
Angora
⭐
674
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Awesome Symbolic Execution
⭐
653
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Crosshair
⭐
607
An analysis tool for Python that blurs the line between testing and type systems.
Deepstate
⭐
605
A unit test-like interface for fuzzing and symbolic execution
Tigress_protection
⭐
554
Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
Amoco
⭐
414
yet another tool for analysing binaries
Symbolic Execution
⭐
395
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Cgpwn
⭐
348
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
Stp
⭐
341
Simple Theorem Prover, an efficient SMT solver for bitvectors
Angryghidra
⭐
250
Use angr in Ghidra
Alive2
⭐
219
Automatic verification of LLVM optimizations
Idangr
⭐
215
Use angr in the IDA Pro debugger generating a state from the current debug session
Symbiotic
⭐
214
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Symgdb
⭐
202
SymGDB - symbolic execution plugin for gdb
Exrop
⭐
196
Automatic ROPChain Generation
Kleefl
⭐
173
Seeding fuzzers with symbolic execution
Sys
⭐
153
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Pakala
⭐
99
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Expose
⭐
96
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.
Etheno
⭐
77
Simplify Ethereum security analysis and testing
Apisan
⭐
46
APISan: Sanitizing API Usages through Semantic Cross-Checking
Wasabi Aeg
⭐
24
Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
1-29 of 29 projects
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210