IoTAccessControl / RapidPatch
A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnerability across heterogeneous devices.
☆26Updated 10 months ago
Related projects: ⓘ
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆33Updated 4 years ago
- ☆58Updated 2 years ago
- ☆12Updated 2 years ago
- The published code repo for the Cortex-M SoK paper.☆12Updated 3 months ago
- This repository is used to analysis the shared resources of different containers☆27Updated 2 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆54Updated last year
- ☆45Updated 2 years ago
- ☆31Updated last year
- 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
- K-Miner☆71Updated 5 years ago
- Source code of ASAN--☆88Updated 3 months ago
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆12Updated 4 years ago
- Sth in Control-Flow Integrity☆17Updated 5 years ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆59Updated 11 months ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆76Updated 5 months ago
- This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.☆132Updated 3 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆17Updated 3 months ago
- ☆70Updated 3 years ago
- ☆50Updated 4 months ago
- ☆19Updated 5 years ago
- Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation☆15Updated last year
- Source code of SEmu-Fuzz☆19Updated 7 months ago
- Source code release for the KRace project☆27Updated 2 years ago
- git://g.csail.mit.edu/kint☆49Updated 10 years ago
- A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.☆126Updated 9 months ago
- A fuzzing framework targeted at MQTT brokers. Modeled as a finite state machine (using Markov Modeling).☆28Updated last year
- Automated IoT firmware fuzzing framework.☆74Updated 4 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- ☆85Updated 9 months ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆19Updated last year