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 about 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 about 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 10 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 10 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 about 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.
Privacy | About | Terms | Follow Us On Twitter

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

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