An open-source user mode debugger for Windows. Optimized for reverse eng...
Performant type-checking for python.
Program for determining types of files for Windows, Linux and MacOS.
Security analysis tool for EVM bytecode. Supports smart contracts built ...
Symbolic execution tool
Triton is a dynamic binary analysis library. Build your own program anal...
UNIX-like reverse engineering framework and command-line toolset.
A Static Analysis Tool for Detecting Security Vulnerabilities in Python ...
DIE engine
Binary Analysis Platform
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Static Code Analysis - 静态代码分析
Quickly find differences and similarities in disassembled code
Playing with the VMProtect software protection. Automatic deobfuscation ...