Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 15 Security Symbolic Execution Open Source Projects

Open source projects categorized as Security Symbolic Execution
Categories > Security > Security
Categories > Security > Symbolic Execution
Mythril ⭐ 3,716
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 2 days agopypi mythril} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Bap ⭐ 1,926
Binary Analysis Platform
most recent commit 5 months ago
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 2 years ago
Karl ⭐ 300
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
most recent commit a year ago
Thoth ⭐ 221
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
most recent commit 5 months ago
Fuzzing_paper ⭐ 192
fuzzing related paper
most recent commit 3 years ago
Sys ⭐ 182
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
most recent commit 2 years 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
Oss Sydr Fuzz ⭐ 99
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
most recent commit 3 months ago
Pakala ⭐ 88
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
total releases 25most recent commit 4 years ago
Kirenenko ⭐ 69
Super Fast Concolic Execution Engine based on Source Code Taint Tracing
most recent commit 3 years ago
Rel ⭐ 31
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 7 months ago
Ml4sec Papers ⭐ 18
Research papers on ML for security
most recent commit 4 years ago
Mythos ⭐ 13
CLI client for the MythX API
dependent packages 3total releases 34most recent commit 4 years agonpm @cleanunicorn/mythos} Downloads
The 3 Most Depended On Security Symbolic Execution Open Source Projects
Mythos ⭐ 13
CLI client for the MythX API
dependent packages 3total releases 34latest release July 08, 2020most recent commit 4 years agonpm @cleanunicorn/mythos} Downloads
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 Security Symbolic Execution 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
Mythos ⭐ 13
CLI client for the MythX API
dependent packages 3total releases 34latest release July 08, 2020most recent commit 4 years agonpm @cleanunicorn/mythos} Downloads
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.