anirudhkhatry / CRUST-benchLinks
Datasets and code for the CRUST-bench paper.
☆24Updated 2 weeks ago
Alternatives and similar repositories for CRUST-bench
Users that are interested in CRUST-bench are comparing it to the libraries listed below
Sorting:
- ☆20Updated 4 months ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 8 months ago
- ☆56Updated 2 years ago
- ☆152Updated last year
- A fully automated Rust fuzz driver generator☆56Updated 2 months ago
- Rust Analysis Platform☆106Updated last week
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆65Updated 3 weeks ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆79Updated 2 years ago
- Source Code for "Exploring and Unleashing the Power of Large Language Models in Automated Code Translation"☆23Updated last month
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆31Updated last year
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆80Updated 2 months ago
- ☆32Updated 4 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆11Updated last year
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆55Updated last year
- Concurrent-C to Rust Automatic Translator☆15Updated 2 years ago
- Automatic checker synthesis for system-level static analysis☆31Updated this week
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆525Updated this week
- Collect simple coverage information in memory.☆11Updated 2 years ago
- A Pointer Analysis Framework for Rust☆52Updated 2 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 5 months ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39Updated 2 years ago
- ☆45Updated this week
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆144Updated 2 months ago
- A curated list of awesome Rust checkers☆44Updated 4 months ago
- 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 5 months ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆75Updated last year
- Ownership analysis that helps translating C to Rust☆28Updated this week
- List of research papers of ICSE, FSE, ASE, and ISSTA since 2020.☆23Updated this week
- A framework for large scale analysis of the Rust ecosystem.☆38Updated 2 weeks ago