GitHub topics: program-analysis
Cottontail-Proj/cottontail
Cottontail is currently under review
Size: 5.86 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3 - Forks: 0

soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
Language: Java - Size: 294 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 690 - Forks: 91

jar-analyzer/jar-analyzer
Jar Analyzer - 一个JAR包分析工具,批量分析,SCA漏洞分析,方法调用关系搜索,字符串搜索,Spring组件分析,信息泄露检查,CFG程序分析,JVM栈帧分析,进阶表达式搜索,字节码指令级的动态调试分析,反编译JAR包一键导出,一键提取序列化数据恶意代码,一键分析BCEL字节码
Language: Java - Size: 84.4 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1,503 - Forks: 139

horsicq/Detect-It-Easy
Program for determining types of files for Windows, Linux and MacOS.
Language: JavaScript - Size: 15.3 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 8,803 - Forks: 809

pwnpope/BinGoggles
Static intraprocedural and interprocedural variable propagation analysis using Binary Ninja. Powers custom modules with ease.
Language: Python - Size: 2.94 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 4 - Forks: 1

UnitTestBot/usvm
Universal Symbolic Virtual Machine
Language: Kotlin - Size: 134 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 23 - Forks: 24

angr/angr-management
The official angr GUI.
Language: Python - Size: 14 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 996 - Forks: 116

horsicq/DIE-engine
DIE engine
Language: C++ - Size: 61.1 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2,656 - Forks: 349

semgrep/semgrep-rules
Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
Language: HCL - Size: 9.71 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 920 - Forks: 445

iamaayushrivastava/Inter-Procedural-Constant-Propagation
This repository features an LLVM optimization pass for inter-procedural, context-insensitive, and flow-sensitive constant propagation that analyses and substitutes constant values across function boundaries. Key features include handling diverse data types and operations, and transforming variables and function arguments to constants.
Language: LLVM - Size: 23.4 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

facebook/pyre-check
Performant type-checking for python.
Language: OCaml - Size: 471 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 7,032 - Forks: 450

kliu04/explotest
Automatically generate arguments of Python functions.
Language: Python - Size: 746 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2 - Forks: 0

yaof20/ReaL
Implementation and datasets for "Training Language Models to Generate Quality Code with Program Analysis Feedback"
Language: Python - Size: 30.1 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 3 - Forks: 0

Tencent/CodeAnalysis
Static Code Analysis - 静态代码分析
Language: Python - Size: 663 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,759 - Forks: 292

dgvijaytorg/assignment
this is TLE eliminators assignment which is contest tracker fetches realtime contest data and automation of uploading of youtube channel contest solution link to the database.
Language: TypeScript - Size: 106 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

rizinorg/rizin
UNIX-like reverse engineering framework and command-line toolset.
Language: C - Size: 148 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2,940 - Forks: 399

jplag/JPlag
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
Language: Java - Size: 63.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,592 - Forks: 346

ultimate-pa/ultimate
The Ultimate program analysis framework.
Language: Java - Size: 873 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 221 - Forks: 46

AlexeyTolstopyatov/JellyBins
Static analysis for every desktop binary
Language: C# - Size: 19.2 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

GaloisInc/grease
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
Language: Haskell - Size: 1.45 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 111 - Forks: 7

Colton1skees/Dna
LLVM based static binary analysis framework
Language: C++ - Size: 1.09 MB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 247 - Forks: 23

focs-lab/rapid
Dynamic Analysis for Concurrent Programs
Language: Java - Size: 32.8 MB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 25 - Forks: 10

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.
Language: Python - Size: 47.4 MB - Last synced at: 7 days ago - Pushed at: 20 days ago - Stars: 4,029 - Forks: 772

seahorn/seahorn
SeaHorn Verification Framework
Language: C - Size: 7.46 MB - Last synced at: 10 days ago - Pushed at: 12 days ago - Stars: 451 - Forks: 131

