This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis", In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP), Virtual, 2021
☆27May 28, 2025Updated 9 months ago
Alternatives and similar repositories for snowboard
Users that are interested in snowboard are comparing it to the libraries listed below
Sorting:
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆15Oct 24, 2023Updated 2 years ago
- ☆13Mar 1, 2020Updated 6 years ago
- On-demand-fork☆32Mar 28, 2023Updated 2 years ago
- Diagnose performance issues in macOS based on mac_tracing.☆19May 16, 2021Updated 4 years ago
- ☆20Dec 4, 2023Updated 2 years ago
- AFL enhanced for concurrency bug and vulnerabilities☆19Sep 18, 2020Updated 5 years ago
- ☆24Aug 24, 2025Updated 6 months ago
- ☆32Apr 2, 2024Updated last year
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆32Jun 16, 2024Updated last year
- The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis☆10Jan 26, 2019Updated 7 years ago
- A Kernel fuzzer focusing on race bugs☆379Jul 10, 2019Updated 6 years ago
- Linux Kernel Fuzzer Corpus☆156Updated this week
- ☆34Apr 17, 2021Updated 4 years ago
- ☆11Jun 11, 2020Updated 5 years ago
- SecVulEval is a dataset of C/C++ vulnerabilities.☆18Dec 20, 2025Updated 2 months ago
- ☆94Mar 31, 2025Updated 11 months ago
- Page Cache Side Channel Attacks (CVE-2019-5489) proof of concept for Linux☆10Oct 2, 2021Updated 4 years ago
- Fork of QEMU with Virtual Machine Introspection patches☆14Sep 13, 2023Updated 2 years ago
- Efficient-Tensor-Management-on-HM-for-Deep-Learning☆10Nov 15, 2021Updated 4 years ago
- Scrape New Zealand's COVID-19 case, alert level and hardship grant information from government web pages, and render the data in various …☆11Jul 5, 2020Updated 5 years ago
- A Parallel Simulation Framework For Multicore Systems☆10May 20, 2017Updated 8 years ago
- Python Jupyter Notebooks for robotics algorithm☆10Jun 5, 2022Updated 3 years ago
- OpenRL-based realtime path tracer☆10Apr 15, 2023Updated 2 years ago
- Analyzing Configuration Dependencies of File Systems [FAST'23, HotStorage'22]☆12May 17, 2025Updated 9 months ago
- A general android trace analysis framework☆12Aug 20, 2024Updated last year
- 新闻言论观点提取☆12Oct 19, 2019Updated 6 years ago
- Randomized algorithm class at CU☆15Jul 8, 2025Updated 7 months ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- [WIP] pivot a running process into an emulator for instrumentation☆13Aug 12, 2016Updated 9 years ago
- The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…☆13Aug 9, 2023Updated 2 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- ☆10Sep 25, 2024Updated last year
- Course materials for a 3-day seminar "Machine Learning and NLP: Advances and Applications" at New College of Florida☆12Feb 10, 2022Updated 4 years ago
- Kernel fuzzer inspired by Syzkaller.☆284Feb 23, 2022Updated 4 years ago
- Concurrency Paper☆115Jun 1, 2023Updated 2 years ago
- Volume Manipulation Library☆17Jul 13, 2023Updated 2 years ago
- ☆13Mar 20, 2025Updated 11 months ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago