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.
☆59Oct 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for dig
Users that are interested in dig are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A neural network verification tool based on the DPLL(T) SMT Solving algorithm.☆37Oct 23, 2026Updated last week
- ☆12Dec 29, 2022Updated 3 years ago
- ☆20Jul 15, 2026Updated 3 months ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 6 years ago
- Static Analyzer for LLVM based on the Crab Abstract Interpretation Library☆290Sep 12, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 6 years ago
- TRACER Symbolic Execution Tool☆28Jun 16, 2020Updated 6 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Dynamic detection of likely invariants☆268Updated this week
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆37Oct 9, 2022Updated 4 years ago
- Scalable Validator for Binary Lifters☆64Jun 28, 2020Updated 6 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆93Jan 19, 2022Updated 4 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.
- BuDDy BDD package (with CMake support)☆16May 7, 2024Updated 2 years ago
- Duet: static analysis for unbounded concurrency☆31Oct 21, 2026Updated last week
- ☆10Oct 28, 2020Updated 6 years ago
- ☆17Nov 14, 2023Updated 2 years ago
- A parser and AST for Lustre☆12Jul 6, 2026Updated 3 months ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 3 years ago
- Complexity Analysis Tool for Integer Programs☆15Jan 30, 2026Updated 9 months ago
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- ☆11Jul 1, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆15Sep 14, 2022Updated 4 years ago
- A library for building abstract interpretation-based analyses.☆258Sep 23, 2026Updated last month
- Korn - C Verification with Loop Invariants and Summaries☆12Updated this week
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- An automated deductive program verifier.☆42Mar 2, 2023Updated 3 years ago
- OptiTrust☆15Oct 12, 2026Updated 2 weeks ago
- Static analysis framework for EVM bytecode☆31Jan 29, 2020Updated 6 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 3 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆106Jan 26, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- KLEEF Symbolic Execution Engine☆25Apr 18, 2026Updated 6 months ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆88Updated this week
- Program analysis tools developed at Draper on the CBAT project.☆108Apr 13, 2023Updated 3 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆162Aug 31, 2022Updated 4 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 28, 2026Updated 2 months ago