Fri 22 Jun 2018 14:00 - 14:25 at Grand Ballroom CD - Program Analysis Chair(s): Isil Dillig

When analyzing programs, large libraries pose significant challenges to static points-to analysis. A popular solution is to have a human analyst provide points-to specifications that summarize relevant behaviors of library code, which can substantially improve precision and handle missing code such as native code. We propose Atlas, a tool that automatically infers points-to specifications. Atlas synthesizes unit tests that exercise the library code, and then infers points-to specifications based on observations from these executions. Atlas automatically infers specifications for the Java standard library, and produces better results for a client static information flow analysis on a benchmark of 46 Android apps compared to using existing handwritten specifications.

Fri 22 Jun

pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Program Analysis at Grand Ballroom CD
Chair(s): Isil DilligUT Austin
pldi-2018-papers14:00 - 14:25
Talk
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
pldi-2018-papers14:25 - 14:50
Talk
Qingkai ShiHong Kong University of Science and Technology, China, Xiao XiaoSourceBrella Inc., Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Jinguo ZhouSourcebrella Inc., Gang Fan, Charles Zhang
Media Attached
pldi-2018-papers14:50 - 15:15
Talk
He ZhuGalois, Inc., Stephen Magill, Suresh JagannathanPurdue University
Media Attached
pldi-2018-papers15:15 - 15:40
Talk
Mukund RaghotamanUniversity of Pennsylvania, Sulekha KulkarniGeorgia Tech, Kihong HeoUniversity of Pennsylvania, USA, Mayur NaikUniversity of Pennsylvania
Media Attached