fish98 / CRS_Bugs
Bugs in Pods: Understanding Bugs in Container Runtime Systems (ISSTA 2024)
☆16Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for CRS_Bugs
- ☆74Updated last year
- ☆70Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆42Updated last month
- ☆10Updated 2 months ago
- ☆11Updated last year
- To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.☆30Updated 9 months ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆73Updated 2 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- The source code of project "LLift" (Enhancing static analysis with LLM)☆51Updated 8 months ago
- For our paper DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions (ISSTA'22)☆33Updated 2 years ago
- This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs (#158)” in ICSE2022☆11Updated last year
- ☆27Updated 2 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated 11 months ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 5 months ago
- A GPT-Based Fuzz Driver Generator☆46Updated 11 months ago
- ☆11Updated 9 months ago
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆37Updated this week
- Two-Level Collaborative Fuzzing for Python Runtimes☆15Updated 11 months ago
- ☆22Updated last month
- Bilingual Resume Template in Latex. 中英双语Latex简历模板☆11Updated 5 months ago
- EaTVul: ChatGPT-based Evasion Attack Against Software Vulnerability Detection☆10Updated last month
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆41Updated last year
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆54Updated last year
- ☆24Updated 9 months ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆29Updated last year
- ☆29Updated 3 months ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆13Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆28Updated last year
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆75Updated 10 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…☆17Updated 2 months ago