lifting-bits/patchestry
Patchestry is a binary patching framework built with MLIR and Ghidra.
Language: C++ - Size: 1.26 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 19 - Forks: 3

secure-software-engineering/phasar
A LLVM-based static analysis framework.
Language: C++ - Size: 127 MB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 987 - Forks: 147

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.
Language: HTML - Size: 122 KB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 539 - Forks: 66

goblint/analyzer
Static analysis framework for C
Language: OCaml - Size: 38.3 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 200 - Forks: 79

srcML/nameCollector
Finds all the user defined identifier names in source code file(s). Works for C, C++, C#, and Java files.
Language: C++ - Size: 105 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 2 - Forks: 0

SoftwareObservatorium/lasso
LASSO - A Large-Scale Software Observatorium for the Dynamic Selection, Analysis and Comparison of Software
Language: Java - Size: 27.6 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 16 - Forks: 2

GaloisInc/MATE
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
Language: Python - Size: 117 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 193 - Forks: 12

x64dbg/x64dbg
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Language: C++ - Size: 58.5 MB - Last synced at: 12 days ago - Pushed at: 15 days ago - Stars: 46,102 - Forks: 2,541

fkie-cad/cwe_checker
cwe_checker finds vulnerable patterns in binary executables
Language: Rust - Size: 9.31 MB - Last synced at: 11 days ago - Pushed at: about 2 months ago - Stars: 1,223 - Forks: 129

falconre/falcon
Binary Analysis Framework in Rust
Language: Rust - Size: 2.23 MB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 565 - Forks: 46

JonathanSalwan/VMProtect-devirtualization
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
Language: Roff - Size: 28.1 MB - Last synced at: 16 days ago - Pushed at: almost 3 years ago - Stars: 1,252 - Forks: 195

learn-llvm/awesome-llvm
A curated list of awesome LLVM (including Clang, etc) related resources.
Language: Python - Size: 116 KB - Last synced at: 14 days ago - Pushed at: 6 months ago - Stars: 619 - Forks: 46

mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Language: C++ - Size: 5.74 MB - Last synced at: 15 days ago - Pushed at: 18 days ago - Stars: 504 - Forks: 137

trailofbits/siderophile
Find the ideal fuzz targets in a Rust codebase
Language: Rust - Size: 3.46 MB - Last synced at: 17 days ago - Pushed at: 27 days ago - Stars: 215 - Forks: 12

jubnzv/iec-checker
Static analysis of IEC 61131-3 programs
Language: OCaml - Size: 476 KB - Last synced at: 6 days ago - Pushed at: 18 days ago - Stars: 74 - Forks: 14

google/bindiff
Quickly find differences and similarities in disassembled code
Language: Java - Size: 309 MB - Last synced at: 18 days ago - Pushed at: 2 months ago - Stars: 2,549 - Forks: 166

NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language: C++ - Size: 5.05 MB - Last synced at: 18 days ago - Pushed at: about 2 months ago - Stars: 2,965 - Forks: 203

BinaryAnalysisPlatform/bap
Binary Analysis Platform
Language: OCaml - Size: 8.21 MB - Last synced at: 18 days ago - Pushed at: about 1 month ago - Stars: 2,136 - Forks: 277

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.
Language: C++ - Size: 57.1 MB - Last synced at: 20 days ago - Pushed at: about 1 month ago - Stars: 3,729 - Forks: 550

yegor256/ppa
Practical Program Analysis (academic course) presented in Innopolis University in 2023
Language: TeX - Size: 34 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 8 - Forks: 0

Intelligent-CAT-Lab/AlphaTrans
Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation", In Proceedings of The ACM Conference on Foundations of Software Engineering (FSE 2025), Trondheim, Norway, June 2025
Language: Java - Size: 49.2 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 21 - Forks: 3

ltcmelo/psychec
A compiler frontend for the C programming language
Language: C++ - Size: 11.1 MB - Last synced at: 17 days ago - Pushed at: about 1 month ago - Stars: 546 - Forks: 40

