Lightweight and modular resource leak verification-Reference-Cited by-同舟云学术

Lightweight and modular resource leak verification

Published:2021-08-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Kellogg Martin¹,Shadab Narges²,Sridharan Manu²,Ernst Michael D.¹

Affiliation:

1. University of Washington, USA

2. University of California at Riverside, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3468264.3468576

Reference39 articles.

1. Typestate-oriented programming. In OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications. Orlando;Aldrich Jonathan;FL, USA,2009

2. Do Memories Haunt You? An Automated Black Box Testing Approach for Detecting Memory Leaks in Android Apps

3. Modular typestate checking of aliased objects

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing;Proceedings of the ACM on Software Engineering;2024-07-12

2. Effectiveness of ChatGPT for Static Analysis: How Far Are We?;Proceedings of the 1st ACM International Conference on AI-Powered Software;2024-07-10

3. Mining Resource-Operation Knowledge to Support Resource Leak Detection;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. From Leaks to Fixes: Automated Repairs for Resource Leak Warnings;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

5. On the Relationship between Code Verifiability and Understandability;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30