trusslab / brfLinks
☆23Updated last year
Alternatives and similar repositories for brf
Users that are interested in brf are comparing it to the libraries listed below
Sorting:
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆89Updated 4 months ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Updated 10 months ago
- Concurrency Paper☆114Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆100Updated 2 months ago
- 一个中文版本的 LibAFL 笔记,主要内容是 LibAFL 原理相关的内容,同时也附加一些 LibAFL 使用方面的 tips ,方便查阅和参考。☆35Updated 2 years ago
- AFL/AFL++ version FishFuzz☆97Updated 10 months ago
- Code of Truman: Constructing Device Behavior Models from OS Drivers to Fuzz Virtual Devices (NDSS 2025)☆22Updated 9 months ago
- ☆61Updated 3 years ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆102Updated 2 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆32Updated last year
- ☆13Updated 4 years ago
- A fully automated Rust fuzz driver generator☆61Updated 7 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆159Updated 5 months ago
- ☆27Updated 3 years ago
- Static Analysis Course☆85Updated last month
- ☆19Updated 2 years ago
- ☆70Updated last year
- This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…☆16Updated last year
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆97Updated 2 years ago
- ☆72Updated last year
- ☆39Updated last year
- ViDeZZo source code.☆39Updated 9 months ago
- The repo of "BugLens"☆34Updated 2 months ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆85Updated last year
- ☆37Updated 2 years ago
- uacatcher open source repo☆22Updated 2 years ago
- A Pointer Analysis Framework for Rust☆63Updated 7 months ago
- ☆25Updated 10 months ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆27Updated last month
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Updated last year