Program Analisys and Transformation survey and links (particular focus on SSA)
☆171Mar 22, 2021Updated 5 years ago
Alternatives and similar repositories for awesome-program-analysis
Users that are interested in awesome-program-analysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- Compiler Club information☆23Oct 15, 2017Updated 9 years ago
- COVA - A static analysis tool to compute path conditions☆42Mar 2, 2026Updated 7 months ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆37Oct 27, 2025Updated last year
- Static Analyzer for LLVM based on the Crab Abstract Interpretation Library☆290Sep 12, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A library for building abstract interpretation-based analyses.☆258Sep 23, 2026Updated last month
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆237Jun 19, 2019Updated 7 years ago
- ☆11Mar 7, 2022Updated 4 years ago
- ☆19Feb 1, 2016Updated 10 years ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated last year
- Incremental Program Analysis Framework☆94May 7, 2021Updated 5 years ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆926Updated this week
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications (NDSS 2022)☆27Feb 14, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Search for top security papers with one click! Visit https://lzher.github.io/security-paper-db/☆14Jul 17, 2026Updated 3 months ago
- C++ Implementation of VEH based windows dynamic binary instrumentation☆16Aug 9, 2019Updated 7 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆31Apr 7, 2019Updated 7 years ago
- Design documents related to the decompilation pipeline.☆30Aug 25, 2025Updated last year
- A collection of out-of-tree LLVM passes for teaching and learning☆3,453Sep 20, 2026Updated last month
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- IDA recompiler☆32Dec 8, 2014Updated 11 years ago
- A formalisation of the Calculus of Constructions☆74Jul 24, 2024Updated 2 years ago
- FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities☆99Nov 27, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆31Jul 21, 2020Updated 6 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆244Jun 9, 2020Updated 6 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆147Jun 26, 2026Updated 4 months ago
- SymCC: efficient compiler-based symbolic execution☆886Updated this week
- Finding Fixed Vulnerabilities with Off-the-Shelf Static Analysis☆11Dec 1, 2023Updated 2 years ago
- Implement a Stack VM Interpreter with a Register Window☆12Jan 2, 2024Updated 2 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆215Mar 10, 2025Updated last year
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆29Sep 16, 2022Updated 4 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Feb 4, 2020Updated 6 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆155Jul 31, 2020Updated 6 years ago
- This repository is used to analysis the shared resources of different containers☆30Oct 22, 2024Updated 2 years ago
- graph based intermediate representation and backend for optimising compilers☆570Mar 4, 2025Updated last year
- Papers related with kernel papers☆13Mar 18, 2023Updated 3 years ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆219Jul 26, 2020Updated 6 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 6 years ago