Object-Sensitivity Widely used in diverse real-world clients Property Verification (e.g.,APl protocol) ISSTA'06,TOSEM'08,PLDI'14,FSE'15,.. Bug Detection (e.g.,data race,deadlock) PLDI'06,ICSE'09,ISSTA'13,OOPSLA'15,.. Security Analysis (e.g.,taint analysis) PLDI'09,IEEE S&P'II,FSE'14,NDSS'15,FSE'15,.. Other Fundamental Analyses (e.g.,slicing) o PLDI'07,PLDI'14,ICSE'14,ECOOP'16,.. 9Object-Sensitivity  Widely used in diverse real-world clients ◦ Property Verification (e.g., API protocol) ISSTA’06, TOSEM’08, PLDI’14, FSE’15, … ◦ Bug Detection (e.g., data race, deadlock) PLDI’06, ICSE’09, ISSTA’13, OOPSLA’15, … ◦ Security Analysis (e.g., taint analysis) PLDI’09, IEEE S&P’11, FSE’14, NDSS’15, FSE’15, … ◦ Other Fundamental Analyses (e.g., slicing) PLDI’07, PLDI’14, ICSE’14, ECOOP’16, … 9