nandor / mkcheckLinks
Incremental Build Verification
☆14Updated last year
Alternatives and similar repositories for mkcheck
Users that are interested in mkcheck are comparing it to the libraries listed below
Sorting:
- A dynamic method for detecting faults in incremental and parallel builds.☆17Updated 2 years ago
- ☆22Updated 5 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- A framework for testing compilers' type checkers☆53Updated 10 months ago
- A framework for testing compilers' type checkers☆17Updated 6 months ago
- SyPet: Component-Based Synthesis for Complex APIs☆20Updated 7 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- ☆28Updated 2 months ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Practical Program Repair via Bytecode Mutation☆65Updated 2 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- Dynamic Analysis for Concurrent Programs☆25Updated 8 months ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated last month
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- A tool for testing SMT solvers for incompleteness bugs☆16Updated 2 years ago
- ☆36Updated 2 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆16Updated 9 months ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆95Updated 4 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Updated last year
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- ☆11Updated 11 months ago