SyzTrust / syztrust
SyzTrust's main repository. Start here to install.
☆14Updated 11 months ago
Alternatives and similar repositories for syztrust:
Users that are interested in syztrust are comparing it to the libraries listed below
- ☆44Updated 2 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆60Updated last month
- The published code repo for the Cortex-M SoK paper.☆17Updated last week
- ViDeZZo source code.☆32Updated 3 weeks ago
- ☆61Updated 3 months ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆55Updated 3 years ago
- Pre-Silicon Hardware Fuzzing Toolkit☆54Updated 2 weeks ago
- ☆25Updated 2 years ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated 2 years ago
- Automatic Compartments for Embedded Systems☆24Updated 4 years ago
- ☆18Updated last month
- ☆27Updated 3 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆25Updated last year
- ☆57Updated 8 months ago
- Perry: automated peripheral modeling with symbolic execution☆24Updated 7 months ago
- Repository for monolithic firmware blobs☆72Updated 2 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆22Updated last year
- ☆53Updated 8 months ago
- ☆34Updated 2 years ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆61Updated last year
- A Specification-Guided Approach for Firmware Emulation☆38Updated 7 months ago
- ☆22Updated 2 years ago
- ☆10Updated last year
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆29Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Peripheral Transplantation to Rehost Embedded Linux kernels☆15Updated 2 years ago
- A list of resources (papers, books, talks, frameworks, tools) for understanding fuzzing for IoT/embedded devices.☆40Updated 2 years ago
- ☆37Updated 3 weeks ago
- This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.☆133Updated 3 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆28Updated 7 months ago