Pointer Analysis Framework Optimization

Overview

Research project at the Focal Lab (UIUC), mentored by Gagandeep Singh and Yasmin Sarita, focused on optimizing pointer analysis frameworks for object-oriented programming languages.

Contributions

• Framework Optimization: Modified large code frameworks in Souffle, Java, and Groovy to improve the tradeoff between precision and scalability, successfully achieving pointer analysis beyond 2-object sensitivity
• Reinforcement Learning Integration: Introduced RL algorithms to automate analysis path decisions and memory allocation, improving the framework’s automated decision-making capabilities
• Automated Testing: Built automated data testing in Python for accuracy validation and targeted bug fixes

Tech Stack

Souffle/Datalog, Java, Groovy, Python