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
- TensorFlow API analysis tool and malicious model detection tool☆13Updated this week
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆43Updated last month
- [KDD 2024] Is Aggregation the Only Choice? Federated Learning via Layer-wise Model Recombination☆20Updated 3 weeks ago
- A GPT-Based Fuzz Driver Generator☆46Updated last year
- This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs (#158)” in ICSE2022☆11Updated 2 years ago
- ☆74Updated last year
- ☆58Updated 2 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆51Updated 8 months ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- ☆72Updated last year
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆39Updated 2 weeks ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆73Updated 2 years ago
- ☆12Updated last year
- ☆24Updated 9 months ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆85Updated 7 months ago
- ☆23Updated 2 months ago
- ☆19Updated 2 months ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 6 months ago
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)☆14Updated last year
- The source code (including datasets) of V1SCAN (USENIX Security 2023; will be uploaded).☆38Updated last year
- ☆11Updated last year
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆41Updated last year
- A tool for automatically identifying syscall-guard variables☆32Updated 3 months ago
- This repository is used to analysis the shared resources of different containers☆28Updated last month
- ☆11Updated 2 months ago
- Collect simple coverage information in memory.☆11Updated 2 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated 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…☆79Updated 11 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆9Updated 7 months ago