uw-pluverse / perses
language-agnostic program reducer.
☆162Updated 8 months ago
Related projects: ⓘ
- A library for building abstract interpretation-based analyses☆230Updated 4 months ago
- A framework for testing compilers' type checkers☆49Updated last month
- A randomized program fuzzer for the Rust programming language☆57Updated last year
- A fuzzing framework for SMT solvers☆183Updated last year
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆273Updated 5 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆196Updated last week
- The ISLa (Input Specification Language) language & solver.☆56Updated 2 months ago
- SeaHorn Verification Framework☆436Updated 2 weeks ago
- Rewrite Rule Inference Using Equality Saturation☆113Updated 3 months ago
- ☆50Updated last year
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆334Updated 3 weeks ago
- ☆25Updated 3 months ago
- Dynamic detection of likely invariants☆214Updated 2 weeks ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆157Updated 3 months ago
- A stateless model checker powered by maximal causality reduction☆38Updated 3 years ago
- SMACK Software Verifier and Verification Toolchain☆427Updated last week
- The Gillian Platform main repository☆75Updated last week
- Thesis code☆25Updated last year
- ☆129Updated 3 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆50Updated 9 months ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆227Updated this week
- Variation of american fuzzy lop for testing compilers☆115Updated 2 years ago
- Public-facing course info for program analysis materials.☆35Updated this week
- SLOT: SMT-LLVM Optimizing Translation☆27Updated last year
- Incremental Program Analysis Framework☆89Updated 3 years ago
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆15Updated 3 years ago
- Apron Numerical Abstract Domain Library☆102Updated last month
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆44Updated 7 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 2 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆37Updated 9 months ago