SyzTrust / syztrustLinks
SyzTrust's main repository. Start here to install.
☆17Updated last year
Alternatives and similar repositories for syztrust
Users that are interested in syztrust are comparing it to the libraries listed below
Sorting:
- ☆47Updated 2 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆29Updated 2 months ago
- ViDeZZo source code.☆36Updated 2 months ago
- ☆15Updated 2 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆25Updated last month
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆61Updated 7 months ago
- ☆13Updated last year
- ☆11Updated 4 years ago
- Pre-Silicon Hardware Fuzzing Toolkit☆57Updated 3 weeks ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Updated 10 months ago
- ☆24Updated 2 months ago
- ☆27Updated 2 years ago
- The published code repo for the Cortex-M SoK paper.☆19Updated 3 weeks ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated last year
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆14Updated 2 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆57Updated last month
- ☆52Updated this week
- ☆37Updated 3 years ago
- ☆27Updated 3 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆34Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- ☆19Updated last month
- ☆36Updated last year
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆20Updated 2 years ago
- ☆55Updated last year
- Syzkaller with MAB scheduling and seed selection☆24Updated 5 years ago
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆31Updated last month
- ☆14Updated 6 months ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆23Updated 3 years ago
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆30Updated 2 years ago