This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor".
☆15Oct 24, 2023Updated 2 years ago
Alternatives and similar repositories for snowcat
Users that are interested in snowcat are comparing it to the libraries listed below
Sorting:
- This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…☆27May 28, 2025Updated 9 months ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated last year
- Diagnose performance issues in macOS based on mac_tracing.☆19May 16, 2021Updated 4 years ago
- On-demand-fork☆32Mar 28, 2023Updated 2 years ago
- A tool for checking the contract satisfaction for hardware designs☆12Nov 4, 2025Updated 3 months ago
- ☆11Aug 23, 2023Updated 2 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 5 months ago
- ☆11Jan 26, 2022Updated 4 years ago
- ☆12Jan 9, 2026Updated last month
- Rust library to interface with the RISC-V Supervisor Binary Interface☆14Apr 17, 2025Updated 10 months ago
- Analyzing Configuration Dependencies of File Systems [FAST'23, HotStorage'22]☆12May 17, 2025Updated 9 months ago
- ☆17Apr 15, 2025Updated 10 months ago
- ☆11Jun 10, 2024Updated last year
- ☆20Feb 18, 2026Updated last week
- A general android trace analysis framework☆12Aug 20, 2024Updated last year
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- ☆11Jul 1, 2025Updated 8 months ago
- System Audit Architecture with High Event Coverage and Synchronous Log Availability☆18Nov 27, 2024Updated last year
- ☆18Oct 1, 2025Updated 5 months ago
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- ☆10Sep 4, 2020Updated 5 years ago
- ☆14Nov 11, 2025Updated 3 months ago
- ☆10Oct 22, 2018Updated 7 years ago
- Convenience wrapper for cargo buildscript input/output☆15Feb 16, 2026Updated 2 weeks ago
- ☆13May 11, 2023Updated 2 years ago
- SKI virtual machine for testing concurrency bugs☆13Nov 25, 2015Updated 10 years ago
- The Source Code Lib for BiscuitOS☆12Oct 15, 2024Updated last year
- Scheduler scoreboard is a single toolkit to capture and report all the data related to the Linux Kernel Scheduler which can help analyze …☆16Feb 14, 2025Updated last year
- BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)☆13Aug 25, 2023Updated 2 years ago
- ☆12Aug 12, 2022Updated 3 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆59Dec 5, 2023Updated 2 years ago
- Create modular jars that target a Java release before 9☆13Jan 8, 2022Updated 4 years ago
- PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)☆16Nov 4, 2024Updated last year
- ☆17Jun 7, 2022Updated 3 years ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆13Sep 19, 2023Updated 2 years ago
- Easy creationg of shareable software bundles for your Java application☆11Aug 6, 2018Updated 7 years ago
- A dual core RISC-V processor (using PULP platform SoC) implemented on a Digilent Arty S7-50 FPGA board.☆14Aug 7, 2022Updated 3 years ago
- Open-Source Real-time Multi-protocol Gateway☆17Updated this week
- Usenix Security'23☆16Feb 14, 2023Updated 3 years ago