program-analysis
There are 211 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.
Consensys/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
trailofbits/manticore
Symbolic execution tool
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.
rizinorg/rizin
UNIX-like reverse engineering framework and command-line toolset.
python-security/pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
horsicq/DIE-engine
DIE engine
BinaryAnalysisPlatform/bap
Binary Analysis Platform
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
google/bindiff
Quickly find differences and similarities in disassembled code
Tencent/CodeAnalysis
Static Code Analysis - 静态代码分析
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
secure-software-engineering/phasar
A LLVM-based static analysis framework.
jar-analyzer/jar-analyzer-v1-gui
建议使用新版：https://github.com/jar-analyzer/jar-analyzer
angr/angr-management
The official angr GUI.
wala/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
semgrep/semgrep-rules
Semgrep rules registry
jar-analyzer/jar-analyzer
Jar Analyzer - 一个JAR包分析工具，批量分析搜索，方法调用关系搜索，字符串搜索，Spring分析，CFG分析，JVM Stack Frame分析，远程分析Tomcat，进阶表达式搜索，自定义SQL查询，字节码查看，字节码指令级的动态调试，命令行分析，反编译JAR包一键导出，集成简易RASP
falconre/falcon
Binary Analysis Framework in Rust
ltcmelo/psychec
A compiler frontend for the C programming language
soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
github/codeql-go
The CodeQL extractor and libraries for Go.
seahorn/seahorn
SeaHorn Verification Framework
learn-llvm/awesome-llvm
A curated list of awesome LLVM (including Clang, etc) related resources.
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
canliture/nju-software-analysis-homework
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
cs-au-dk/TIP
Static program analysis for TIP
HairyFotr/linter
Static Analysis Compiler Plugin for Scala
seahorn/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation