[ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
☆21Mar 26, 2025Updated 11 months ago
Alternatives and similar repositories for IRFuzzer
Users that are interested in IRFuzzer are comparing it to the libraries listed below
Sorting:
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆23Dec 3, 2024Updated last year
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- ☆10Jul 9, 2020Updated 5 years ago
- ☆24Sep 5, 2023Updated 2 years ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- ☆15Jul 25, 2025Updated 7 months ago
- Decompiler Fuzzing Test with EMI mutation☆16Apr 23, 2020Updated 5 years ago
- Side-channel Analysis☆19May 17, 2022Updated 3 years ago
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- System for verifying the correctness of generated Copilot programs☆17May 8, 2025Updated 9 months ago
- A Computational Graph Generator for AI Compiler Fuzzing☆16May 31, 2023Updated 2 years ago
- A browser fuzzer augmented by API mod-ref relations☆35Mar 8, 2024Updated last year
- ViDeZZo source code.☆39Apr 15, 2025Updated 10 months ago
- Simple grammar-based test case generator☆40Feb 16, 2026Updated last week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Updated this week
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- ☆21Aug 22, 2022Updated 3 years ago
- Machine Learning for Source Code Analysis☆17Nov 20, 2023Updated 2 years ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆20Sep 7, 2023Updated 2 years ago
- ☆20Jun 7, 2025Updated 8 months ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Oct 13, 2023Updated 2 years ago
- A Source Code Tokenizer☆14Oct 30, 2024Updated last year
- ☆45Nov 18, 2022Updated 3 years ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆22May 29, 2023Updated 2 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Feb 29, 2024Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆22May 31, 2023Updated 2 years ago
- ☆27Nov 30, 2018Updated 7 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Oct 1, 2021Updated 4 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆28Nov 29, 2022Updated 3 years ago
- ☆29Aug 7, 2025Updated 6 months ago
- This is the project of LearnAFL.☆28Aug 27, 2020Updated 5 years ago
- ☆22Nov 17, 2020Updated 5 years ago
- Hierarchical Delta Debugging Framework☆60Nov 23, 2025Updated 3 months ago
- ☆24Aug 24, 2025Updated 6 months ago
- ☆26May 10, 2021Updated 4 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61May 16, 2025Updated 9 months ago