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
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Binary Analysis Platform
Static Code Analysis - 静态代码分析
Jar Analyzer - 一个 JAR 包 GUI 分析工具,方法调用关系搜索,方法调用链 DFS 算法分析,模拟 JVM 的污点分析验证 DFS 结果,字符串搜索,Java Web 组件入口分析,CFG 程序分析,JVM 栈帧分析,自定义表达式搜索。官方文档:https://docs.qq.com/doc/DV3pKbG9GS0pJS0tk
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
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
A LLVM-based static analysis framework.
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."