#program-analysis (29 Repositories)
Ranked open-source repositories tagged with #program-analysis, scored by pull request acceptance likelihood and maintainer engagement velocity.
37.6%
31.0h
29 repositories tagged #program-analysis
soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
wala/WALA
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
goblint/analyzer
Static analysis framework for C
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.
ultimate-pa/ultimate
The Ultimate program analysis framework.
GaloisInc/grease
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
secure-software-engineering/phasar
A LLVM-based static analysis framework.
angr/angr-management
The official angr GUI.
horsicq/DIE-engine
DIE engine
seahorn/seahorn
SeaHorn Verification 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 栈帧分析，自定义表达式搜索等
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).
fkie-cad/cwe_checker
cwe_checker finds vulnerable patterns in binary executables
elixir-vibe/reach
Program dependence graph and architecture/code-flow analysis for BEAM projects
iec-checker/iec-checker
Static analysis of IEC 61131-3 programs
facebook/pyre-check
Performant type-checking for python.
antgroup/YASA-Engine
YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, designed to support multiple programming languages. Built on top of UAST, YASA provides a highly accurate static analysis framework.
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.
Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
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.
BinaryAnalysisPlatform/bap
Binary Analysis Platform
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.
google/bindiff
Quickly find differences and similarities in disassembled code
seahorn/crab
A library for building abstract interpretation-based analyses.
Tencent/CodeAnalysis
Static Code Analysis - 静态代码分析
cs-au-dk/TIP
Static program analysis for TIP
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.