dsfuzz / malloryLinks
Greybox Fuzzing of Distributed Systems (CCS'23)
☆50Updated last year
Alternatives and similar repositories for mallory
Users that are interested in mallory are comparing it to the libraries listed below
Sorting:
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- A fuzzing framework for finding transactional bugs in DBMSs☆52Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆14Updated last year
- ☆17Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago
- Search, check, and autofix your BibTex files!☆25Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- ☆47Updated 3 years ago
- Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)☆14Updated 11 months ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 11 months ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆36Updated 2 years ago
- Static analysis framework for EVM bytecode☆30Updated 5 years ago
- Fine-tuning a LLM for generating the structured data☆22Updated 6 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated 2 weeks ago
- ☆40Updated last year
- ☆50Updated 2 years ago
- ☆31Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- A randomized program fuzzer for the Rust programming language☆64Updated last year
- Public-facing course info for program analysis materials.☆41Updated 5 months ago
- Dynamic Analysis for Concurrent Programs☆24Updated 7 months ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆40Updated 2 weeks ago
- ROSA: Finding Backdoors with Fuzzing☆22Updated 2 months ago
- Thesis code☆26Updated last year
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 9 months ago
- ☆33Updated 7 months ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 3 years ago