program-analysis

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

Performant type-checking for python.

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

Symbolic execution tool

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, 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.

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

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

Binary Analysis Platform

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

DIE engine

Static Code Analysis - 静态代码分析

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

cwe_checker finds vulnerable patterns in binary executables

A LLVM-based static analysis framework.

Tai-e assignments for static program analysis

一个用于分析Jar包的GUI工具，可以用多种方式搜索你想要的信息，自动构建方法调用关系，支持分析Spring框架（A Java GUI Tool for Analyzing Jar）

The official angr GUI.

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

Semgrep rules registry