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:
- The repo of "BugLens"☆39Nov 12, 2025Updated 5 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Apr 21, 2024Updated last year
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated last month
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 5 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆151Jul 31, 2020Updated 5 years ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 8 months ago
- ☆11Mar 7, 2022Updated 4 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆250Oct 23, 2024Updated last year
- A Static Dataflow Analysis Framework for iOS Applications.☆52Mar 27, 2024Updated 2 years ago
- LLVM pass☆22Jun 23, 2020Updated 5 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆145Jan 22, 2026Updated 2 months ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Feb 5, 2020Updated 6 years ago
- Incremental Program Analysis Framework☆94May 7, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A formalisation of the Calculus of Constructions☆70Jul 24, 2024Updated last year
- ☆19Feb 1, 2016Updated 10 years ago
- Low-level IR mutations for LLVM Bitcode☆43Feb 2, 2026Updated 2 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆150Jan 30, 2025Updated last year
- Yet another crippled decompiler project☆109Dec 4, 2021Updated 4 years ago
- Intermediate Representation for Binary analysis and transformation☆356Updated this week
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 5 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆235Jun 19, 2019Updated 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
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆31Apr 7, 2019Updated 7 years ago
- SymCC: efficient compiler-based symbolic execution☆863Mar 16, 2026Updated 3 weeks ago
- Design documents related to the decompilation pipeline.☆30Aug 25, 2025Updated 7 months ago
- 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☆28Sep 16, 2022Updated 3 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆235Jun 9, 2020Updated 5 years ago
- Implement a Stack VM Interpreter with a Register Window☆11Jan 2, 2024Updated 2 years ago
- Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)☆19Mar 11, 2020Updated 6 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆20Feb 13, 2026Updated last month
- ☆31Jul 21, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- The uncurried minimal functional programming language for CPS transformation☆19Feb 23, 2024Updated 2 years ago
- Static program analysis for TIP☆313May 5, 2025Updated 11 months ago
- ☆14Feb 4, 2020Updated 6 years ago
- A collection of out-of-tree Clang plugins for teaching and learning☆762Jan 14, 2026Updated 2 months ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- 用来将Tai-e改造为开箱即用的静态代码安全分析框架的一些demo☆37Apr 17, 2024Updated last year