dynaroars / digLinks
DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.
☆43Updated 3 weeks ago
Alternatives and similar repositories for dig
Users that are interested in dig are comparing it to the libraries listed below
Sorting:
- A Fast Floating-Point Satisfiability Solver☆28Updated 6 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- ☆28Updated 3 weeks ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- Dynamic Analysis for Concurrent Programs☆26Updated 8 months ago
- A tool for analyzing LLVM bitcode using Datalog.