ZHYfeng / Generate_Linux_Kernel_Bitcode
☆25Updated 4 months ago
Related projects: ⓘ
- ☆20Updated 4 months ago
- Pre-built bitcode files for the Linux kernel☆22Updated 5 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆42Updated 4 years ago
- Source code release for the KRace project☆27Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆76Updated 5 months ago
- ☆28Updated 3 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- ☆50Updated 4 months ago
- ☆22Updated last year
- ☆31Updated last year
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆33Updated 2 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆54Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆45Updated 3 months ago
- ☆66Updated 2 months ago
- ☆45Updated 2 years ago
- Detect missing check bugs in OS kernels☆106Updated 11 months ago
- 20 benchmark programs☆43Updated 3 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆29Updated last year
- Source code of ASAN--☆88Updated 3 months ago
- ☆58Updated 2 years ago
- ☆12Updated 2 years ago
- A use-after-free checker based on SVF.☆19Updated 6 years ago
- Anderson points-to analysis implementation based on LLVM☆12Updated 3 years ago
- K-Miner☆71Updated 5 years ago
- ☆69Updated 2 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆29Updated last week
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆17Updated 3 months ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆13Updated last year
- A framework to test the correctness of the Linux kernel patch.☆20Updated 11 months ago