trailofbits/manticore
Symbolic execution tool
Language: Python - Size: 43.5 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 3,760 - Forks: 479

enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Language: Kotlin - Size: 14.9 MB - Last synced at: 14 days ago - Pushed at: 10 months ago - Stars: 493 - Forks: 56

vitsalis/PyCG 📦
Static Python call graph generator
Language: Python - Size: 274 KB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 342 - Forks: 68

nus-apr/cerberus
Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.
Language: Python - Size: 3.89 MB - Last synced at: 13 days ago - Pushed at: 7 months ago - Stars: 70 - Forks: 32

wala/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
Language: Java - Size: 57.4 MB - Last synced at: 23 days ago - Pushed at: 24 days ago - Stars: 795 - Forks: 236

python-security/pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Language: Python - Size: 3.2 MB - Last synced at: 10 days ago - Pushed at: over 4 years ago - Stars: 2,184 - Forks: 245

m-zakeri/CodART
Source Code Automated Refactoring Toolkit
Language: Python - Size: 63.1 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 35 - Forks: 59

github/codeql-go 📦
The CodeQL extractor and libraries for Go.
Size: 14.9 MB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 463 - Forks: 125

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.
Language: C++ - Size: 5.63 MB - Last synced at: 14 days ago - Pushed at: about 2 months ago - Stars: 419 - Forks: 29

GaloisInc/cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Language: C++ - Size: 3.99 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 144 - Forks: 14

ExpoSEJS/ExpoSE
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
Language: JavaScript - Size: 12.1 MB - Last synced at: 26 days ago - Pushed at: 5 months ago - Stars: 202 - Forks: 40

seahorn/crab
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
Language: C++ - Size: 6.79 MB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 241 - Forks: 32

pascal-lab/Tai-e-assignments
Tai-e assignments for static program analysis
Language: Java - Size: 28.4 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 1,151 - Forks: 258

kudu-dynamics/blaze-platform
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Language: Haskell - Size: 6.25 MB - Last synced at: 14 days ago - Pushed at: 5 months ago - Stars: 51 - Forks: 7

fugue-re/fugue-core
A binary analysis framework written in Rust.
Language: Rust - Size: 1.81 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 169 - Forks: 8

quarkslab/qbindiff
Quarkslab Bindiffer but not only !
Language: Python - Size: 5.28 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 202 - Forks: 10

cs-au-dk/TIP
Static program analysis for TIP
Language: Scala - Size: 3.33 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 287 - Forks: 130

tniessen/cpp-graph-dom
Tiny, header-only C++20 implementation of the dominator tree algorithm by Lengauer and Tarjan
Language: C++ - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

statycc/loop-fission
Benchmarks of loop fission algorithm.
Language: C - Size: 704 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 0

KomiShyti/github-analyzer
锐评一下你都在 GitHub 写了什么
Language: TypeScript - Size: 776 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

DosX-dev/PE-LiteScan
A simple crossplatform heuristic PE-analyzer
Language: C# - Size: 67.4 KB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 218 - Forks: 9

quarkslab/pastis
PASTIS: Collaborative Fuzzing Framework
Language: Python - Size: 60.9 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 164 - Forks: 10

apelullo/bluecoats_measurement_response_program_ops
Bluecoats is a closed-loop, human-centric measurement and response program coordinating training, resources, and operational mechanisms to empower health system staff and management to systematically diagnose issues and develop custom solutions that improve wellbeing, streamline operations, and bolster the financial health of the organization.
Language: Jupyter Notebook - Size: 72.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Colton1skees/TritonTranslator
Standalone static version of Triton's x86/x64 translator
Language: C++ - Size: 495 KB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 25 - Forks: 7

AnggaraRF/pydebugviz
Step through code execution, inspect variables over time, capture traces, and export insights - all from Jupyter, CLI, or your IDE
Language: Python - Size: 111 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

