program-analysis
There are 258 repositories under program-analysis topic.
x64dbg/x64dbg
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
horsicq/Detect-It-Easy
Program for determining types of files for Windows, Linux and MacOS.
facebook/pyre-check
Performant type-checking for python.
ConsenSysDiligence/mythril
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.
JonathanSalwan/Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
trailofbits/manticore
Symbolic execution tool
rizinorg/rizin
UNIX-like reverse engineering framework and command-line toolset.
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
horsicq/DIE-engine
DIE engine
google/bindiff
Quickly find differences and similarities in disassembled code
python-security/pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
BinaryAnalysisPlatform/bap
Binary Analysis Platform
Tencent/CodeAnalysis
Static Code Analysis - 静态代码分析
jar-analyzer/jar-analyzer
Jar Analyzer - 一个 JAR 包 GUI 分析工具，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索，支持 MCP 调用，文档：https://docs.qq.com/doc/DV3pKbG9GS0pJS0tk
jplag/JPlag
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
JonathanSalwan/VMProtect-devirtualization
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
fkie-cad/cwe_checker
cwe_checker finds vulnerable patterns in binary executables
pascal-lab/Tai-e-assignments
Tai-e assignments for static program analysis
angr/angr-management
The official angr GUI.
secure-software-engineering/phasar
A LLVM-based static analysis framework.
semgrep/semgrep-rules
Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
jar-analyzer/jar-analyzer-v1-gui
建议使用新版：https://github.com/jar-analyzer/jar-analyzer
wala/WALA
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
learn-llvm/awesome-llvm
A curated list of awesome LLVM (including Clang, etc) related resources.
mohitmishra786/reversingBits
A comprehensive collection of cheatsheets for reverse engineering, binary analysis, and assembly programming tools. This repository serves as a one-stop reference for security researchers, reverse engineers, and low-level programmers.
falconre/falcon
Binary Analysis Framework in Rust
ltcmelo/psychec
A compiler frontend for the C programming language
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
github/codeql-go
The CodeQL extractor and libraries for Go.
seahorn/seahorn
SeaHorn Verification Framework
hirrolot/mazeppa
A modern supercompiler for call-by-value functional languages
trailofbits/vast
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
vitsalis/PyCG
Static Python call graph generator
cs-au-dk/TIP
Static program analysis for TIP