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.

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum 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.

Symbolic execution tool

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

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

DIE engine

Quickly find differences and similarities in disassembled code

Binary Analysis Platform

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

Jar Analyzer - 一个 JAR 包 GUI 分析工具，内置 AI 助手协助分析，支持 JAR DIFF 分析，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索等

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

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

Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.

The official angr GUI.