A greybox fuzzer for continuous integration
☆10Dec 15, 2023Updated 2 years ago
Alternatives and similar repositories for CIDFuzz
Users that are interested in CIDFuzz are comparing it to the libraries listed below
Sorting:
- Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution☆13Jul 24, 2022Updated 3 years ago
- A regression greybox fuzzer aflchurn☆67May 19, 2022Updated 3 years ago
- IEEE XPLORE等文献网站的爬虫工具/Crawler for Paper Website like IEEE XPLORE☆37Jul 17, 2025Updated 7 months ago
- An improved version of afl☆10Jun 4, 2023Updated 2 years ago
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- An interactive, TLS-capable HTTP intercepting proxy designed for penetration testers and software developers, including a parser for the …☆22Jul 31, 2025Updated 7 months ago
- A Python library to analyse rugby matches using Opta's Superscout XML files. Build timelines of matches along with calculating descriptiv…☆10Dec 10, 2021Updated 4 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- Tool to check the CloudTrail configuration and the services where trails are sent, to detect potential attacks to CloudTrail logging.☆13May 25, 2024Updated last year
- Prototype compiler from AWS CloudFormation IaC templates into Logic.☆13Dec 5, 2023Updated 2 years ago
- ☆10Mar 31, 2016Updated 9 years ago
- Malware dev tricks. Syscalls part 1. Simple C example☆10Jun 8, 2023Updated 2 years ago
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- Insecure web application used to test system security controls☆13Oct 14, 2025Updated 4 months ago
- Pollard Rho attack on ECDLP with GMP☆10Sep 6, 2022Updated 3 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- reinforcement learning for optimal debt collection strategy☆11Dec 8, 2019Updated 6 years ago
- RISC-V Formal in Chisel☆12Apr 9, 2024Updated last year
- ☆14Oct 29, 2021Updated 4 years ago
- ☆14May 7, 2025Updated 9 months ago
- Implementation Code of TextHoaxer☆15Aug 21, 2022Updated 3 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 7 months ago
- ☆14Oct 9, 2024Updated last year
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated 3 weeks ago
- SoC for CQU Dual Issue Machine☆12Sep 20, 2022Updated 3 years ago
- RISC-V instruction encoding/decoding☆13Mar 22, 2023Updated 2 years ago
- Handle Fast Signal Traces (fst) in Python☆14Jun 11, 2025Updated 8 months ago
- GPU model checker☆11Apr 17, 2019Updated 6 years ago
- ☆14Sep 3, 2024Updated last year
- ☆10Oct 15, 2021Updated 4 years ago
- ☆13Feb 14, 2026Updated 2 weeks ago
- ☆13Mar 20, 2025Updated 11 months ago
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆56Feb 20, 2024Updated 2 years ago
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 3 years ago
- ☆16Sep 12, 2022Updated 3 years ago
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 9 years ago
- In-depth and hands-on practice for acing the exam.☆15Jun 21, 2024Updated last year
- ☆11Oct 16, 2025Updated 4 months ago