63 results found Sort:
- Filter by Primary Language:
- Python (23)
- C++ (15)
- C (4)
- Java (3)
- Haskell (3)
- Scala (2)
- C# (2)
- Kotlin (2)
- LLVM (2)
- OCaml (2)
- JavaScript (1)
- Roff (1)
- Rust (1)
- Go (1)
- +
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
Created
2017-09-18
4,881 commits to develop branch, last one 2 months ago
Symbolic execution tool
Created
2017-02-10
1,109 commits to master branch, last one 11 months 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,201 commits to master branch, last one 26 days ago
Reverse engineering framework in Python
Created
2014-10-28
3,877 commits to master branch, last one 2 months ago
KLEE Symbolic Execution Engine
Created
2013-07-21
2,747 commits to master branch, last one 14 days ago
Binary Analysis Platform
Created
2014-10-30
1,273 commits to master branch, last one 2 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
25 commits to master branch, last one 3 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 open source interactive disassembler
Created
2011-12-01
1,155 commits to dev branch, last one 5 years ago
An analysis tool for Python that blurs the line between testing and type systems.
Created
2017-08-29
1,759 commits to main branch, last one 19 hours 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
A unit test-like interface for fuzzing and symbolic execution
Created
2017-10-27
1,177 commits to master branch, last one about a month 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 7 months ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,302 commits to master branch, last one 2 days ago
Use angr in Ghidra
Created
2020-08-26
69 commits to master branch, last one 4 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,181 commits to master branch, last one 18 days ago
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Created
2017-03-10
135 commits to master branch, last one 2 years ago
yet another tool for analysing binaries
Created
2014-04-08
413 commits to release branch, last one 4 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 about a year ago
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Created
2014-12-30
2,050 commits to main branch, last one about a year ago
symbolic execution plugin for binary ninja
Created
2019-07-05
226 commits to master branch, last one 4 months ago
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Created
2022-06-21
687 commits to master branch, last one 7 months 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,153 commits to master branch, last one 2 days ago
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.
Created
2022-01-26
49 commits to main branch, last one about a year ago
Fuzzing tutorial with easy-to-learn labs 🚀
Created
2022-06-04
15 commits to main branch, last one about a year ago