Security analysis tool for EVM bytecode. Supports smart contracts built ...
Symbolic execution tool
Reverse engineering framework in Python
Triton is a dynamic binary analysis library. Build your own program anal...
Binary Analysis Platform
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
A curated list of awesome symbolic execution resources including essenti...
Playing with the VMProtect software protection. Automatic deobfuscation ...
An open source interactive disassembler
An analysis tool for Python that blurs the line between testing and type...
Angora is a mutation-based fuzzer. The main goal of Angora is to increa...
A unit test-like interface for fuzzing and symbolic execution
Playing with the Tigress software protection. Break some of its protecti...
Automatic verification of LLVM optimizations