Smilencelsy / Control-Flow-Integrity
Sth in Control-Flow Integrity
☆19Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for Control-Flow-Integrity
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆26Updated 5 months ago
- The published code repo for the Cortex-M SoK paper.☆16Updated 5 months ago
- ☆58Updated 2 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Updated last year
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆57Updated last year
- This repository is used to analysis the shared resources of different containers☆28Updated 3 weeks ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- ☆24Updated 2 years ago
- ☆86Updated 11 months ago
- Implement pointer analysis prototype(currently including anderson, steensgard)~☆15Updated 2 years ago
- uacatcher open source repo☆19Updated last year
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆23Updated 10 months ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆22Updated last month
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆85Updated 7 months ago
- ViDeZZo source code.☆30Updated last month
- SCTF 2023 kernel pwn && CVE-2023-3640☆28Updated last year
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 4 years ago
- ☆22Updated 4 years ago
- ☆17Updated 2 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆24Updated 2 years ago
- Papers related with kernel papers☆13Updated last year
- ☆20Updated 4 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆74Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- ☆34Updated 2 years ago
- iot安全题目学习记录☆17Updated 2 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆25Updated 4 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆25Updated last year
- ☆32Updated last year