73 results found Sort:
- Filter by Primary Language:
- Python (27)
- C++ (17)
- OCaml (5)
- C (4)
- Java (4)
- Haskell (3)
- Scala (2)
- Kotlin (2)
- LLVM (2)
- JavaScript (1)
- Go (1)
- Roff (1)
- Rust (1)
- C# (1)
- +
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
Created
2017-09-18
4,903 commits to develop branch, last one 2 days ago
Symbolic execution tool
Created
2017-02-10
1,109 commits to master branch, last one about a year ago
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Created
2015-01-25
4,256 commits to master branch, last one 3 months ago
Reverse engineering framework in Python
Created
2014-10-28
3,894 commits to master branch, last one 7 days ago
KLEE Symbolic Execution Engine
Created
2013-07-21
2,773 commits to master branch, last one 27 days ago
Binary Analysis Platform
Created
2014-10-30
1,275 commits to master branch, last one 6 months ago
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
Created
2016-07-02
578 commits to master branch, last one about a year ago
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Created
2017-07-18
27 commits to master branch, last one 4 months ago
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
Created
2022-02-14
4 commits to main branch, last one 2 years ago
An analysis tool for Python that blurs the line between testing and type systems.
Created
2017-08-29
1,985 commits to main branch, last one 10 days ago
An open source interactive disassembler
Created
2011-12-01
1,155 commits to dev branch, last one 6 years ago
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Created
2018-03-19
165 commits to master branch, last one 2 years ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,510 commits to master branch, last one 13 hours ago
A unit test-like interface for fuzzing and symbolic execution
Created
2017-10-27
1,182 commits to master branch, last one 10 days ago
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.
Created
2016-10-28
39 commits to master branch, last one about a year ago
Use angr in Ghidra
Created
2020-08-26
71 commits to master branch, last one 6 months ago
The official repository of "ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory".
Created
2023-05-21
2 commits to main branch, last one about a year ago
Simple Theorem Prover, an efficient SMT solver for bitvectors
Created
2013-08-27
3,188 commits to master branch, last one 4 months ago
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Created
2017-03-10
141 commits to master branch, last one 5 months ago
yet another tool for analysing binaries
Created
2014-04-08
413 commits to release branch, last one 7 months ago
A modern supercompiler for call-by-value functional languages
Created
2024-07-11
177 commits to master branch, last one 7 days ago
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Created
2018-12-03
197 commits to master branch, last one 4 years ago
Simplify Ethereum security analysis and testing
Created
2018-06-27
468 commits to master branch, last one about a year ago
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
Created
2018-11-20
227 commits to master branch, last one 2 years ago
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Created
2014-12-30
2,052 commits to main branch, last one 3 months ago
symbolic execution plugin for binary ninja
Created
2019-07-05
226 commits to master branch, last one 11 months ago
Static deobfuscator for Themida, WinLicense and Code Virtualizer 3.x's mutation-based obfuscation.
Created
2023-08-26
47 commits to main branch, last one 6 months ago
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Created
2022-06-21
696 commits to master branch, last one 19 days ago
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Created
2020-06-28
9 commits to master branch, last one 2 years ago
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.
Created
2017-05-04
1,155 commits to master branch, last one 7 months ago