theosotr / buildfs
A dynamic method for detecting faults in incremental and parallel builds.
☆17Updated 2 years ago
Alternatives and similar repositories for buildfs:
Users that are interested in buildfs are comparing it to the libraries listed below
- Incremental Build Verification☆13Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- A framework for testing compilers' type checkers☆52Updated 8 months ago
- SymDiff-Differential-Program-Verifier☆34Updated last month
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 9 months 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 7 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆25Updated last month
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆26Updated last year
- ☆21Updated 5 years ago
- A framework for testing compilers' type checkers☆17Updated 5 months ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- Type checking ifdef variability☆77Updated 3 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Public-facing course info for program analysis materials.☆41Updated 4 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆33Updated last week
- PC-miner tool for program chairs☆27Updated last month
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆41Updated last week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆57Updated last week
- ☆28Updated 2 weeks ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- Static Analyzer and Verifier☆47Updated 6 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated 3 weeks ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- SMTInterpol interpolating SMT solver☆66Updated last week
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- ☆50Updated 2 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago