72 results found Sort:
- Filter by Primary Language:
- Python (26)
- 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)
- +
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,895 commits to develop branch, last one 3 months 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 2 months ago
Reverse engineering framework in Python
Created
2014-10-28
3,890 commits to master branch, last one 4 months ago
KLEE Symbolic Execution Engine
Created
2013-07-21
2,766 commits to master branch, last one 12 days ago
Binary Analysis Platform
Created
2014-10-30
1,275 commits to master branch, last one 4 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 2 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,970 commits to main branch, last one 5 days ago
An open source interactive disassembler
Created
2011-12-01
1,155 commits to dev branch, last one 5 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
A unit test-like interface for fuzzing and symbolic execution
Created
2017-10-27
1,181 commits to master branch, last one 14 days ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,452 commits to master branch, last one a day 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 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,188 commits to master branch, last one 2 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 3 months ago
yet another tool for analysing binaries
Created
2014-04-08
413 commits to release branch, last one 6 months ago
A modern supercompiler for call-by-value functional languages
Created
2024-07-11
158 commits to master branch, last one 20 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
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 about a month 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
symbolic execution plugin for binary ninja
Created
2019-07-05
226 commits to master branch, last one 10 months ago
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Created
2022-06-21
691 commits to master branch, last one 3 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 4 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,155 commits to master branch, last one 5 months ago