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 11 months ago
- A framework for testing compilers' type checkers☆52Updated 7 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 weeks ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Public-facing course info for program analysis materials.☆40Updated 3 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆33Updated 3 weeks ago
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- Cerberus C semantics☆61Updated last week
- PPLite: convex polyhedra library for Abstract Interpretation☆25Updated 2 weeks ago
- Type checking ifdef variability☆77Updated 3 years ago
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- ☆51Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 8 months ago
- A memory allocator verified with Verus☆16Updated this week
- ☆16Updated 8 months ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆58Updated last year
- SymDiff-Differential-Program-Verifier☆34Updated 3 weeks ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 8 months ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- ☆21Updated 5 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- Hierarchical Delta Debugging Framework☆59Updated 3 months 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…☆16Updated 3 years ago
- A framework for testing compilers' type checkers☆17Updated 4 months ago
- Staged Abstract Interpreters☆66Updated 2 years ago