An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Program for determining types of files for Windows, Linux and MacOS.

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

Performant type-checking for python.

Semgrep rules registry

UNIX-like reverse engineering framework and command-line toolset.

DIE engine

Static Code Analysis - 静态代码分析

Binary Analysis Platform

Tai-e assignments for static program analysis

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Quickly find differences and similarities in disassembled code

A LLVM-based static analysis framework.

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

SeaHorn Verification Framework