☆23May 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:
- Two-Level Collaborative Fuzzing for Python Runtimes☆19Nov 25, 2023Updated 2 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- 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 3 months 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.
- 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.☆22Mar 29, 2026Updated last month
- LN-fuzz: State Sequence Network Protocol Fuzzer☆11Jun 16, 2021Updated 4 years ago
- 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
- Solidity ANTLR4 grammar Python parser☆13Mar 11, 2025Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 11 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- 华中科技大学网络空间安全学院2019级密码学课程设计☆10Oct 20, 2021Updated 4 years ago
- ☆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
- ☆48Mar 19, 2022Updated 4 years ago
- Small CLI tool to download and install nerdfonts on Termux environment☆12Aug 13, 2024Updated last year
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 3 years ago
- 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☆61Jan 28, 2026Updated 3 months ago
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated last week
- 一个通过提取 fuzz crash 触发的调用堆栈 hash， 来动态分类的小工具☆15Nov 24, 2021Updated 4 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Feb 28, 2022Updated 4 years ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆16Apr 1, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆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 3 years ago
- 大模型完整学习路线教学☆39Mar 12, 2026Updated 2 months ago
- Tango: Extracting Higher-Order Feedback through State Inference☆17Aug 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