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

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

Performant type-checking for python.

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

Symbolic execution tool

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

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

DIE engine

Quickly find differences and similarities in disassembled code

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

Binary Analysis Platform

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

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

Tai-e assignments for static program analysis

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

A LLVM-based static analysis framework.

The official angr GUI.

建议使用新版：https://github.com/jar-analyzer/jar-analyzer