Lightweight and Modular Resource Leak Checking (extended Version)

Narges Shadab, Pritam Gharat, Shrey Tiwari,Michael D. Ernst,Martin Kellogg, Shuvendu K. Lahiri,Akash Lal,Manu Sridharan

International Journal on Software Tools for Technology Transfer（2025）

Cited 0|Views0

Key words

Resource leak,CodeQL,Checker framework,Static analysis

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined