☆65Oct 29, 2019Updated 7 years ago
Alternatives and similar repositories for llvm-dataflow-analysis
Users that are interested in llvm-dataflow-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:
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- Pointer Analysis with Tunable Precision☆27Mar 23, 2016Updated 10 years ago
- A LLVM-based static analysis framework.☆1,063Updated this week
- Program Analysis for LLVM☆38Mar 25, 2017Updated 9 years ago
- A simple example of how LLVM can be used to gather static or dynamic facts about a program.☆73Dec 28, 2025Updated 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Static range analysis for the LLVM compiler infrastructure.☆57Oct 8, 2019Updated 7 years ago
- Static Value-Flow Analysis Framework for Source Code☆1,715Updated this week
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆339Oct 22, 2026Updated last week
- ☆10Apr 7, 2022Updated 4 years ago
- A wrapper script to build whole-program LLVM bitcode files☆733Dec 30, 2025Updated 10 months ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆237Jun 19, 2019Updated 7 years ago
- drawing graphs for llvm ir. data flow and control flow☆39Sep 10, 2017Updated 9 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆11Aug 3, 2017Updated 9 years ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 7 years ago
- 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.
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 4 years ago
- ☆10Aug 28, 2020Updated 6 years ago
- Automatic regression verification for LLVM programs☆21Jul 16, 2021Updated 5 years ago
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆527May 21, 2025Updated last year
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆121Apr 4, 2023Updated 3 years ago
- Interprocedural Basic Block Code Layout Optimization☆19Jan 17, 2019Updated 7 years ago
- Type analysis of a simplified Ruby-like IR☆15Jan 26, 2026Updated 9 months ago
- Develop toolchain based on llvm to for Cpu0 processor☆55Oct 18, 2026Updated last week
- 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.
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- ☆73Dec 5, 2019Updated 6 years ago
- IBM Platform-Independent Software Analysis☆15Mar 12, 2018Updated 8 years ago
- Whole Program LLVM: wllvm ported to go☆341Apr 28, 2024Updated 2 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 7 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆654Nov 23, 2022Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆70May 31, 2024Updated 2 years ago
- Context, field, and array-sensitive heap analysis for LLVM based on DSA.☆170Aug 20, 2026Updated 2 months ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14Sep 26, 2021Updated 5 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Jul 5, 2017Updated 9 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆267Jul 20, 2026Updated 3 months ago
- Modular And Compositional analysis with KLEE Engine☆119Dec 17, 2019Updated 6 years ago
- Teaching and Learning Software Analysis via SVF☆218Sep 16, 2026Updated last month
- Symbolic Program Slicing with LLVM☆87Aug 3, 2020Updated 6 years ago
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Nov 4, 2022Updated 3 years ago