uw-pluverse / persesLinks
language-agnostic program reducer.
☆191Updated 2 months ago
Alternatives and similar repositories for perses
Users that are interested in perses are comparing it to the libraries listed below
Sorting:
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- A framework for testing compilers' type checkers☆55Updated last year
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆244Updated 10 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 5 months ago
- A fuzzing framework for SMT solvers☆191Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆69Updated last year
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆71Updated last week
- SeaHorn Verification Framework☆454Updated 2 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year
- ☆53Updated 2 years ago
- Rewrite Rule Inference Using Equality Saturation☆133Updated 2 months ago
- ☆33Updated last week
- ☆56Updated 2 years ago
- Simple grammar-based test case generator☆32Updated this week
- Dynamic detection of likely invariants☆229Updated last week
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆59Updated last week
- Greybox Fuzzing of Distributed Systems (CCS'23)☆50Updated last year
- The Gillian Platform main repository☆88Updated 2 weeks ago
- ☆43Updated last week
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Decompose source code into templates and fragments for any language.☆22Updated 2 years ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆273Updated 2 weeks ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆87Updated 3 weeks ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆73Updated last month
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆269Updated last week
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Symbolic execution of LLVM IR with an engine written in Rust☆562Updated last year
- A high-performance, parallel, compilation-based symbolic execution engine☆136Updated last week
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆89Updated this week
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆57Updated 5 months ago