seclab-fudan / FirmRecLinks
Firmrec is a recurring vulnerability detector for embedded firmware.
☆50Updated 8 months ago
Alternatives and similar repositories for FirmRec
Users that are interested in FirmRec are comparing it to the libraries listed below
Sorting:
- ☆31Updated 2 years ago
- ☆95Updated 9 months ago
- FirmSec Dataset☆44Updated 2 months ago
- ☆27Updated last year
- ☆69Updated 2 years ago
- ☆22Updated last year
- ☆47Updated 2 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆97Updated 2 years ago
- ☆71Updated last year
- ☆18Updated 4 months ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆133Updated 11 months ago
- ☆39Updated last year
- BambooFuzz: An IoT Firmware Vulnerability Mining System based on Static and Dynamic Analysis☆54Updated 4 years ago
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆54Updated last year
- ☆31Updated 2 years ago
- ☆91Updated 8 months ago
- ☆62Updated last year
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Updated 3 years ago
- MINER provided by the paper "MINER: A Hybrid Data-Driven Approach for REST API Fuzzing"☆42Updated 2 years ago
- a blackbox network fuzzer for IoT devices☆56Updated last year
- [ISSTA 2025] Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG☆52Updated 2 months ago
- 记录自己在看 afl 源码时候的一些笔记和想法,还有一些自己觉得有意思的魔改。2020年12月2日update:添加混合模糊测试目录☆109Updated 5 years ago
- ☆97Updated 3 months ago
- ☆13Updated 2 years ago
- An automated static taint analysis tool for the Lua web framework.☆24Updated last year
- FirmSec Dataset☆12Updated 4 years ago
- ☆26Updated 3 years ago
- A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between…☆335Updated last year
- Extracting the ACFG feature of each function from the binary file based on angr☆19Updated 6 years ago
- Perry: automated peripheral modeling with symbolic execution☆28Updated last year