Kirenenko
Super Fast Concolic Execution Engine based on Source Code Taint Tracing
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Mythril | 3,701 |  | 8 | 7 | 12 days ago | 310 | November 19, 2023 | 103 | mit | Python |
| Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains. | ||||||||||
| Manticore | 3,535 |  | 1 | 1 | 7 months ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python |
| Symbolic execution tool | ||||||||||
| Bap | 1,926 | 5 months ago | 40 | mit | OCaml | |||||
| Binary Analysis Platform | ||||||||||
| Angora | 867 | 2 years ago | 39 | apache-2.0 | C++ | |||||
| Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution. | ||||||||||
| Karl | 300 | a year ago | 16 | mit | Python | |||||
| Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019. | ||||||||||
| Thoth | 221 | 5 months ago | 7 | agpl-3.0 | Python | |||||
| Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC) | ||||||||||
| Fuzzing_paper | 192 | 3 years ago | ||||||||
| fuzzing related paper | ||||||||||
| Sys | 182 | 2 years ago | 17 | gpl-2.0 | LLVM | |||||
| Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code | ||||||||||
| Mate | 120 | a year ago | 32 | bsd-3-clause | Python | |||||
| 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. | ||||||||||
| Oss Sydr Fuzz | 99 | 3 months ago | 4 | apache-2.0 | C | |||||
| OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software. | ||||||||||
Alternatives To KirenenkoSelect To Compare
Alternative Project Comparisons
Popular Security Projects
Popular Symbolic Execution Projects
Popular Security Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Security
Symbolic Execution