☆24May 1, 2024Updated 2 years ago
Alternatives and similar repositories for brf
Users that are interested in brf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…☆16Dec 10, 2024Updated last year
- Two-Level Collaborative Fuzzing for Python Runtimes☆18Nov 25, 2023Updated 2 years ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- ☆12May 13, 2025Updated last year
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Adaptive Verification of Patches at the Binary Level☆14Mar 19, 2026Updated 2 months ago
- DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks☆15Sep 15, 2022Updated 3 years ago
- A tool for automatically identifying syscall-guard variables☆38Feb 10, 2026Updated 4 months ago
- BPF library for Async Rust, complementary for libbpf-rs.☆20Jan 30, 2024Updated 2 years ago
- AI agent for creating personalized digests of research papers☆25Updated this week
- [ISSTA 2025] Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG☆57Apr 2, 2026Updated 2 months ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- git://g.csail.mit.edu/kint☆51Oct 20, 2013Updated 12 years ago
- SecVulEval is a dataset of C/C++ vulnerabilities.☆23Mar 29, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- TFA project for indirect call analysis☆13Mar 13, 2025Updated last year
- Experiment in implementation of an instrumentation for American Fuzzy Lop using DynamoRIO☆15Jul 29, 2017Updated 8 years ago
- Yet another awesome fuzzers list☆15Oct 25, 2024Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆101Feb 10, 2026Updated 4 months ago
- Source code of MEUZZ fuzzer☆46Dec 11, 2021Updated 4 years ago
- Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation☆19Jun 9, 2025Updated last year
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated 2 years ago
- ☆21Jul 11, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 华中科技大学网络空间安全学院2019级密码学课程设计☆10Oct 20, 2021Updated 4 years ago
- Rebuild YatSenOS On RISC-V 64.☆23Jan 6, 2022Updated 4 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Feb 28, 2022Updated 4 years ago
- Small CLI tool to download and install nerdfonts on Termux environment☆12Aug 13, 2024Updated last year
- A fully automated Rust fuzz driver generator☆61Jun 17, 2025Updated 11 months ago
- A framework to test the correctness of the Linux kernel patch.☆22Sep 29, 2023Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated 4 months ago
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 3 weeks ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Feb 28, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- NJU-DisSys-2020☆12Dec 29, 2020Updated 5 years ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆173May 3, 2023Updated 3 years ago
- 大模型完整学习路线教学☆40Mar 12, 2026Updated 2 months ago
- Tango: Extracting Higher-Order Feedback through State Inference☆16Aug 8, 2024Updated last year
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- ☆13Jan 22, 2024Updated 2 years ago