Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 19 Symbolic Execution Program Analysis Open Source Projects

Open source projects categorized as Symbolic Execution Program Analysis
Categories > Security > Program Analysis
Categories > Security > Symbolic Execution
Mythril ⭐ 3,701
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
dependent packages 7total releases 310most recent commit 12 days agopypi mythril} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Triton ⭐ 3,285
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 20 days agopypi triton-library} Downloads
Bap ⭐ 1,926
Binary Analysis Platform
most recent commit 5 months ago
Symbolic Execution ⭐ 412
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
most recent commit 2 years ago
Vmprotect Devirtualization ⭐ 244
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
most recent commit 2 years ago
Expose ⭐ 165
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 7 months ago
Pastis ⭐ 144
PASTIS: Collaborative Fuzzing Framework
total releases 11most recent commit 4 months ago
Mate ⭐ 120
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
most recent commit a year ago
Naaz ⭐ 75
Symbolic Execution Engine based on Ghidra's PCode
most recent commit a year ago
Dna ⭐ 68
Static analysis & deobfuscation framework for x86/x64
most recent commit a year ago
Dnd ⭐ 52
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
most recent commit 4 months ago
Binary Decompilation ⭐ 37
Extracting high level semantic information from binary code
most recent commit 5 years ago
Pa.llvm ⭐ 36
Program Analysis for LLVM
most recent commit 7 years ago
Gymbo ⭐ 29
gradient-based symbolic execution engine implemented from scratch
most recent commit 4 months ago
Programanalysiscourse ⭐ 24
COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
most recent commit 6 months ago
Surveyor ⭐ 13
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
most recent commit 3 years ago
Wasp ⭐ 9
WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules.
most recent commit 9 months ago
Usvm ⭐ 6
Universal Symbolic Virtual Machine
most recent commit 4 months ago
The 3 Most Depended On Symbolic Execution Program Analysis Open Source Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
The 4 Latest Releases In Symbolic Execution Program Analysis Open Source Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Pastis ⭐ 144
PASTIS: Collaborative Fuzzing Framework
total releases 11latest release September 10, 2023most recent commit 4 months ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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