Awesome Open Source
Awesome Open Source
Combined Topics
symbolic-execution x

The Top 248 Symbolic Execution Open Source Projects

Categories > Security > Symbolic Execution
Angr ⭐ 5,883
A powerful and user-friendly binary analysis platform!
dependent packages 10total releases 138most recent commit 2 days agopypi angr} Downloads
Manticore ⭐ 2,875
Symbolic execution tool
dependent packages 1total releases 617most recent commit 4 days agopypi manticore} Downloads
Miasm ⭐ 2,773
Reverse engineering framework in Python
most recent commit 2 days ago
Mythril ⭐ 2,417
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
dependent packages 3total releases 283most recent commit 3 days agopypi mythril} Downloads
Triton ⭐ 2,176
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
most recent commit 2 months ago
Klee ⭐ 1,964
KLEE Symbolic Execution Engine
most recent commit 23 days ago
Bap ⭐ 1,621
Binary Analysis Platform
most recent commit 3 days ago
Zz ⭐ 1,568
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
most recent commit 6 months ago
One_gadget ⭐ 1,557
The best tool for finding one gadget RCE in libc.so.6
dependent packages 1total releases 27most recent commit a month agorubygems one_gadget} Downloads
Ponce ⭐ 1,184
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
most recent commit a month ago
Medusa ⭐ 910
An open source interactive disassembler
most recent commit 3 years ago
Awesome Symbolic Execution ⭐ 800
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
most recent commit 3 months ago
Crosshair ⭐ 776
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 24most recent commit 4 days agopypi crosshair-tool} Downloads
Angora ⭐ 773
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
most recent commit 2 months ago
Driller ⭐ 734
Driller: augmenting AFL with symbolic execution!
most recent commit 2 months ago
Deepstate ⭐ 687
A unit test-like interface for fuzzing and symbolic execution
most recent commit a month ago
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.
most recent commit 2 years ago
Symcc ⭐ 545
SymCC: efficient compiler-based symbolic execution
most recent commit 19 hours ago
Amoco ⭐ 425
yet another tool for analysing binaries
most recent commit 4 months ago
Symbolic Execution ⭐ 412
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
most recent commit 5 months ago
Stp ⭐ 392
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit 9 days ago
Haybale ⭐ 361
Symbolic execution of LLVM IR with an engine written in Rust
dependent packages 1total releases 19most recent commit 18 days agocargo haybale} Downloads
Cgpwn ⭐ 350
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
most recent commit 3 years ago
Angryghidra ⭐ 345
Use angr in Ghidra
most recent commit 5 months ago
Alive2 ⭐ 340
Automatic verification of LLVM optimizations
most recent commit a day ago
Vmprotect Devirtualization ⭐ 244
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
most recent commit 3 months ago
Symbiotic ⭐ 243
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
most recent commit 12 days ago
Symexbib ⭐ 239
A bibliography of papers related to symbolic execution
most recent commit 6 years ago
Pyexz3 ⭐ 233
Python Exploration with Z3
most recent commit 4 years ago
Idangr ⭐ 228
Use angr in the IDA Pro debugger generating a state from the current debug session
most recent commit 2 years ago
Fuzzball ⭐ 207
FuzzBALL: Vine-based Binary Symbolic Execution
most recent commit 2 months ago
Symgdb ⭐ 197
SymGDB - symbolic execution plugin for gdb
most recent commit 4 years ago
Fuzzing_paper ⭐ 192
fuzzing related paper
most recent commit a year ago
Karl ⭐ 185
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
most recent commit 2 months ago
Sys ⭐ 182
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
most recent commit 2 months ago
Etheno ⭐ 171
Simplify Ethereum security analysis and testing
total releases 5most recent commit a month ago
Exrop ⭐ 164
Automatic ROPChain Generation
most recent commit 2 years ago
Symqemu ⭐ 156
SymQEMU: Compilation-based symbolic execution for binaries
most recent commit 10 months ago
Kleefl ⭐ 155
Seeding fuzzers with symbolic execution
most recent commit 5 years ago
Hyperkernel ⭐ 145
most recent commit 2 years ago
Vmhunt ⭐ 133
most recent commit 4 years ago
Warbirdvm ⭐ 120
An analysis of the Warbird virtual-machine protection for the CI!g_pStore
most recent commit 4 years ago
Expose ⭐ 120
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.
most recent commit 5 months ago
Symtcp ⭐ 118
Automatic Discrepancy Discovery for DPI Elusion
most recent commit 2 years ago
Moflow ⭐ 107
most recent commit a year ago
Pathgrind ⭐ 106
Path based Dynamic Analysis
most recent commit 5 years ago
Lancet ⭐ 106
surgical precision JIT compilers
most recent commit 5 years ago
Seninja ⭐ 104
symbolic execution plugin for binary ninja
most recent commit 4 months ago
Icsref ⭐ 102
A tool for reverse engineering industrial control systems binaries.
most recent commit 3 days ago
Pakala ⭐ 88
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
total releases 25most recent commit 2 years ago
Jpf Symbc ⭐ 88
Symbolic PathFinder
most recent commit 4 months ago
Smoosh ⭐ 86
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
most recent commit 3 months ago
Recreational Rosette ⭐ 75
Some fun examples of solving problems with symbolic execution
most recent commit 4 years ago
Symbolic Execution Tutorial ⭐ 73
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
most recent commit a year ago
Ilf ⭐ 71
AI based fuzzer based on imitation learning
most recent commit 3 months ago
Kirenenko ⭐ 69
Super Fast Concolic Execution Engine based on Source Code Taint Tracing
most recent commit a year ago
Hase ⭐ 68
Timeless debugging with symbolic execution and processor trace
most recent commit a year ago
Pitchfork ⭐ 67
Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
most recent commit 2 years ago
R2con2020_deobfuscation ⭐ 63
most recent commit 8 months ago
Jcute ⭐ 61
Java Concolic Unit Testing Engine
most recent commit 8 years ago
Naaz ⭐ 60
Symbolic Execution Engine based on Ghidra's PCode
most recent commit 8 days ago
Meandiff ⭐ 60
Testing Intermediate Representations for Binary Analysis
most recent commit 3 years ago
Sai ⭐ 54
Staged Abstract Interpreters
most recent commit 5 hours ago
Obfuscation Benchmarks ⭐ 53
A set of programs used for benchmarking the strength of obfuscation
most recent commit 4 years ago
Apisan ⭐ 52
APISan: Sanitizing API Usages through Semantic Cross-Checking
most recent commit 7 months ago
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513most recent commit 24 days agonuget Symbolica.Abstraction} Downloads
Craxplusplus ⭐ 49
The exploit generator CRAX++ is CRAX with x86_64 ROP techniques, s2e 2.0 upgrade, code selection, I/O states, dynamic ROP, and more!
most recent commit 4 days ago
Crete Dev ⭐ 47
CRETE under development
most recent commit 4 years ago
Dobby2 ⭐ 44
Build your emulation environment as needed
most recent commit a year ago
Pykvm ⭐ 43
A tiny KVM hypervisor written in Python
most recent commit 3 years ago
P4pktgen ⭐ 41
Automatic test case generator for P4 programs
most recent commit a year ago
Abstracting Definitional Interpreters ⭐ 40
Abstracting Definitional Interpreters
most recent commit 5 years ago
Modality ⭐ 40
Symbolic execution in radare2 with angr
most recent commit 10 months ago
Binary Decompilation ⭐ 37
Extracting high level semantic information from binary code
most recent commit 3 years ago
Xorshift128plus ⭐ 36
Symbolic execution for the XorShift128+ algorithm.
most recent commit 2 years ago
Pa.llvm ⭐ 36
Program Analysis for LLVM
most recent commit 5 years ago
X Tunnel Opaque Predicates ⭐ 35
IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
most recent commit 3 years ago
Silicon ⭐ 35
Symbolic-execution-based verifier for the Viper intermediate verification language.
most recent commit 5 days ago
Smt Kit ⭐ 34
C++11 library for many-sorted logics
most recent commit 6 years ago
Angr Antievasion ⭐ 33
Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
most recent commit 5 years ago
Munch ⭐ 28
Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
most recent commit 3 years ago
Crax Lab ⭐ 27
AIS3 CRAX lab demo
most recent commit 5 years ago
Vsharp ⭐ 26
Symbolic execution engine for .NET Core
most recent commit 3 months ago
Fuzzification ⭐ 26
We hinder fuzzing
most recent commit 3 years ago
Rel ⭐ 26
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
most recent commit 3 months ago
Phpscan ⭐ 24
Symbolic execution inspired PHP application scanner for code-path discovery
most recent commit 3 years ago
G2 ⭐ 24
most recent commit a day ago
Amphitrite ⭐ 24
Symbolic debugging tool using JonathanSalwan/Triton
most recent commit 4 years ago
Szpy ⭐ 23
Z3 Symbolic Execution python
most recent commit 4 years ago
Symbooglix ⭐ 23
Symbolic Execution Engine for Boogie
most recent commit 5 months ago
Fusebmc ⭐ 23
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
most recent commit 4 months ago
Vigor ⭐ 23
Main repository of the Vigor NF verification project.
most recent commit a year ago
Stevia ⭐ 23
A simple SMT solver.
most recent commit 3 years ago
Utbotcpp ⭐ 22
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
most recent commit 4 days ago
Kleespectre ⭐ 21
KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
most recent commit 2 years ago
Crusher ⭐ 21
most recent commit a month ago
Symbolic Execution ⭐ 21
Applied Symbolic Execution with KLEE/LLVM
most recent commit 9 years ago
Wasabi Aeg ⭐ 21
Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
most recent commit 4 years ago
Seviz ⭐ 21
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
most recent commit 7 years ago
Kinetic ⭐ 21
Deployment and maintenance tool for Cyber Ranges. Core components are salt, openstack, and ceph.
most recent commit 2 months ago
1-100 of 248 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 71
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 343
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 115
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,049,824)
Python  (797,356)
Java  (385,725)
Php  (284,724)
Typescript  (240,386)
C Plus Plus  (236,456)
Ruby  (221,683)
C  (180,529)
Shell  (169,789)
C Sharp  (162,254)
Golang  (156,313)
Swift  (64,741)
R  (57,343)
Objective C  (57,165)
Rust  (56,236)
Dart  (51,596)
Kotlin  (45,616)
Lua  (33,337)
Matlab  (30,918)
Perl  (30,484)
Language  (30,077)
Scala  (28,600)
Haskell  (20,268)
Clojure  (19,072)
Powershell  (18,830)
Bash  (18,606)
Coffeescript  (17,324)
Elixir  (16,578)
Assembly  (14,538)
Processing  (13,302)
Julia  (12,560)
Basic  (10,762)
Flow  (10,528)
Emacs Lisp  (10,376)
Erlang  (9,052)
Scheme  (8,438)
Groovy  (8,435)
Solidity  (7,648)
Ocaml  (6,671)
Pascal  (6,386)
Hack  (6,369)
Lisp  (6,340)
Fortran  (5,489)
Elm  (5,478)
Common Lisp  (5,279)
Dlang  (4,742)
Shell Script  (4,632)
Python Library  (4,450)
Crystal  (4,374)
Scripting  (4,204)
Top Projects
Freecodecamp ⭐ 346,532
996.icu ⭐ 262,320
Free Programming Books ⭐ 233,929
Coding Interview University ⭐ 220,499
Awesome ⭐ 202,760
Vue ⭐ 196,258
Developer Roadmap ⭐ 195,459
Public Apis ⭐ 194,320
React ⭐ 188,629
System Design Primer ⭐ 181,944
Tensorflow ⭐ 165,278
Bootstrap ⭐ 157,589
You Dont Know Js ⭐ 153,649
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,631
Build Your Own X ⭐ 142,363
Javascript Algorithms ⭐ 141,923
Flutter ⭐ 141,034
Python ⭐ 136,366
Gitignore ⭐ 133,520
Linux ⭐ 132,321
Vscode ⭐ 132,171
Awesome Python ⭐ 127,528
Javascript ⭐ 123,498
Javaguide ⭐ 121,736
Python 100 Days ⭐ 117,585
Computer Science ⭐ 113,544
Youtube Dl ⭐ 110,319
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,989
Electron ⭐ 101,841
D3 ⭐ 100,901
Go ⭐ 99,607
30 Seconds Of Code ⭐ 95,885
Create React App ⭐ 95,212
Axios ⭐ 93,628
Awesome Selfhosted ⭐ 89,230
Kubernetes ⭐ 88,770
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,891
Next.js ⭐ 87,275
Terminal ⭐ 83,314
Deno ⭐ 82,648
Three.js ⭐ 82,285
Angular ⭐ 81,568
Awesome Go ⭐ 81,240
Typescript ⭐ 80,958
Ant Design ⭐ 80,459
Material Ui ⭐ 78,683
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.