uw-pluverse / persesLinks
language-agnostic program reducer.
☆195Updated 3 months ago
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☆56Updated last year
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- A fuzzing framework for SMT solvers☆193Updated 2 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆246Updated 11 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 7 months ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- ☆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.☆78Updated last week
- Rewrite Rule Inference Using Equality Saturation☆137Updated 3 months ago
- Dynamic detection of likely invariants☆236Updated this week
- The Gillian Platform main repository☆91Updated last week
- Greybox Fuzzing of Distributed Systems (CCS'23)☆52Updated last year
- ☆34Updated last month
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- ☆49Updated last week
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated last week
- SeaHorn Verification Framework☆457Updated 4 months ago
- Simple grammar-based test case generator☆32Updated this week
- ☆61Updated 2 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆36Updated 4 months ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆270Updated 2 weeks ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆115Updated this week
- Apron Numerical Abstract Domain Library☆136Updated 6 months ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆59Updated 6 months ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆59Updated last month
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆76Updated last week
- SMACK Software Verifier and Verification Toolchain☆443Updated 5 months ago
- Interface with the rustc compiler for the purpose of program verification☆194Updated last week
- Synthesis of Loop-free Programs in Rust☆67Updated 5 years ago