SamsungLabs / PALinux
In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication
☆12Updated 2 years ago
Alternatives and similar repositories for PALinux:
Users that are interested in PALinux are comparing it to the libraries listed below
- ☆33Updated last year
- ☆51Updated 10 months ago
- ☆17Updated 5 years ago
- ☆25Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆13Updated 3 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆28Updated 8 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆59Updated 3 months ago
- ☆46Updated 3 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆24Updated 5 months ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆13Updated 5 months ago
- ☆11Updated last year
- ☆22Updated 4 years ago
- An Automated Heap Feng Shui Tool☆16Updated 2 years ago
- The published code repo for the Cortex-M SoK paper.☆18Updated last month
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated 9 months ago
- ☆22Updated 5 years ago
- Implement pointer analysis prototype (currently including anderson, steensgard)~☆15Updated 3 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆22Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆14Updated 4 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆35Updated 4 months ago
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆24Updated 2 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Updated 5 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆14Updated 7 years ago
- Automatic Compartments for Embedded Systems☆24Updated 5 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆33Updated 10 months ago
- Code and artifacts related to the Asia CCS 2022 paper☆36Updated 3 years ago