Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference
Fuente:
arXiv
Saved in:
| Main Authors: | Wang, Chong, Liu, Jianan, Peng, Xin, Liu, Yang, Lou, Yiling |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
by: Liu, Junwei, et al.
Published: (2024)
by: Liu, Junwei, et al.
Published: (2024)
Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis
by: Du, Xueying, et al.
Published: (2025)
by: Du, Xueying, et al.
Published: (2025)
TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
by: Wang, Chong, et al.
Published: (2024)
by: Wang, Chong, et al.
Published: (2024)
EvoDev: An Iterative Feature-Driven Framework for End-to-End Software Development with LLM-based Agents
by: Liu, Junwei, et al.
Published: (2025)
by: Liu, Junwei, et al.
Published: (2025)
Automated Repair of Resource Leaks in Android Applications
by: Bhatt, Bhargav Nagaraja, et al.
Published: (2020)
by: Bhatt, Bhargav Nagaraja, et al.
Published: (2020)
Reducing False Positives in Static Bug Detection with LLMs: An Empirical Study in Industry
by: Du, Xueying, et al.
Published: (2026)
by: Du, Xueying, et al.
Published: (2026)
Repairing Leaks in Resource Wrappers
by: Malakar, Sanjay, et al.
Published: (2025)
by: Malakar, Sanjay, et al.
Published: (2025)
Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG
by: Du, Xueying, et al.
Published: (2024)
by: Du, Xueying, et al.
Published: (2024)
TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment
by: Yuan, Zhiqiang, et al.
Published: (2024)
by: Yuan, Zhiqiang, et al.
Published: (2024)
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
by: Yuan, Zhiqiang, et al.
Published: (2025)
by: Yuan, Zhiqiang, et al.
Published: (2025)
Extracting Conceptual Knowledge to Locate Software Issues
by: Wang, Ying, et al.
Published: (2025)
by: Wang, Ying, et al.
Published: (2025)
Probing Privacy Leaks in LLM-based Code Generation via Test Generation
by: Ge, Yifei, et al.
Published: (2026)
by: Ge, Yifei, et al.
Published: (2026)
No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
by: Yuan, Zhiqiang, et al.
Published: (2023)
by: Yuan, Zhiqiang, et al.
Published: (2023)
LAMeD: LLM-generated Annotations for Memory Leak Detection
by: Shemetova, Ekaterina, et al.
Published: (2025)
by: Shemetova, Ekaterina, et al.
Published: (2025)
Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
by: Huang, Huihui, et al.
Published: (2026)
by: Huang, Huihui, et al.
Published: (2026)
AgentFL: Scaling LLM-based Fault Localization to Project-Level Context
by: Qin, Yihao, et al.
Published: (2024)
by: Qin, Yihao, et al.
Published: (2024)
LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-based Code Completion
by: Wang, Chong, et al.
Published: (2024)
by: Wang, Chong, et al.
Published: (2024)
From Code Smells to Best Practices: Tackling Resource Leaks in PyTorch, TensorFlow, and Keras
by: Abdallah, Bashar, et al.
Published: (2025)
by: Abdallah, Bashar, et al.
Published: (2025)
Code Copycat Conundrum: Demystifying Repetition in LLM-based Code Generation
by: Liu, Mingwei, et al.
Published: (2025)
by: Liu, Mingwei, et al.
Published: (2025)
SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
by: Chang, Jianming, et al.
Published: (2025)
by: Chang, Jianming, et al.
Published: (2025)
LeakGuard: Detecting Memory Leaks Accurately and Scalably
by: Liang, Hongliang, et al.
Published: (2025)
by: Liang, Hongliang, et al.
Published: (2025)
Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
by: Wu, Hao, et al.
Published: (2025)
by: Wu, Hao, et al.
Published: (2025)
Code Change Intention, Development Artifact and History Vulnerability: Putting Them Together for Vulnerability Fix Detection by LLM
by: Yang, Xu, et al.
Published: (2025)
by: Yang, Xu, et al.
Published: (2025)
Boosting Pointer Analysis With LLM-Enhanced Allocation Function Detection
by: Cheng, Baijun, et al.
Published: (2025)
by: Cheng, Baijun, et al.
Published: (2025)
Taming System Complexity: Demystifying Software Engineering Agents in Diagnosing Linux Kernel Faults
by: Zhou, Zhenhao, et al.
Published: (2025)
by: Zhou, Zhenhao, et al.
Published: (2025)
Faver: Boosting LLM-based RTL Generation with Function Abstracted Verifiable Middleware
by: Mu, Jianan, et al.
Published: (2025)
by: Mu, Jianan, et al.
Published: (2025)
Large Language Model-Based Agents for Software Engineering: A Survey
by: Liu, Junwei, et al.
Published: (2024)
by: Liu, Junwei, et al.
Published: (2024)
Hallucination Detection for LLM-based Text-to-SQL Generation via Two-Stage Metamorphic Testing
by: Yang, Bo, et al.
Published: (2025)
by: Yang, Bo, et al.
Published: (2025)
Code Digital Twin: Empowering LLMs with Tacit Knowledge for Complex Software Development
by: Peng, Xin, et al.
Published: (2025)
by: Peng, Xin, et al.
Published: (2025)
Code Digital Twin: A Knowledge Infrastructure for AI-Assisted Complex Software Development
by: Peng, Xin, et al.
Published: (2025)
by: Peng, Xin, et al.
Published: (2025)
Exploring Large Language Models in Resolving Environment-Related Crash Bugs: Localizing and Repairing
by: Du, Xueying, et al.
Published: (2023)
by: Du, Xueying, et al.
Published: (2023)
Knowledge-Graph-Driven Data Synthesis for Low-Resource Software Development: A HarmonyOS Case Study
by: Liu, Mingwei, et al.
Published: (2025)
by: Liu, Mingwei, et al.
Published: (2025)
From UI to Code: Mobile Ads Detection via LLM-Unified Static-Dynamic Analysis
by: Ma, Shang, et al.
Published: (2026)
by: Ma, Shang, et al.
Published: (2026)
CodeChemist: Functional Knowledge Transfer for Low-Resource Code Generation via Test-Time Scaling
by: Wang, Kaixin, et al.
Published: (2025)
by: Wang, Kaixin, et al.
Published: (2025)
Debug Like a Human: Scaling LLM-based Fault Localization to Processor Design via Block-Level Instruction-Oriented Slicing
by: Liu, Zizhen, et al.
Published: (2026)
by: Liu, Zizhen, et al.
Published: (2026)
LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
by: Zhang, Ke, et al.
Published: (2025)
by: Zhang, Ke, et al.
Published: (2025)
RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
by: Liang, Linxi, et al.
Published: (2025)
by: Liang, Linxi, et al.
Published: (2025)
Ensemble Fuzzing with Dynamic Resource Scheduling and Multidimensional Seed Evaluation
by: Zhao, Yukai, et al.
Published: (2025)
by: Zhao, Yukai, et al.
Published: (2025)
EET: Experience-Driven Early Termination for Cost-Efficient Software Engineering Agents
by: Guo, Yaoqi, et al.
Published: (2026)
by: Guo, Yaoqi, et al.
Published: (2026)
The Tyranny of Possibilities in the Design of Task-Oriented LLM Systems: A Scoping Survey
by: Dhamani, Dhruv, et al.
Published: (2023)
by: Dhamani, Dhruv, et al.
Published: (2023)
Similar Items
-
STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
by: Liu, Junwei, et al.
Published: (2024) -
Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis
by: Du, Xueying, et al.
Published: (2025) -
TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
by: Wang, Chong, et al.
Published: (2024) -
EvoDev: An Iterative Feature-Driven Framework for End-to-End Software Development with LLM-based Agents
by: Liu, Junwei, et al.
Published: (2025) -
Automated Repair of Resource Leaks in Android Applications
by: Bhatt, Bhargav Nagaraja, et al.
Published: (2020)