gbftdlie / GLinks
☆11Updated 2 years ago
Alternatives and similar repositories for G
Users that are interested in G are comparing it to the libraries listed below
Sorting:
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆82Updated 3 years ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆39Updated 3 years ago
- ☆74Updated 2 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 7 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆32Updated 5 years ago
- ☆50Updated 5 years ago
- ☆68Updated 4 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆55Updated 2 years ago
- This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…☆75Updated last year
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆25Updated 5 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Updated 2 years ago
- Recent Paper About Bug Detection☆32Updated 6 years ago
- tool of llm-based indirect-call analyzer☆31Updated 11 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆78Updated 6 months ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 5 years ago
- Source Code Vulnerability Detection Tools（SCVDT）provides a vulnerable code database, vulnerability detection service for Java and C/C++ p…☆118Updated 4 years ago
- ☆91Updated 2 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆48Updated 2 years ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆187Updated 3 months ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆41Updated 2 months ago
- ☆43Updated 3 years ago
- EcoFuzz-An adaptive energy-saving greybox fuzzer☆54Updated 5 years ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆102Updated 2 years ago
- TensorFlow API analysis tool and malicious model detection tool☆39Updated 8 months ago
- Datasets of the paper: Detecting "0-Day" Vulnerability: An Empirical Study of Secret Security Patch in OSS☆19Updated 6 years ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆36Updated 4 years ago
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆160Updated 3 months ago
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆103Updated 2 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆40Updated 2 years ago
- cinspector - a static C source code analysis framework☆29Updated last year