Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Symbolic Execution Open Source Projects

Open source projects categorized as Symbolic Execution
Categories > Security > Symbolic Execution
Angr ⭐ 6,782
A powerful and user-friendly binary analysis platform!
dependent packages 13total releases 195most recent commit 2 days agopypi angr} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,027most recent commit 14 days agopypi manticore} Downloads
Mythril ⭐ 3,524
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
dependent packages 4total releases 305most recent commit 5 days agopypi mythril} Downloads
Miasm ⭐ 3,160
Reverse engineering framework in Python
most recent commit 24 days ago
Triton ⭐ 3,008
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 1total releases 3most recent commit 6 days agopypi triton-library} Downloads
Klee ⭐ 2,314
KLEE Symbolic Execution Engine
most recent commit 18 days ago
Bap ⭐ 1,873
Binary Analysis Platform
most recent commit 21 days ago
One_gadget ⭐ 1,847
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
Zz ⭐ 1,604
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
total releases 1most recent commit a year ago
Ponce ⭐ 1,331
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
most recent commit 4 months ago
Awesome Symbolic Execution ⭐ 1,119
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
most recent commit 2 months ago
Medusa ⭐ 910
An open source interactive disassembler
most recent commit 4 years ago
Crosshair ⭐ 894
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 28most recent commit 18 days agopypi crosshair-tool} Downloads
Angora ⭐ 867
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 a year ago
Deepstate ⭐ 782
A unit test-like interface for fuzzing and symbolic execution
most recent commit a month ago
Tigress_protection ⭐ 740
Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
most recent commit 2 years ago
Driller ⭐ 734
Driller: augmenting AFL with symbolic execution!
most recent commit a year ago
Symcc ⭐ 642
SymCC: efficient compiler-based symbolic execution
most recent commit 5 months ago
Alive2 ⭐ 578
Automatic verification of LLVM optimizations
most recent commit 9 hours ago
Haybale ⭐ 456
Symbolic execution of LLVM IR with an engine written in Rust
dependent packages 1total releases 19most recent commit 18 days agocargo haybale} Downloads
Stp ⭐ 455
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit a month ago
Amoco ⭐ 435
yet another tool for analysing binaries
most recent commit 7 months ago
Angryghidra ⭐ 419
Use angr in Ghidra
most recent commit 6 months ago
The 8 Most Depended On Symbolic Execution Open Source Projects
Angr ⭐ 6,782
A powerful and user-friendly binary analysis platform!
dependent packages 13total releases 195latest release August 01, 2023most recent commit 2 days agopypi angr} Downloads
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513latest release May 12, 2022most recent commit a year agonuget Symbolica.Abstraction} Downloads
One_gadget ⭐ 1,847
The best tool for finding one gadget RCE in libc.so.6
dependent packages 1total releases 27latest release March 25, 2022most recent commit a month agorubygems one_gadget} Downloads
Haybale ⭐ 456
Symbolic execution of LLVM IR with an engine written in Rust
dependent packages 1total releases 19latest release October 21, 2021most recent commit 18 days agocargo haybale} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,027latest release August 14, 2023most recent commit 14 days agopypi manticore} Downloads
Crosshair ⭐ 894
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 28latest release June 22, 2022most recent commit 18 days agopypi crosshair-tool} Downloads
The 10 Latest Releases In Symbolic Execution Open Source Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,027latest release August 14, 2023most recent commit 14 days agopypi manticore} Downloads
Angr ⭐ 6,782
A powerful and user-friendly binary analysis platform!
dependent packages 13total releases 195latest release August 01, 2023most recent commit 2 days agopypi angr} Downloads
Crosshair ⭐ 894
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 28latest release June 22, 2022most recent commit 18 days agopypi crosshair-tool} Downloads
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513latest release May 12, 2022most recent commit a year agonuget Symbolica.Abstraction} Downloads
One_gadget ⭐ 1,847
The best tool for finding one gadget RCE in libc.so.6
dependent packages 1total releases 27latest release March 25, 2022most recent commit a month agorubygems one_gadget} Downloads
Haybale ⭐ 456
Symbolic execution of LLVM IR with an engine written in Rust
dependent packages 1total releases 19latest release October 21, 2021most recent commit 18 days agocargo haybale} Downloads
Etheno ⭐ 303
Simplify Ethereum security analysis and testing
total releases 7latest release September 22, 2021most recent commit 3 months ago
Popular Security Categories
Security
Token
Authentication
Password
Role
Vulnerabilities
Oauth
Ssh
Login
Scanner
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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