lu-cs-sde / metadl
MetaDL: Datalog analyzing Datalog, Java or any language of your choice
☆16Updated 2 months ago
Alternatives and similar repositories for metadl:
Users that are interested in metadl are comparing it to the libraries listed below
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- An SMT Solver for string constraints☆37Updated 3 weeks ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- ☆12Updated last year
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆67Updated last week
- Grammar synthesis algorithm using a black box oracle☆37Updated 10 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆49Updated 5 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- ☆59Updated last month
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago
- Genetic program repair using GHC☆30Updated 10 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- Static checker for Java☆86Updated 2 months ago
- ☆26Updated this week
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 9 months ago
- An SMT Solver for strings☆10Updated 6 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆80Updated 6 months ago
- A template set for writing semantics in LaTeX☆12Updated 9 years ago
- CClyzer port to souffle lang☆18Updated last year
- ☆46Updated 8 months ago
- Datalog with support for SMT queries and first-order functional programming☆156Updated 5 months ago
- Parser for the llvm bitcode format☆59Updated 3 weeks ago