Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
-
Updated
Apr 27, 2024 - Python
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Symbolic execution tool
Reverse engineering framework in Python
Binary Analysis Platform
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
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.
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Simple Theorem Prover, an efficient SMT solver for bitvectors
A unit test-like interface for fuzzing and symbolic execution
An open source interactive disassembler
Automatic verification of LLVM optimizations
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
yet another tool for analysing binaries
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Add a description, image, and links to the symbolic-execution topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-execution topic, visit your repo's landing page and select "manage topics."