LFrobeen / intellij-datalog
☆31Updated 2 years ago
Alternatives and similar repositories for intellij-datalog:
Users that are interested in intellij-datalog are comparing it to the libraries listed below
- Incremental Program Analysis Framework☆90Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin☆11Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆172Updated 2 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆66Updated 2 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆65Updated this week
- A high-performance, parallel, compilation-based symbolic execution engine☆127Updated 2 weeks ago
- Static checker for Java☆85Updated 3 weeks ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- CClyzer port to souffle lang☆18Updated last year
- ☆53Updated this week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆80Updated 4 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- SymDiff-Differential-Program-Verifier☆34Updated 2 weeks ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆39Updated 5 months ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated last year
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆14Updated 9 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆128Updated last week
- A symbolic Java virtual machine for program analysis, verification and test generation☆108Updated 3 weeks ago
- An SMT Solver for string constraints☆37Updated last week
- Efficient Sampling of SAT Solutions for Testing☆34Updated 5 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 3 years ago
- ☆12Updated 9 years ago
- solver for the reachability modulo theories problem☆59Updated last year
- ☆14Updated 3 years ago
- Learning to Solve SMT Formulas Fast☆85Updated 7 months ago
- ☆26Updated last week