Two Mainstreams of Points-to Analysis Techniques 。Model control-flow Context-sensitivity Call-site-sensitivity (PLDI'04,PLDI'06) Object-sensitivity (ISSTA'02,TOSEM'05,SAS'16) Type-sensitivity(POPL'I I) ●Model data-flow 11Two Mainstreams of Points-to Analysis Techniques  Model control-flow ◦ Context-sensitivity  Call-site-sensitivity (PLDI’04, PLDI’06)  Object-sensitivity (ISSTA’02, TOSEM’05, SAS’16)  Type-sensitivity (POPL’11)  …  Model data-flow 11