trusslab / brf
☆11Updated 4 months ago
Related projects: ⓘ
- Papers related with kernel papers☆13Updated last year
- ☆33Updated 10 months ago
- 一个中文版本的 LibAFL 笔记,主要内容是 LibAFL 原理相关的内容,同时也附加一些 LibAFL 使用方面的 tips ,方便查阅和参考。☆26Updated 9 months ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆24Updated last month
- uacatcher open source repo☆18Updated last year
- ☆14Updated 7 months ago
- Directed fuzzing framework for gVisor.☆23Updated 10 months ago
- ☆28Updated 2 years ago
- ☆31Updated last year
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 3 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models☆55Updated this week
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated last year
- A fully automated Rust fuzz driver generator☆49Updated last week
- AFL/AFL++ version FishFuzz☆83Updated 5 months ago
- ☆19Updated last year
- ☆24Updated 2 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆72Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- ViDeZZo source code.☆30Updated last month
- ☆15Updated 3 weeks ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆12Updated last year
- blackhat usa 2022 I attended☆73Updated last year
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- ☆35Updated last year
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆43Updated last month
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆17Updated 3 months ago