lu-cs-sde / metadl
MetaDL: Datalog analyzing Datalog, Java or any language of your choice
☆16Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for metadl
- Incremental Program Analysis Framework☆91Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- An SMT Solver for string constraints☆33Updated last week
- A formally verified bug finder☆14Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆39Updated 2 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- ☆40Updated 5 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 4 years ago
- ☆19Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated last year
- A SyGuS Solver☆22Updated 2 months ago
- Slog 1.0☆21Updated 4 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆47Updated 4 years ago
- Staged Abstract Interpreters☆65Updated last year
- DAI: Demanded Abstract Interpretation☆15Updated last month
- CodeHawk Abstract Interpretation Engine and Analyzers☆61Updated last week
- ☆43Updated 3 months ago
- ☆25Updated 3 months ago
- CClyzer port to souffle lang☆18Updated 9 months ago
- Datalog with support for SMT queries and first-order functional programming☆153Updated last week
- Generates loop invariants for program verification☆58Updated 3 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- Parser for the llvm bitcode format☆60Updated 2 months ago
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆18Updated 8 months ago