☆23May 1, 2024Updated last year
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☆19Nov 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
- ☆24Oct 27, 2025Updated 5 months ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Adaptive Verification of Patches at the Binary Level☆12Mar 19, 2026Updated 3 weeks ago
- DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks☆15Sep 15, 2022Updated 3 years ago
- A tool for automatically identifying syscall-guard variables☆37Feb 10, 2026Updated 2 months ago
- AI agent for creating personalized digests of research papers☆21Updated this week
- slides and papers from (or partly from) Bonan☆22Mar 8, 2024Updated 2 years ago
- Binary Only Thread Sanitizer☆18Aug 10, 2024Updated last year
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- SecVulEval is a dataset of C/C++ vulnerabilities.☆19Mar 29, 2026Updated last week
- git://g.csail.mit.edu/kint☆51Oct 20, 2013Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- LN-fuzz: State Sequence Network Protocol Fuzzer☆11Jun 16, 2021Updated 4 years ago
- TFA project for indirect call analysis☆13Mar 13, 2025Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆102Feb 10, 2026Updated 2 months ago
- Rebuild YatSenOS On RISC-V 64.☆23Jan 6, 2022Updated 4 years 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 10 months ago
- ☆21Jul 11, 2024Updated last year
- 华中科技大学网络空间安全学院2019级密码学课程设计☆11Oct 20, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆13Feb 24, 2024Updated 2 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
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 3 years 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 2 months ago
- ☆14Jan 22, 2024Updated 2 years ago
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Feb 28, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆16Apr 1, 2026Updated last week
- ☆17Oct 1, 2024Updated last year
- NJU-DisSys-2020☆12Dec 29, 2020Updated 5 years ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆172May 3, 2023Updated 2 years ago
- Tango: Extracting Higher-Order Feedback through State Inference☆17Aug 8, 2024Updated last year
- Convert BMS beatmap to osu!mania 7k/7+1k beatmap☆13Mar 18, 2025Updated last year
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆146Updated this week