PPLite: convex polyhedra library for Abstract Interpretation
β30Jan 22, 2026Updated last month
Alternatives and similar repositories for PPLite
Users that are interested in PPLite are comparing it to the libraries listed below
Sorting:
- π a modular easy to use Library for Static Analysis aiming at multi-language analysisβ73Updated this week
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecodeβ33Dec 27, 2025Updated 2 months ago
- β10Aug 18, 2025Updated 6 months ago
- Apron Numerical Abstract Domain Libraryβ144Feb 13, 2026Updated 3 weeks ago
- An abstract-interpretation based static analyzer written in Scala.β33Mar 23, 2022Updated 3 years ago
- Generic implementation of different CFA families based on monadic decompositionβ23Jan 16, 2013Updated 13 years ago
- β24Oct 31, 2021Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computationβ16Aug 24, 2020Updated 5 years ago
- JVM Abstracting Abstract Machineβ25Jan 29, 2019Updated 7 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 simple and portable floating-point interval arithmetic library in OCamlβ10May 31, 2022Updated 3 years ago
- CodeQL and Binary Ninja scripts to accompany the blog postβ11Feb 3, 2023Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)β16Dec 19, 2023Updated 2 years ago
- Materials for OPLSS 2021β11Jun 1, 2021Updated 4 years ago
- QUICr parametric abstract domain for setsβ12Jul 2, 2015Updated 10 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascaisβ26Jan 14, 2019Updated 7 years ago
- Regular expressions of typesβ16Sep 13, 2018Updated 7 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises notβ¦β44May 25, 2021Updated 4 years ago
- SRI Sally: A model checker for infinite-state systems.β77Jul 31, 2025Updated 7 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
- A high-performance, parallel, compilation-based symbolic execution engineβ144Jan 26, 2026Updated last month
- Supplementary files for SSFT 2015 summer schoolβ11Sep 5, 2019Updated 6 years ago
- β11Jan 14, 2025Updated last year
- β31Aug 18, 2025Updated 6 months ago
- β16Jun 21, 2024Updated last year
- The Ciao Preprocessorβ13Jun 17, 2025Updated 8 months ago
- A Python library for learning and verification of neural networks and other machine learning modelsβ14Sep 18, 2025Updated 5 months ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.β13Feb 14, 2023Updated 3 years ago
- software archaeology of reflective towers of interpretersβ17Jun 6, 2025Updated 9 months ago
- ELINA: ETH LIbrary for Numerical Analysisβ136Apr 7, 2023Updated 2 years ago
- A SageMath package to compute gravitational radiation from bodies orbiting a Kerr black holeβ14Nov 19, 2024Updated last year
- A hardware model checker for hyperpropertiesβ18Jun 14, 2024Updated last year
- β16Jun 21, 2024Updated last year
- WASP was superseded by: https://github.com/OCamlPro/owiβ16Aug 28, 2024Updated last year
- miniKanren with a first-order representation of the search spaceβ17Jul 23, 2024Updated last year
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educatiβ¦β14Jan 8, 2014Updated 12 years ago
- Interprocedural Distributive Environment algorithm implementationβ16Jul 16, 2015Updated 10 years ago
- Constructive Galois connectionsβ36Mar 26, 2018Updated 7 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to sβ¦β18Jan 30, 2025Updated last year