Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source
☆16May 14, 2024Updated last year
Alternatives and similar repositories for Orion
Users that are interested in Orion are comparing it to the libraries listed below
Sorting:
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 2 years ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆39Jul 19, 2022Updated 3 years ago
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)☆17Jul 19, 2023Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆13Mar 30, 2024Updated last year
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆12Feb 21, 2024Updated 2 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆82Nov 2, 2022Updated 3 years ago
- ☆11Nov 1, 2023Updated 2 years ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 2 years ago
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆14Jan 20, 2026Updated last month
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- This is the project repository of our ASE22 paper: Natural Test Generation for Precise Testing of Question Answering Software☆14Dec 1, 2022Updated 3 years ago
- Better bindings for Python☆19Feb 3, 2023Updated 3 years ago
- [ICSE 2025] The Seeds of the FUTURE Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries (AC…☆20Dec 22, 2025Updated 2 months ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆40May 17, 2023Updated 2 years ago
- ☆91Sep 10, 2023Updated 2 years ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆27Mar 2, 2024Updated 2 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆32Nov 13, 2023Updated 2 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆25Dec 17, 2020Updated 5 years ago
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43May 7, 2023Updated 2 years ago
- Static code analysis test source code☆36Aug 30, 2023Updated 2 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- The dataset was used as a support to attack obfuscations. It is the largest obfuscated dataset, with realistic and various binaries and f…☆19Jan 15, 2026Updated last month
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- ☆10Jun 5, 2023Updated 2 years ago
- ☆37May 8, 2022Updated 3 years ago
- A Benchmark for Evaluating Safety and Trustworthiness in Web Agents for Enterprise Scenarios☆19Feb 24, 2026Updated last week
- ☆12Oct 13, 2022Updated 3 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Fourmolu GitHub Action☆13Oct 25, 2024Updated last year
- ☆10Sep 27, 2023Updated 2 years ago
- KaTeX + coloring + interactivity to make equations explained well (prototype)☆19Dec 31, 2025Updated 2 months ago
- Testing utilities for FreeType.☆14Feb 9, 2026Updated 3 weeks ago
- State Key Laboratory for Novel Software Technology, Nanjing University, China☆10Nov 22, 2025Updated 3 months ago
- My version of driller using Intel PIN and angrgdb. In "theory" can work with AFL in deferred and persistent mode.☆13Feb 10, 2019Updated 7 years ago
- ☆12Jan 28, 2023Updated 3 years ago
- SLSA Proposals☆11Jan 29, 2024Updated 2 years ago