Greybox Fuzzing of Distributed Systems (CCS'23)
☆60Dec 5, 2023Updated 2 years ago
Alternatives and similar repositories for mallory
Users that are interested in mallory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆62Apr 1, 2024Updated 2 years ago
- ☆13Apr 10, 2025Updated last year
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆18Dec 16, 2024Updated last year
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 9 months ago
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Feb 23, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆400Jun 30, 2025Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆57Jul 30, 2026Updated 3 months ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated 2 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.☆13Mar 1, 2024Updated 2 years ago
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆24Dec 3, 2024Updated last year
- ☆17Mar 2, 2018Updated 8 years ago
- Program Vulnerability Repair via Inductive Inference☆21Dec 21, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Sep 21, 2020Updated 6 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- ☆21Oct 25, 2021Updated 5 years ago
- MS-Fuzz data☆15Nov 5, 2022Updated 3 years ago
- ☆21Dec 4, 2023Updated 2 years ago
- Tutorial on modeling with TLA+☆24Sep 15, 2026Updated last month
- Saryn: Fuzzing with Taint Inference☆16Jun 16, 2022Updated 4 years ago
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- ☆11Oct 21, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A structure-aware grey box fuzzer based on modeling the input processing logic.☆167Oct 11, 2024Updated 2 years ago
- Agentic Theorem Prover for Rocq for Program Verification☆37Updated this week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆22Mar 29, 2026Updated 7 months ago
- A regression greybox fuzzer aflchurn☆68May 19, 2022Updated 4 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Dec 28, 2021Updated 4 years ago
- ☆39Sep 27, 2022Updated 4 years ago
- A Coverage-Based fuzzing tools☆23Aug 9, 2021Updated 5 years ago
- Dynamic Analysis for Concurrent Programs☆33Oct 17, 2026Updated 2 weeks ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆37Oct 9, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆33Feb 28, 2023Updated 3 years ago
- OpenDST - Deterministic Simulation Testing for Java☆28Jul 16, 2026Updated 3 months ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆43Oct 26, 2022Updated 4 years ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆17Oct 24, 2023Updated 3 years ago
- ☆12Jun 20, 2022Updated 4 years ago
- Partial Commutative Monoids☆35Aug 6, 2026Updated 2 months ago
- ☆18Apr 7, 2023Updated 3 years ago