XiaZhouZero / OPEC
☆9Updated 2 years ago
Related projects: ⓘ
- ☆45Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆76Updated 5 months ago
- ☆58Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆33Updated 2 months ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆42Updated 4 years ago
- ☆31Updated last year
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆21Updated 8 months ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆18Updated last year
- ☆50Updated 4 months ago
- Pre-built bitcode files for the Linux kernel☆22Updated 5 years ago
- ☆15Updated 3 years ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆54Updated last year
- ☆20Updated 3 years ago
- ☆28Updated 3 months ago
- ☆28Updated last year
- Automatic Compartments for Embedded Systems☆24Updated 4 years ago
- ☆20Updated 4 months ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆45Updated 3 months ago
- A framework to test the correctness of the Linux kernel patch.☆20Updated 11 months ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- Source code of SEmu-Fuzz☆19Updated 7 months ago
- The published code repo for the Cortex-M SoK paper.☆12Updated 3 months ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆36Updated 2 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated 9 months ago
- Detect missing check bugs in OS kernels☆106Updated 11 months ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆22Updated 3 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆24Updated 4 years ago
- This repository is used to analysis the shared resources of different containers☆27Updated 2 months ago