ckaestne / TypeChefLinks
Type checking ifdef variability
☆79Updated 4 years ago
Alternatives and similar repositories for TypeChef
Users that are interested in TypeChef are comparing it to the libraries listed below
Sorting:
- The LTSmin model checking toolset☆60Updated 11 months ago
- descartes: the cartesian hoare logic prover☆12Updated 8 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 2 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆79Updated last week
- Public snapshots of "ACSL by Example"☆115Updated 4 months ago
- Semantics of C in K☆315Updated 3 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆76Updated last week
- Automatic regression verification for LLVM programs☆19Updated 4 years ago
- SMTInterpol interpolating SMT solver☆69Updated 2 weeks ago
- SymDiff-Differential-Program-Verifier☆37Updated last month
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- ☆41Updated 6 years ago
- The Ultimate program analysis framework.☆230Updated this week
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Release snapshots of the Frama-C platform for source code analysis☆174Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆102Updated 5 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆246Updated 11 months ago
- SPARK 2014 repository for the Why3 verification platform.☆32Updated 3 weeks ago
- ANTLR SMT-LIB v2 Grammar☆24Updated 3 years ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- Static analysis framework for C☆204Updated last week
- Frama-C and WP tutorial☆65Updated 6 months ago
- The Eldarica model checker☆94Updated 3 weeks ago
- Cerberus C semantics☆69Updated last month
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago