blocksecteam / BpfChecker
This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing" accepted to CCS 2024.
☆10Updated last month
Alternatives and similar repositories for BpfChecker:
Users that are interested in BpfChecker are comparing it to the libraries listed below
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆13Updated 2 years ago
- BigMap integration on AFL++☆15Updated 3 years ago
- ☆36Updated 7 months ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆46Updated last year
- SeamFuzz Artifact repository for ICSE 2023☆13Updated last year
- 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
- ☆15Updated 8 months ago
- z3 solver 学习☆47Updated last year
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆64Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- 一个中文版本的 LibAFL 笔记,主要内容是 LibAFL 原理相关的内容,同时也附加一些 LibAFL 使用方面的 tips ,方便查阅和参考。☆26Updated last year
- ☆17Updated 10 months ago
- A blockchain consensus protocol fuzzing framework☆12Updated last year
- ☆34Updated last year
- RealWorld CTF 5th realwrap challenge☆18Updated last year
- a browser fuzzer☆29Updated 10 months ago
- ☆24Updated last year
- a new cfi mechanism☆31Updated 3 years ago
- A symbolic execution engine for EVM smart contract binaries.☆95Updated last week
- ☆22Updated last year
- Collection of Web3 Audits and Publications by ChainLight of Theori☆13Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆43Updated 2 months ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆21Updated 3 years ago
- Tango: Extracting Higher-Order Feedback through State Inference☆14Updated 5 months ago
- Repo for fuzzing projects☆46Updated 4 years ago
- ☆16Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆24Updated 3 years ago