kjkoeller/pydebugviz
Step through code execution, inspect variables over time, capture traces, and export insights - all from Jupyter, CLI, or your IDE
Language: Python - Size: 132 KB - Last synced at: about 17 hours ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

rshariffdeen/Hercule
An inter-package analysis techinque for supply chain protection, that combines three analyses to identify malicious packages with high precision and high recall
Language: Java - Size: 7.06 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0

mazeppa-dev/mazeppa
A modern supercompiler for call-by-value functional languages
Language: OCaml - Size: 664 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 407 - Forks: 9

Colton1skees/WinTTD
Reverse engineered API for Microsoft's Time Travel Debugger
Language: C++ - Size: 753 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 7

VPRLab/SoMo
A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)
Language: Python - Size: 62.5 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

rizinorg/book
An official book about Rizin
Language: CSS - Size: 37.6 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 78 - Forks: 47

yugr/sortcheckxx
Tool for detecting violations of ordering axioms in STL comparators
Language: C++ - Size: 121 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 15 - Forks: 2

yugr/sighandlercheck
Proof-of-concept tool for checking signal handlers for reentrancy issues.
Language: C - Size: 42 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 18 - Forks: 2

sdasgup3/binary-decompilation
Extracting high level semantic information from binary code
Language: Assembly - Size: 244 MB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 65 - Forks: 8

yugr/sortcheck
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
Language: C - Size: 252 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 52 - Forks: 4

statycc/pymwp
A static analyzer of variable value growth for C programs.
Language: Python - Size: 1.51 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1

GaloisInc/yapall
A precise and scalable pointer analysis for LLVM, written in Ascent
Language: C - Size: 3.57 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 66 - Forks: 4

seahorn/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
Language: C - Size: 4.02 MB - Last synced at: 13 days ago - Pushed at: about 1 year ago - Stars: 279 - Forks: 39

bdqnghi/awesome-ai4code
A collection of recent papers, benchmarks and datasets of AI4Code domain.
Size: 77.1 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 57 - Forks: 4

liuml07/giri
Dynamic Program Slicing in LLVM Compiler
Language: C++ - Size: 2.32 MB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 136 - Forks: 34

Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
Language: Kotlin - Size: 38 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 239 - Forks: 20

cs-au-dk/TAJS 📦
Type Analyzer for JavaScript
Language: Java - Size: 76.2 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 194 - Forks: 40

danhper/evm-analyzer
Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
Language: OCaml - Size: 286 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 24 - Forks: 3

Slava0135/gobber
Go symbolic execution (Z3 SMT solver)
Language: Go - Size: 137 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

HexHive/Evocatio
Language: C - Size: 2.87 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 57 - Forks: 7

johnbntn/dat
Binary Analysis Framework for Datalog
Language: OCaml - Size: 7.43 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

skius/progge.rs
Program analysis playground for a simple, imperative language
Language: Rust - Size: 414 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 36 - Forks: 0

cesaro/dpu
Dynamic analysis of multithreaded C programs
Language: C - Size: 61.1 MB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 13 - Forks: 3

yugr/DirtyFrame
A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue
Language: Python - Size: 42 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 9 - Forks: 1

nus-apr/CrashRepair
Security Vulnerability Repair via Concolic Execution and Code Mutations
Language: Python - Size: 13.4 MB - Last synced at: about 22 hours ago - Pushed at: 9 months ago - Stars: 18 - Forks: 1

skyleaworlder/paper-reading
:page_with_curl: 论文阅读记录 (Software Engineering - Program Analysis & Testing & Verification)
Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 0

purseclab/DnD
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
Language: Python - Size: 3.87 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 73 - Forks: 10

IdrissRio/cat
Java Class Hierarchy Analysis
Language: Java - Size: 252 MB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1

mingyuan-xia/PATDroid
A Program Analysis Toolkit for Android
Language: Java - Size: 3.77 MB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 118 - Forks: 28
