#program-analysis (24 Repositories)
Ranked open-source repositories tagged with #program-analysis, scored by pull request acceptance likelihood and maintainer engagement velocity.
35.5%
21.9h
24 repositories tagged #program-analysis
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
angr/angr-management
The official angr GUI.
GaloisInc/grease
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
goblint/analyzer
Static analysis framework for C
horsicq/DIE-engine
DIE engine
elixir-vibe/reach
Program dependence graph and architecture/code-flow analysis for BEAM projects
ultimate-pa/ultimate
The Ultimate program analysis framework.
horsicq/Detect-It-Easy
Program for determining types of files for Windows, Linux and MacOS.
jar-analyzer/jar-analyzer
Jar Analyzer - 一个 JAR 包 GUI 分析工具，内置 AI 助手协助分析，支持 JAR DIFF 分析，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索等
iec-checker/iec-checker
Static analysis of IEC 61131-3 programs
secure-software-engineering/phasar
A LLVM-based static analysis framework.
facebook/pyre-check
Performant type-checking for python.
Lekssays/codebadger
🦡 codebadger is a containerized Model Context Protocol (MCP) server that gives AI agents and LLMs deep, queryable access to a codebase's structure and data flow through Joern Code Property Graphs (CPGs).
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.
Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
google/bindiff
Quickly find differences and similarities in disassembled code
BinaryAnalysisPlatform/bap
Binary Analysis Platform
fkie-cad/cwe_checker
cwe_checker finds vulnerable patterns in binary executables
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
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.
seahorn/seahorn
SeaHorn Verification Framework
seahorn/crab
A library for building abstract interpretation-based analyses.
cs-au-dk/TIP
Static program analysis for TIP