Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Symbolic Execution Open Source Projects
Open source projects categorized as Symbolic Execution
Categories
>
Security
>
Symbolic Execution
Edit Category
trailofbits/manticore
⭐
3,535
Symbolic execution tool
dependent packages
0
total releases
0
most recent commit
over 2 years ago
cea-sec/miasm
⭐
3,253
Reverse engineering framework in Python
dependent packages
0
total releases
0
most recent commit
over 2 years ago
JonathanSalwan/Triton
⭐
3,157
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
klee/klee
⭐
2,399
KLEE Symbolic Execution Engine
dependent packages
0
total releases
0
most recent commit
over 2 years ago
BinaryAnalysisPlatform/bap
⭐
1,926
Binary Analysis Platform
dependent packages
0
total releases
0
most recent commit
over 2 years ago
david942j/one_gadget
⭐
1,897
The best tool for finding one gadget RCE in libc.so.6
dependent packages
0
total releases
0
most recent commit
over 2 years ago
illera88/Ponce
⭐
1,619
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
dependent packages
0
total releases
0
most recent commit
12 months ago
ksluckow/awesome-symbolic-execution
⭐
1,464
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
dependent packages
0
total releases
0
most recent commit
12 months ago
pschanely/CrossHair
⭐
924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
wisk/medusa
⭐
910
An open source interactive disassembler
dependent packages
0
total releases
0
most recent commit
over 6 years ago
Get A Weekly Email With Trending Symbolic Execution Projects
No Spam. Unsubscribe easily at any time.
Symbolic Execution
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
