GitHub topics: program-analysis

Repositories

horsicq/Detect-It-Easy

Program for determining types of files for Windows, Linux and MacOS.

Language: JavaScript - Size: 22.8 MB - Last synced at: about 7 hours ago - Pushed at: about 8 hours ago - Stars: 9,557 - Forks: 858

wala/WALA

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

Language: Java - Size: 59 MB - Last synced at: about 7 hours ago - Pushed at: about 8 hours ago - Stars: 821 - Forks: 238

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: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

ultimate-pa/ultimate

The Ultimate program analysis framework.

Language: Java - Size: 908 MB - Last synced at: about 7 hours ago - Pushed at: about 9 hours ago - Stars: 233 - Forks: 47

ramia851/base-contract

📝 Simplify smart contract development with this base contract template, offering essential functions and clear structure for your blockchain projects.

Size: 1.29 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1 - Forks: 1

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.

Language: TypeScript - Size: 3.92 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 150 - Forks: 9

rizinorg/rizin

UNIX-like reverse engineering framework and command-line toolset.

Language: C - Size: 150 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3,155 - Forks: 433

angr/angr-management

The official angr GUI.

Language: Python - Size: 14.7 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1,066 - Forks: 119

horsicq/DIE-engine

DIE engine

Language: C++ - Size: 61.7 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 2,839 - Forks: 361

Chaoses-Ib/FormalLanguages

Language: Markdown - Size: 1.34 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 8 - Forks: 3

facebook/pyre-check

Performant type-checking for python.

Language: OCaml - Size: 499 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 7,098 - Forks: 452

goblint/analyzer

Static analysis framework for C

Language: OCaml - Size: 39.5 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 212 - Forks: 84

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.69 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1,007 - Forks: 480

ICELORD28/chapel-jmh

🚀 Accelerate Java Microbenchmarking with Chapel for precise and efficient performance analysis.

Size: 7.81 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

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.83 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 422 - Forks: 32

GaloisInc/grease

CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution

Language: Haskell - Size: 2.27 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 123 - Forks: 8

hirrolot/mazeppa

A modern supercompiler for call-by-value functional languages

Language: OCaml - Size: 679 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 428 - Forks: 9

antgroup/YASA-UAST

YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different programming languages into a unified abstract syntax format.

Language: TypeScript - Size: 1.43 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 51 - Forks: 7

soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

Language: Java - Size: 374 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 742 - Forks: 103

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.9 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

jplag/JPlag

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

Language: Java - Size: 66.4 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,680 - Forks: 354

Lekssays/joern-mcp

A production-ready Model Context Protocol (MCP) server that provides AI assistants with static code analysis capabilities using Joern's Code Property Graph (CPG).

Language: Python - Size: 271 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 14 - Forks: 0

learn-llvm/awesome-llvm

A curated list of awesome LLVM (including Clang, etc) related resources.

Language: Python - Size: 137 KB - Last synced at: 7 days ago - Pushed at: 22 days ago - Stars: 664 - Forks: 48

lifting-bits/patchestry

Patchestry is a binary patching framework built with MLIR and Ghidra.

Language: C++ - Size: 1.46 MB - Last synced at: about 5 hours ago - Pushed at: about 6 hours ago - Stars: 47 - Forks: 4

borzacchiello/bhex

A lightweight and portable shell-based binary hex editor

Language: C - Size: 1.11 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 8 - Forks: 0

google/bindiff

Quickly find differences and similarities in disassembled code

Language: Java - Size: 309 MB - Last synced at: 8 days ago - Pushed at: 22 days ago - Stars: 2,771 - Forks: 199

secure-software-engineering/phasar

A LLVM-based static analysis framework.

Language: C++ - Size: 148 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 1,011 - Forks: 151

jubnzv/iec-checker

Static analysis of IEC 61131-3 programs

Language: OCaml - Size: 476 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 83 - Forks: 16

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: 10 days ago - Pushed at: about 2 months ago - Stars: 4,132 - Forks: 797

jar-analyzer/jar-analyzer

Jar Analyzer - 一个 JAR 包 GUI 分析工具，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索。官方文档：https://docs.qq.com/doc/DV3pKbG9GS0pJS0tk

Language: Java - Size: 85.6 MB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 1,761 - Forks: 163

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.2 MB - Last synced at: 16 days ago - Pushed at: 17 days ago - Stars: 3,888 - Forks: 562

UnitTestBot/usvm

Universal Symbolic Virtual Machine

Language: Kotlin - Size: 134 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 27 - Forks: 25

trailofbits/manticore

Symbolic execution tool

Language: Python - Size: 45.9 MB - Last synced at: 16 days ago - Pushed at: 18 days ago - Stars: 3,800 - Forks: 485

Colton1skees/Dna

LLVM based static binary analysis framework

Language: C++ - Size: 1.09 MB - Last synced at: 13 days ago - Pushed at: 7 months ago - Stars: 257 - Forks: 26

kliu04/explotest

Create Regression Tests from Runtime Arguments

Language: Python - Size: 977 KB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 3 - Forks: 0

falconre/falcon

Binary Analysis Framework in Rust

Language: Rust - Size: 2.23 MB - Last synced at: 15 days ago - Pushed at: almost 2 years ago - Stars: 571 - Forks: 46

rizinorg/book

An official book about Rizin

Language: CSS - Size: 39.5 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 92 - Forks: 46

Koukyosyumei/Gymbo

gradient-based symbolic execution engine implemented from scratch

Language: C++ - Size: 10.1 MB - Last synced at: 23 days ago - Pushed at: almost 2 years ago - Stars: 34 - Forks: 0

trailofbits/siderophile

Find the ideal fuzz targets in a Rust codebase

Language: Rust - Size: 3.5 MB - Last synced at: 26 days ago - Pushed at: about 1 month ago - Stars: 220 - Forks: 13

Kornimate/ssa

Project-part to create a plugin/program to create SSA form when analyzing JS and TS files using Babel.

Language: TypeScript - Size: 53.7 KB - Last synced at: 26 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0

vitsalis/PyCG 📦

Static Python call graph generator

Language: Python - Size: 274 KB - Last synced at: 27 days ago - Pushed at: almost 2 years ago - Stars: 357 - Forks: 70

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: 27 days ago - Pushed at: about 3 years ago - Stars: 196 - Forks: 12

pwnpope/BinGoggles

Static intraprocedural and interprocedural variable propagation analysis using Binary Ninja. Powers custom modules with ease.

Language: Python - Size: 4.91 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 8 - Forks: 1

ltcmelo/psychec

A compiler frontend for the C programming language

Language: C++ - Size: 11.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 550 - Forks: 40

python-security/pyt

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Language: Python - Size: 3.2 MB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 2,196 - Forks: 250

trailofbits/vendetect

A tool to automatically detect copy+pasted and vendored code between repositories

Language: Python - Size: 346 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 69 - Forks: 5

liuml07/giri

Dynamic Program Slicing in LLVM Compiler

Language: C++ - Size: 2.32 MB - Last synced at: 24 days ago - Pushed at: over 7 years ago - Stars: 142 - Forks: 36

plast-lab/HeapDL

Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.

Language: Java - Size: 455 KB - Last synced at: 25 days ago - Pushed at: over 1 year ago - Stars: 15 - Forks: 1

srcML/nameCollector

Finds all the user defined identifier names in source code file(s). Works for C, C++, C#, Java, and Python files.

Language: Shell - Size: 169 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2 - Forks: 0

x64dbg/x64dbg

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

Language: C++ - Size: 60 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 46,881 - Forks: 2,596

spideruci/tacoco

Integrated Software Analysis Framework

Language: Java - Size: 5.99 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 7

observerw/lsp-client

Full-featured, well-typed, and easy-to-use LSP client

Language: Python - Size: 192 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 7 - Forks: 0

GaloisInc/cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

Language: C++ - Size: 3.99 MB - Last synced at: 27 days ago - Pushed at: 9 months ago - Stars: 146 - Forks: 16

quarkslab/pastis

PASTIS: Collaborative Fuzzing Framework

Language: Python - Size: 63.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 162 - Forks: 10

yugr/sortcheck

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Language: C - Size: 252 KB - Last synced at: 28 days ago - Pushed at: 9 months ago - Stars: 54 - Forks: 4

github/codeql-go 📦

The CodeQL extractor and libraries for Go.

Size: 14.9 MB - Last synced at: 12 days ago - Pushed at: almost 3 years ago - Stars: 465 - Forks: 127

bliutech/TaintMonkey

MIT IEEE URTC 2025. GSET 2025. Repository for "TaintMonkey: Dynamic Taint Analysis of Python Web Applications Using Monkey Patching". A Pytest plugin incorporating fuzzing and taint analysis to uncover security vulnerabilities in Flask web applications.

Language: Python - Size: 3.24 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 13 - Forks: 1

quarkslab/qbindiff

Quarkslab Bindiffer but not only !

Language: Python - Size: 5.28 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 208 - Forks: 12

kupl/VeriSmart-public

a safety verifier for Solidity smart contracts

Language: OCaml - Size: 220 KB - Last synced at: 11 days ago - Pushed at: almost 3 years ago - Stars: 97 - Forks: 25

nus-apr/CrashRepair

Security Vulnerability Repair via Concolic Execution and Code Mutations

Language: Python - Size: 13.4 MB - Last synced at: 25 days ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 2

ALFA-group/adversarial-code-generation

[ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shiyu Chang, Quanfu Fan, Gaoyuan Zhang, and Una-May O'Reilly

Language: Python - Size: 16.2 MB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 29 - Forks: 5

jar-analyzer/jar-analyzer-v1-gui 📦

建议使用新版：https://github.com/jar-analyzer/jar-analyzer

Language: Java - Size: 20.2 MB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 897 - Forks: 108

Tencent/CodeAnalysis

Static Code Analysis - 静态代码分析

Language: Python - Size: 667 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1,788 - Forks: 296

sdasgup3/binary-decompilation

Extracting high level semantic information from binary code

Language: Assembly - Size: 244 MB - Last synced at: 25 days ago - Pushed at: over 6 years ago - Stars: 66 - Forks: 8

statycc/pymwp

A static analyzer of variable value growth for C programs.

Language: Python - Size: 1.64 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1

pfalcon/ScratchABlock

Yet another crippled decompiler project

Language: Python - Size: 905 KB - Last synced at: 6 days ago - Pushed at: almost 4 years ago - Stars: 108 - Forks: 23

m-zakeri/CodART

Source Code Automated Refactoring Toolkit

Language: Python - Size: 65.1 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 37 - Forks: 60

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: 3 months ago - Pushed at: 3 months ago - Stars: 25 - Forks: 4

Colton1skees/WinTTD

Reverse engineered API for Microsoft's Time Travel Debugger

Language: C++ - Size: 753 KB - Last synced at: 22 days ago - Pushed at: over 1 year ago - Stars: 35 - Forks: 7

yegor256/ppa

Practical Program Analysis (academic course) presented in Innopolis University in 2023

Language: TeX - Size: 36.2 MB - Last synced at: about 5 hours ago - Pushed at: about 6 hours ago - Stars: 8 - Forks: 0

agra-uni-bremen/BinSym

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

Language: Haskell - Size: 120 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 50 - Forks: 3

Slava0135/gobber

Go symbolic execution (Z3 SMT solver)

Language: Go - Size: 137 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

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: 131 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 562 - Forks: 65

SoftwareObservatorium/lasso

LASSO - A Large-Scale Software Observatorium for the Dynamic Selection, Analysis and Comparison of Software

Language: Java - Size: 27.7 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 16 - Forks: 2

yaof20/ReaL

Implementation and datasets for "Training Language Models to Generate Quality Code with Program Analysis Feedback"

Language: Python - Size: 30.4 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 20 - Forks: 0

etiamz/supercompilation-resources

📚 A collection of resources about supercompilation

Size: 77.1 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 111 - Forks: 0

Colton1skees/TritonTranslator

Standalone static version of Triton's x86/x64 translator

Language: C++ - Size: 495 KB - Last synced at: 22 days ago - Pushed at: 7 months ago - Stars: 27 - Forks: 8

IdrissRio/cat

Java Class Hierarchy Analysis

Language: Java - Size: 252 MB - Last synced at: 11 days ago - Pushed at: 11 months ago - Stars: 3 - Forks: 1

bdqnghi/awesome-ai4code

A collection of recent papers, benchmarks and datasets of AI4Code domain.

Size: 77.1 KB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 58 - Forks: 4

cs-au-dk/TIP

Static program analysis for TIP

Language: Scala - Size: 3.33 MB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 293 - Forks: 136

divyeshunadkat/divyeshunadkat.github.io

Personal Webpage

Language: HTML - Size: 20 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

lu-cs-sde/metadl

MetaDL: Datalog analyzing Datalog, Java or any language of your choice

Language: Java - Size: 27.4 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 16 - Forks: 2

fugue-re/fugue-core

A binary analysis framework written in Rust.

Language: Rust - Size: 1.82 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 170 - Forks: 9

Arpangpta/AlgoD-CodeStructure-Identifier

Identify algorithmic structures in source code using Abstract Syntax Trees (ASTs) and a CodeBERTa-based classifier. Combines syntactic analysis with transformer embeddings for structure classification from small datasets.

Language: Java - Size: 115 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

GaloisInc/yapall

A precise and scalable pointer analysis for LLVM, written in Ascent

Language: C - Size: 3.57 MB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 65 - Forks: 4

focs-lab/rapid

Dynamic Analysis for Concurrent Programs

Language: Java - Size: 32.8 MB - Last synced at: 27 days ago - Pushed at: about 1 year ago - Stars: 26 - Forks: 10

AlexeyTolstopyatov/JellyBins

Static analysis for every desktop binary

Language: C# - Size: 27 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

Cottontail-Proj/cottontail

Cottontail is currently under review

Size: 5.86 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0

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: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Related Keywords

program-analysis 245 static-analysis 61 java 28 symbolic-execution 27 reverse-engineering 26 binary-analysis 23 dynamic-analysis 21 llvm 21 security 20 abstract-interpretation 18 taint-analysis 17 python 14 c 13 compiler 11 static-code-analysis 11 ocaml 11 concurrency 9 malware-analysis 8 debugging 8 programming-language 8 android 7 soot 7 formal-verification 7 solidity 7 datalog 6 machine-learning 6 pointer-analysis 6 cpp 6 verification 6 ethereum 6 static-analyzer 6 runtime-verification 5 debugger 5 facebook 5 facebook-infer 5 security-tools 5 x86-64 5 x86 5 llvm-ir 5 disassembler 5 compilers 5 hacktoberfest 5 software-engineering 5 dataflow-analysis 5 program-transformation 5 deobfuscation 5 atomicity 5 atomicity-violation 5 data-flow-analysis 4 testing 4 lifter 4 blockchain 4 smart-contracts 4 software-verification 4 instruction-semantics 4 z3 4 clang 4 slicing 4 javascript 4 scala 4 ast 4 program-repair 4 visualization 4 llvm-pass 4 software-analysis 4 vut 4 vut-fit 4 fuzzing 4 rust 4 unit-testing 4 intermediate-representation 3 bap 3 type-checking 3 program-verification 3 optimization 3 invariants 3 control-flow-analysis 3 bytecode 3 jimple 3 points-to-analysis 3 programming-languages 3 llvm-tutorial 3 refactoring 3 decompiler 3 program-slicing 3 code-analysis 3 java-bytecode 3 vulnerability 3 atomer 3 vulnerability-research 3 concurrent-programs 3 python3 3 control-flow-graph 3 abstract-syntax-tree 3 analysis 3 binary 3 vulnerability-detection 3 parser 3 callgraph 3 parsing 3