theosotr
Follow
Stars
Enumerative Testing and Bounded Validation of SMT Solvers
eisop / checker-framework
Forked from typetools/checker-frameworkPluggable type-checking for Java
An automated prover that verifies the equivalence of SQL queries
A curated list of awesome security resources for ZK.
Artifact of the OOPSLA'24 paper titled: "When you Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems".
Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
Artifact of the paper accepted at FSE'24 titled: "Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis".
ProTI is an automated unit testing tool for Infrastructure as Code (IaC) programs. ProTI implements Automated Configuration Testing (ACT) for Pulumi TypeScript, minimizing the development effort fo…
syzkaller is an unsupervised coverage-guided kernel fuzzer
Add AI capabilities to any readline-enabled command-line program
GrayC: Greybox Fuzzing of Compilers and Analysers for C
Replication package for the POPL 2024 paper titled "API-driven Program Synthesis for Testing Static Typing Implementations".
A framework for testing compilers' type checkers
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
Detecting fs-related data racers in JavaScript programs through dynamic binary instrumentation.
Inspect a command's effects before modifying your live system
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
A fuzzing framework for finding transactional bugs in DBMSs