uw-pluverse / persesLinks
language-agnostic program reducer.
☆197Updated 2 weeks 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☆60Updated last year
- A randomized program fuzzer for the Rust programming language☆65Updated 2 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆247Updated last year
- A fuzzing framework for SMT solvers☆193Updated last week
- The Gillian Platform main repository☆92Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 9 months ago
- ☆35Updated 3 months ago
- Rewrite Rule Inference Using Equality Saturation☆148Updated 6 months ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- A stateless model checker powered by maximal causality reduction☆38Updated 5 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.☆78Updated this week
- SeaHorn Verification Framework☆464Updated 6 months ago
- Dynamic detection of likely invariants☆239Updated this week
- ☆53Updated last month
- SMACK Software Verifier and Verification Toolchain☆443Updated 7 months ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 3 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆285Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated last week
- Simple grammar-based test case generator☆34Updated last week
- Interface with the rustc compiler for the purpose of program verification☆240Updated this week
- An Opinionated Formatter for Verus☆14Updated last week
- Apron Numerical Abstract Domain Library☆142Updated 8 months ago
- ☆62Updated 2 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆57Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆38Updated 3 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆123Updated this week
- Dynamically discover the commands used to create a piece of software☆57Updated last month
- Dynamic Analysis for Concurrent Programs☆27Updated last year
- Incremental Program Analysis Framework☆93Updated 4 years ago