UQ-PAC / BASILLinks
The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
☆13Updated last week
Alternatives and similar repositories for BASIL
Users that are interested in BASIL are comparing it to the libraries listed below
Sorting:
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 5 months ago
- ☆17Updated last year
- Language bindings for Maude☆23Updated 8 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 4 months ago
- ☆19Updated 2 years ago
- egraph on top of sqlite☆11Updated 3 years ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- Schedule for ArtOfSAT☆10Updated last year
- Scalable yet rigorous Floating-point Error Analysis☆11Updated 2 months ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- ☆16Updated 3 years ago
- Unified Maude model-checking tool☆12Updated 2 months ago
- ☆16Updated 2 years ago
- Tons of Inductive Problems: The Benchmarks☆26Updated 2 years ago
- Verimag Polyhedra Library☆18Updated 5 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆29Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- A hardware model checker for hyperproperties☆18Updated last year
- Intrepyd Model Checker☆18Updated 3 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- Solver for Constrained Horn Clauses☆45Updated this week
- Implementing Halide's TRS inside of EGG☆32Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated this week
- The implementation of an SMTLib dialect for xDSL☆16Updated last week
- ☆18Updated 5 years ago
- sketches for egg: a flexible, high-performance e-graph library☆28Updated 6 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 7 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated last week
- LLVM support for the lean theorem prover☆51Updated 4 years ago
- Automatically generate a compiler using equality saturation☆30Updated last year