Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting Tian Tan,Yue Li and Jingling Xue SAS 2016 UNSW September,2016 ALSTRA
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting Tian Tan, Yue Li and Jingling Xue SAS 2016 September, 2016 1
A New Pointer Analysis for Object-Oriented Programs 2
A New Pointer Analysis for Object-Oriented Programs 2
Pointer Analysis Determine "which objects can a variable point to?" Foundation of many clients: Bug detection Security analysis Compiler optimization o Program understanding 3
Pointer Analysis Determine “which objects can a variable point to?” Foundation of many clients: ◦ Bug detection ◦ Security analysis ◦ Compiler optimization ◦ Program understanding ◦ … 3
Object-Oriented Programs ●Java,C#,Object--C,JavaScript,,.… Embedded software: You Mobile application: o Web server: Apache Tomcat® redhat JBoss Web Server Desktop application: eeclipse© OpenOffice" 4
Object-Oriented Programs Java, C#, Object-C, JavaScript, … ◦ Embedded software: ◦ Mobile application: ◦ Web server: ◦ Desktop application: 4
A Practically Useful Pointer Analysis for Object-Oriented Programs 5
A Practically Useful Pointer Analysis for Object-Oriented Programs 5