uw-pluverse / persesLinks
language-agnostic program reducer.
☆191Updated last month
Alternatives and similar repositories for perses
Users that are interested in perses are comparing it to the libraries listed below
Sorting:
- A framework for testing compilers' type checkers☆54Updated last year
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆245Updated 9 months ago
- A fuzzing framework for SMT solvers☆191Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 5 months ago
- Rewrite Rule Inference Using Equality Saturation☆131Updated last month
- SeaHorn Verification Framework☆455Updated 2 months ago
- The ISLa (Input Specification Language) language & solver.☆68Updated last year
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- ☆53Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆71Updated last month
- Dynamic detection of likely invariants☆229Updated last week
- ☆33Updated 9 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆281Updated last year
- ☆43Updated last month
- The Gillian Platform main repository☆87Updated 2 weeks ago
- Decompose source code into templates and fragments for any language.☆22Updated 2 years ago
- Apron Numerical Abstract Domain Library☆131Updated 4 months ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆50Updated last year
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆269Updated 2 weeks ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆73Updated 3 weeks ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆267Updated 3 weeks ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆62Updated last week
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆350Updated 11 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 2 months ago
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 5 years ago
- ☆75Updated last year
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆31Updated 3 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆85Updated this week
- Incremental Program Analysis Framework☆90Updated 4 years ago