nandor / mkcheck
Incremental Build Verification
☆13Updated last year
Alternatives and similar repositories for mkcheck:
Users that are interested in mkcheck are comparing it to the libraries listed below
- A dynamic method for detecting faults in incremental and parallel builds.☆17Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- Code Continuity Analysis Framework☆21Updated last month
- A framework for testing compilers' type checkers☆17Updated 5 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- ☆17Updated 10 months ago
- ☆21Updated 5 years ago
- A framework for testing compilers' type checkers☆52Updated 8 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 3 months ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- ☆50Updated 2 years ago
- Frama-C plugins for deadlock and data race detection☆12Updated 4 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆43Updated last year
- A Fast Floating-Point Satisfiability Solver☆28Updated 6 years ago
- SymDiff-Differential-Program-Verifier☆34Updated last month
- ☆28Updated 3 weeks ago
- A SyGuS Solver☆26Updated last week
- PPLite: convex polyhedra library for Abstract Interpretation☆25Updated last month
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆57Updated last week
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 4 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- ☆36Updated 2 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆91Updated 4 years ago