A library for analyzing LLVM bitcode in Haskell
☆44Oct 9, 2014Updated 11 years ago
Alternatives and similar repositories for llvm-analysis
Users that are interested in llvm-analysis are comparing it to the libraries listed below
Sorting:
- The Parrot stable and deterministic multi-threading system.☆25Nov 9, 2013Updated 12 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆235Jun 19, 2019Updated 6 years ago
- Android sandboxing (ptrace based)☆14Jul 21, 2015Updated 10 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 8 years ago
- ☆17Apr 10, 2015Updated 10 years ago
- A push-button end-to-end performance evaluation pipeline for automatically exploring the parameter space☆17Feb 22, 2026Updated last week
- Outdated version of an LLVM based backend for OCaml. Newer version:☆22Nov 12, 2011Updated 14 years ago
- llvm Data Flow Graph dump☆36May 24, 2021Updated 4 years ago
- ☆53Jan 5, 2026Updated last month
- Implementing SPMD control flow in LLVM using reconverging CFGs - Vectorizing Divergent Control-Flow for SIMD Applications☆18Apr 11, 2019Updated 6 years ago
- General-LR Parser Generator (version 2)☆19Feb 1, 2026Updated last month
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- Compiler Course☆19Apr 29, 2015Updated 10 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- ☆39Dec 24, 2023Updated 2 years ago
- Symbolic Program Slicing with LLVM☆84Aug 3, 2020Updated 5 years ago
- An XNU kernel fuzz tool☆22Mar 3, 2010Updated 16 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆46Aug 7, 2014Updated 11 years ago
- Static Value-Flow Analysis Framework for Source Code☆1,652Updated this week
- Semantics for ES5☆82Oct 28, 2015Updated 10 years ago
- ☆21Oct 9, 2020Updated 5 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Jan 4, 2015Updated 11 years ago
- a numerical computing library for Clojure☆23Jan 30, 2018Updated 8 years ago
- libgcrypt example code☆20Sep 1, 2015Updated 10 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Sep 5, 2021Updated 4 years ago
- automatic differentiation/integration of PDEs☆24May 22, 2018Updated 7 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- Semantics and tools for JavaScript☆92Feb 27, 2022Updated 4 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆45Jan 27, 2016Updated 10 years ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 9 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Nov 28, 2017Updated 8 years ago
- Library of Unix effects for Coq.☆23Sep 28, 2019Updated 6 years ago
- LLVM bindings for the Go programming language☆98Jul 30, 2013Updated 12 years ago
- Program dependence graph in LLVM☆42Aug 4, 2025Updated 7 months ago