Practical-Formal-Methods / queryFuzz
QueryFuzz implements a metamorphic testing approach to test Datalog engines.
☆36Updated 3 years ago
Alternatives and similar repositories for queryFuzz
Users that are interested in queryFuzz are comparing it to the libraries listed below
Sorting:
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 3 years ago
- Static analysis framework for EVM bytecode☆30Updated 5 years ago
- ☆33Updated 6 months ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 10 months ago
- Variation of american fuzzy lop for testing compilers☆122Updated 3 years ago
- solver for the reachability modulo theories problem☆60Updated last year
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- ☆15Updated 3 years ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 6 years ago
- ☆40Updated last year
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- A tool for testing SMT solvers for incompleteness bugs☆16Updated 2 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆129Updated last week
- An SMT Solver for string constraints☆38Updated last week
- A practical fuzzing tool for SMT solvers☆11Updated 9 months ago
- A framework for testing compilers' type checkers☆17Updated 6 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆60Updated this week
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- Dynamic Analysis for Concurrent Programs☆24Updated 7 months ago
- ☆28Updated last month
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- Symbolic Program Slicing with LLVM☆80Updated 4 years ago
- SymDiff-Differential-Program-Verifier☆34Updated last week
- ☆9Updated last year
- Program analysis tools developed at Draper on the CBAT project.☆103Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- ☆20Updated 3 years ago
- Grammar synthesis algorithm using a black box oracle☆36Updated last year
- Learning to Solve SMT Formulas Fast☆86Updated 10 months ago