anirudhkhatry / CRUST-benchLinks
Datasets and code for the CRUST-bench paper.
☆33Updated last month
Alternatives and similar repositories for CRUST-bench
Users that are interested in CRUST-bench are comparing it to the libraries listed below
Sorting:
- ☆31Updated 8 months ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆30Updated last year
- A fully automated Rust fuzz driver generator☆61Updated 7 months ago
- Source Code for "Exploring and Unleashing the Power of Large Language Models in Automated Code Translation"☆25Updated 6 months ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆84Updated 2 months ago
- List of research papers of ICSE, FSE, ASE, and ISSTA since 2020.☆32Updated 3 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆74Updated 5 months ago
- ☆162Updated last year
- ✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug☆73Updated last year
- ☆73Updated this week
- ☆62Updated 2 years ago
- A DL compiler fuzzer☆13Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆82Updated 3 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆210Updated 10 months ago
- A Pointer Analysis Framework for Rust☆63Updated 7 months ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆45Updated 6 months 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
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39Updated 2 years ago
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆17Updated 2 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆54Updated 2 years ago
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆587Updated last week
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆33Updated 10 months ago
- A Systematic Literature Review on Large Language Models for Automated Program Repair☆222Updated 2 weeks ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆82Updated last year
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆179Updated 2 months ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆32Updated 2 years ago
- ☆20Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆32Updated 2 years ago
- ☆37Updated 7 months ago
- CrashTuner(SOSP2019)☆30Updated 6 years ago