shioya-lab-public / surgefuzzView external linksLinks
SurgeFuzz: Surge-Aware Directed Fuzzing for CPU Designs (ICCAD 2023)
β23Dec 5, 2024Updated last year
Alternatives and similar repositories for surgefuzz
Users that are interested in surgefuzz are comparing it to the libraries listed below
Sorting:
- Microarchitectural control flow integrity (πCFI) verification checks whether there exists a control or data flow from instruction's opeβ¦β16Updated this week
- Binary Ninja plugin to perform automated analysis of Windows driversβ20Aug 8, 2019Updated 6 years ago
- A tool for detecting Spectre vulnerabilities through fuzzingβ46Aug 25, 2021Updated 4 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulationβ49Apr 22, 2025Updated 9 months ago
- Process Orchestration Framework: A camunda 7 forkβ20Updated this week
- Fuzz everything! Now let's fuzz chip!β33Updated this week
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)β61May 16, 2025Updated 9 months ago
- β70Mar 7, 2024Updated last year
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gathβ¦β22Jun 14, 2025Updated 8 months ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binariesβ75May 21, 2021Updated 4 years ago
- β76Dec 26, 2025Updated last month
- Mayhem example templates for programming languages and fuzzers that you love!β36Oct 27, 2025Updated 3 months ago
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.β32Jan 24, 2021Updated 5 years ago
- Wavelet Transform Modulus Maximaβ11Jun 2, 2021Updated 4 years ago
- β36Jun 19, 2019Updated 6 years ago
- WebGL fuzzerβ39Mar 13, 2023Updated 2 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniquesβ37Feb 6, 2021Updated 5 years ago
- Conformal Prediction library for Orange3β10May 24, 2019Updated 6 years ago
- SciKit-Learn compatible library for training mixed-effects models.β13Jun 9, 2023Updated 2 years ago
- Basic Common Modulesβ46Dec 13, 2025Updated 2 months ago
- Python SIR-x model implementationβ10Dec 8, 2022Updated 3 years ago
- Generating Hardware Verification Assertions from Design Specifications via Multi-LLMsβ50Oct 28, 2024Updated last year
- The Unified TileLink Memory Subsystem Tester for XiangShanβ12Jan 7, 2026Updated last month
- https://icml.cc/virtual/2023/poster/24354β10Aug 15, 2023Updated 2 years ago
- A Grand Sumo prediction gameβ10Feb 10, 2026Updated last week
- β102May 27, 2024Updated last year
- A git subcommand to apply skeleton repository continuouslyβ15Updated this week
- β11Nov 17, 2017Updated 8 years ago
- β22Oct 30, 2024Updated last year
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that doβ¦β33Dec 11, 2025Updated 2 months ago
- Kalman Filter, Smoother, and EM Algorithm for Pythonβ12Sep 4, 2023Updated 2 years ago
- Automatic Parallelism Using LLVMβ10Aug 2, 2014Updated 11 years ago
- afl-pytmin is a wrapper of afl-tmin, test case minimizer for American Fuzzy Lop (afl).β11Apr 14, 2017Updated 8 years ago
- TUI kanban board for orchestrating AI coding agentsβ36Jan 28, 2026Updated 2 weeks ago
- β11Jan 11, 2025Updated last year
- β12Nov 14, 2023Updated 2 years ago
- β11Jun 25, 2020Updated 5 years ago
- RV32I Single Cycle Processor (CPU)β12Nov 14, 2021Updated 4 years ago
- β12Apr 22, 2023Updated 2 years ago