lu-cs-sde / metadlLinks
MetaDL: Datalog analyzing Datalog, Java or any language of your choice
☆16Updated 4 months ago
Alternatives and similar repositories for metadl
Users that are interested in metadl are comparing it to the libraries listed below
Sorting:
- Incremental Program Analysis Framework☆90Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Slog 1.0☆43Updated 11 months ago
- Interactive visualizer for e-graphs☆21Updated 5 months ago
- ☆40Updated 6 years ago
- Genetic program repair using GHC☆30Updated last year
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆80Updated last week
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated this week
- An SMT Solver for string constraints☆38Updated 2 weeks ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Binary analysis in HOL☆40Updated 2 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆37Updated 10 months ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- A toy symbolic execution engine, supporting the blog article ...☆17Updated 3 years ago
- CClyzer port to souffle lang☆18Updated last year
- Minimal example of a standalone program that depends on Joern☆10Updated 3 months ago
- Datalog with support for SMT queries and first-order functional programming☆157Updated 7 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆130Updated 2 weeks ago