Smilencelsy / Control-Flow-Integrity
Sth in Control-Flow Integrity
☆17Updated 5 years ago
Related projects: ⓘ
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆19Updated last year
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆54Updated last year
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- ☆58Updated 2 years ago
- This repository is used to analysis the shared resources of different containers☆27Updated 2 months ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆26Updated 10 months ago
- The published code repo for the Cortex-M SoK paper.☆12Updated 3 months ago
- ☆28Updated last year
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆76Updated 5 months ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 4 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- ☆17Updated 4 years ago
- An standalone execution trace library built on DynamoRIO.☆22Updated 2 years ago
- ☆31Updated last year
- ☆20Updated 3 years ago
- ViDeZZo source code.☆30Updated last month
- ☆12Updated 2 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆17Updated 3 months ago
- ☆13Updated last year
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆21Updated 8 months ago
- ☆50Updated 4 months ago
- ☆85Updated 9 months ago
- K-Miner☆71Updated 5 years ago
- ☆24Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- ☆19Updated 5 years ago
- ☆45Updated 3 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆33Updated 4 years ago
- uacatcher open source repo☆18Updated last year
- ☆45Updated 2 years ago