Efficient and Precise Points-to Analysis：Modeling the Heap by Merging Equivalent Automata

● Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata Tian Tan,Yue Li and Jingling Xue PLDI 2017 UNSW June,2017 SYDNEY

Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata Tian Tan, Yue Li and Jingling Xue PLDI 2017 June, 2017 1

A New Points-to Analysis Technique for Object-Oriented Programs 2

A New Points-to Analysis Technique for Object-Oriented Programs 2

Points-to Analysis ●Determines 。“which objects a variable can point to, 3

Points-to Analysis  Determines ◦ “which objects a variable can point to?” 3

Uses of Points-to Analysis Clients Tools ●Security analysis Bug detection Soot DroidSafe Compiler optimization Program verification ①OOP专Chord Program understanding WALA T.3.WATSON UBRARIES FOR ANALYSIS ●0● 4

Uses of Points-to Analysis Clients Tools  Security analysis  Bug detection  Compiler optimization  Program verification  Program understanding  … Chord 4 …

Uses of Points-to Analysis Clients Tools ●Security analysis ·Bug detection Soot DroidSafe Compiler optimization Program verification ①OOP专Chord Program understanding WALA T.3.WATSON UBRARIES FOR ANALYSIS ●0● Call Graph 5

Uses of Points-to Analysis Clients Tools  Security analysis  Bug detection  Compiler optimization  Program verification  Program understanding  … Chord 5 … Call Graph