Kernel isolation tester.
☆18Oct 20, 2022Updated 4 years ago
Alternatives and similar repositories for kit
Users that are interested in kit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Onsite Analysis Infrastructure☆16Jun 23, 2020Updated 6 years ago
- ☆22Jun 7, 2025Updated last year
- ☆60May 10, 2024Updated 2 years ago
- Sishuai Gong, Rui Wang, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowplow: Effective Kernel Fuzzing with a Learned White-box Te…☆17May 3, 2026Updated 5 months ago
- ☆17Jun 7, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches, ACM CCS'24☆11Nov 11, 2024Updated last year
- Uncovering Container Confusion in the Linux Kernel☆47Feb 27, 2024Updated 2 years ago
- ☆20Jun 13, 2022Updated 4 years ago
- Easy way to run a LLVM instrumented kernel in qemu with gdb☆25Apr 19, 2024Updated 2 years ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆14Sep 19, 2023Updated 3 years ago
- A version of Griffin used to provide program traces☆15Sep 2, 2020Updated 6 years ago
- Partitioned Unit Memory Management☆15Nov 28, 2022Updated 3 years ago
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated 2 years ago
- A GPT-Based Fuzz Driver Generator☆48Nov 19, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25☆16Feb 6, 2026Updated 8 months ago
- ☆13Oct 17, 2021Updated 5 years ago
- ☆39Feb 4, 2026Updated 8 months ago
- ☆42Sep 18, 2020Updated 6 years ago
- ☆45Apr 12, 2022Updated 4 years ago
- ☆41Feb 15, 2022Updated 4 years ago
- This repository is used to analysis the shared resources of different containers☆30Oct 22, 2024Updated 2 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆162Aug 31, 2022Updated 4 years ago
- ☆17Sep 4, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Linux network namespace sysctl safety verifier.☆12Jun 20, 2021Updated 5 years ago
- ☆48Nov 15, 2021Updated 4 years ago
- A jobserver for running experiments on test machines and copying results back.☆14Apr 5, 2024Updated 2 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆24Jun 2, 2023Updated 3 years ago
- A list of data-only attacks☆21Aug 22, 2025Updated last year
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆63Dec 2, 2024Updated last year
- some kernel exploit challenges and cve analysis☆26Nov 30, 2018Updated 7 years ago
- Skyfire is a Model-Based Testing (MBT) tool that generates Cucumber test scenarios from a UML behavioral diagram.☆14Sep 27, 2016Updated 10 years ago
- ☆25May 10, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- [42-b3yond-6ug] This repository hosts BugBuster, our team’s submission to the AI Cyber Challenge Final Competition.☆31Aug 19, 2025Updated last year
- An standalone execution trace library built on DynamoRIO.☆23Jul 4, 2022Updated 4 years ago
- SysML Model for MTConnect☆13Feb 27, 2026Updated 8 months ago
- Detect missing check bugs in OS kernels☆117Sep 23, 2023Updated 3 years ago
- TensorFlow API analysis tool and malicious model detection tool☆43May 27, 2025Updated last year
- Face generation from a given extremely low resolution images using DC_GAN.☆11May 15, 2017Updated 9 years ago
- A simple to use Speech Recognition library for Unity based on the Microsoft Cognitive Services☆15Dec 15, 2018Updated 7 years ago