| Title | : | Static Analysis and Automated Repair for Resource Leak |
| Speaker | : | Akshay Utture (Ph.D. in Computer Science, UCLA) |
| Details | : | Sat, 3 Feb, 2024 10:00 AM @ Google Meet |
| Abstract: | : | Resource leaks are a common and elusive source of bugs that can result in crashes and security vulnerabilities. The most effective technique to identify such leaks during development is static analysis. However, empirical studies show that in addition to leak warnings, developers also need help in the form of automated fix suggestions to correctly repair such leaks. In this talk, I shall introduce our new tool, RLFixer, a static-analysis-based repair tool that automatically generates high-quality fixes for resource leaks identified by any resource-leak detector. We will start with a brief introduction to static analysis, then take a deep dive into the design of RLFixer, and finally, conclude with a brief discussion about the potential for applying LLMs to this resource-leak repair problem. Meeting link : meet.google.com/wwq-iwgb-vcm |
