Awesome Open Source
Awesome Open Source
Combined Topics
symbolic-execution x
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194

The Top 119 Symbolic Execution Open Source Projects on Github

Categories > Security > Symbolic Execution
Miasm ⭐ 2,569
Reverse engineering framework in Python
Manticore ⭐ 2,454
Symbolic execution tool
Triton ⭐ 1,888
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,777
KLEE Symbolic Execution Engine
Bap ⭐ 1,508
Binary Analysis Platform
Ponce ⭐ 1,111
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
Medusa ⭐ 910
An open source interactive disassembler
Angora ⭐ 681
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Crosshair ⭐ 681
An analysis tool for Python that blurs the line between testing and type systems.
Deepstate ⭐ 655
A unit test-like interface for fuzzing and symbolic execution
Awesome Symbolic Execution ⭐ 639
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Tigress_protection ⭐ 558
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 ⭐ 416
yet another tool for analysing binaries
Symbolic Execution ⭐ 365
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Stp ⭐ 356
Simple Theorem Prover, an efficient SMT solver for bitvectors
Cgpwn ⭐ 350
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
Angryghidra ⭐ 295
Use angr in Ghidra
Alive2 ⭐ 283
Automatic verification of LLVM optimizations
Idangr ⭐ 228
Use angr in the IDA Pro debugger generating a state from the current debug session
Symbiotic ⭐ 220
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Symgdb ⭐ 197
SymGDB - symbolic execution plugin for gdb
Exrop ⭐ 164
Automatic ROPChain Generation
Kleefl ⭐ 155
Seeding fuzzers with symbolic execution
Expose ⭐ 97
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.
Seninja ⭐ 93
symbolic execution plugin for binary ninja
Etheno ⭐ 93
Simplify Ethereum security analysis and testing
Sys ⭐ 91
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Pakala ⭐ 88
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Smoosh ⭐ 74
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Symbolic Execution Tutorial ⭐ 73
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
Kirenenko ⭐ 69
Super Fast Concolic Execution Engine based on Source Code Taint Tracing
Meandiff ⭐ 60
Testing Intermediate Representations for Binary Analysis
Obfuscation Benchmarks ⭐ 53
A set of programs used for benchmarking the strength of obfuscation
Crete Dev ⭐ 47
CRETE under development
Ilf ⭐ 47
AI based fuzzer based on imitation learning
Dobby2 ⭐ 44
Build your emulation environment as needed
P4pktgen ⭐ 41
Automatic test case generator for P4 programs
Apisan ⭐ 40
APISan: Sanitizing API Usages through Semantic Cross-Checking
Binary Decompilation ⭐ 37
Extracting high level semantic information from binary code
X Tunnel Opaque Predicates ⭐ 35
IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
Sai ⭐ 31
Staged Abstract Interpreters
Symbolica ⭐ 28
Symbolica's open-source symbolic execution engine.
Munch ⭐ 28
Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
Angr Antievasion ⭐ 27
Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
Rel ⭐ 24
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Amphitrite ⭐ 24
Symbolic debugging tool using JonathanSalwan/Triton
Vigor ⭐ 23
Main repository of the Vigor NF verification project.
Stevia ⭐ 23
A simple SMT solver.
Symbooglix ⭐ 23
Symbolic Execution Engine for Boogie
Wasabi Aeg ⭐ 21
Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
Kleespectre ⭐ 21
KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
G2 ⭐ 20
Sixtypical ⭐ 20
A 6502-oriented low-level programming language supporting advanced static analysis
Tracer ⭐ 20
TRACER Symbolic Execution Tool
Silicon ⭐ 20
Symbolic-execution-based verifier for the Viper intermediate verification language.
Crusher ⭐ 17
Malware S2e ⭐ 16
Code for my blog post on using S2E for malware analysis
Symexec ⭐ 15
Basic x86 Symbolic Execution for educational purposes
Tracerx ⭐ 15
TracerX Symbolic Virtual Machine
P4 Semantics ⭐ 14
Formal Semantics of P4 in K
Kinetic ⭐ 14
Deployment and maintenance tool for Cyber Ranges. Core components are salt, openstack, and ceph.
Lwip Bug Finder ⭐ 13
lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).
Surveyor ⭐ 13
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
Mythos ⭐ 13
CLI client for the MythX API
Sandshrew ⭐ 11
Underconstrained symbolic execution for cryptography verification
Nvaux ⭐ 10
the note-taking app that knows how to get weird.
Kaitai S2e ⭐ 10
Code for my blog post on combining S2E and Kaitai Struct
Interrupt_analysis ⭐ 10
Symbolic Execution ⭐ 10
Files for http://deniable.org/reversing/symbolic-execution
Symboliclivenessanalysis ⭐ 9
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
Dig ⭐ 8
A tool for generating nonlinear numerical invariants for C and Java programs. DIG uses dynamic analysis to infer invariants over program execution traces and applies symbolic execution to inferred invariants.
Binclass ⭐ 8
Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.
Symexec Engine Modoki ⭐ 7
Symbolic Execution Engine Modoki
Atpg4sv ⭐ 7
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
Haunted ⭐ 6
Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
Triton4delphi ⭐ 6
The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi
Z34delphi ⭐ 6
The Z3 Theorem Prover bindings for Delphi
Scottcheck ⭐ 6
Smartcat ⭐ 5
SMArTCAT Symbolically Modeled Architecture Timing Channel Analysis Tool
Symbolic_math ⭐ 5
This is a simple Common Lisp program that perform simple calculus calculations.
Program Analysis For Sercurity Review ⭐ 5
Ethereum Bytecode Analyzer ⭐ 5
Find contracts in the Ethereum blockchain, analyze its bytecode and filter by JSON custom rules
Whitesymex ⭐ 5
Symbolic execution engine for Whitespace.
Spf Wca ⭐ 5
Tool for algorithmic complexity analysis based on symbolic execution
Sydr Benchmark ⭐ 5
Sydr benchmark applications
Binsec Vagrant ⭐ 5
Easy to use BINSEC Vagrant image.
Lvca Hs ⭐ 4
language verification, construction, and automation
Program Model ⭐ 4
Formal model of program execution, symbolic execution, and taint tracking
Sudoku Solver ⭐ 4
Sudoku Solver using Z3
Jpf Symbc ⭐ 4
Symbolic PathFinder
Lart ⭐ 4
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
Symex Vp ⭐ 4
A RISC-V RV32 virtual prototype based on riscv-vp with symbolic execution support
Aadd ⭐ 4
This repository holds the Affine Arithmetic Decision Diagrams library
Angr Sample ⭐ 3
angr 7向けのサンプルプログラムです
Delta Dx ⭐ 3
A Symbolic Differentiator
Argon Cli ⭐ 3
An automation tool to generate, obfuscate, compile and run symbolic execution on c source files
Methodinvocationsequencetracer ⭐ 2
基于符号执行的方法调用序列追踪工具
Uspno.9 ⭐ 2
Unnamed SymbEx Project No. 9
J Recover ⭐ 2
A commutativity verifier for Java Reducer.
Diploma Thesis ⭐ 2
Bachelor thesis: Formal analysis of iptables configurations for network verification
1-100 of 119 projects

Related Projects

Python Symbolic Execution Projects (32)
C Plus Plus Symbolic Execution Projects (16)
Binary Analysis Symbolic Execution Projects (13)
Verification Symbolic Execution Projects (13)
Reverse Engineering Symbolic Execution Projects (12)
Symbolic Execution Klee Projects (12)
Static Analysis Symbolic Execution Projects (12)
Security Symbolic Execution Projects (11)
Fuzzing Symbolic Execution Projects (11)
Llvm Symbolic Execution Projects (10)
Java Symbolic Execution Projects (10)
Symbolic Execution Angr Projects (10)
C Symbolic Execution Projects (9)
Smt Symbolic Execution Projects (7)
Symbolic Execution Program Analysis Projects (7)
Dynamic Analysis Symbolic Execution Projects (7)
Python Reverse Engineering Symbolic Execution Projects (6)
Symbolic Execution Taint Analysis Projects (6)
Testing Symbolic Execution Projects (6)
Ethereum Symbolic Execution Projects (6)
Python Symbolic Execution Angr Projects (6)
Python Fuzzing Symbolic Execution Projects (5)
Unit Testing Symbolic Execution Projects (5)
Symbolic Execution Triton Projects (5)
Symbolic Execution Concolic Projects (3)
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021