Thu 8 Nov 2018 13:30 - 13:52 at Studio 2 - Static Analysis Chair(s): Karim Ali

Program analyses detect errors in code but have to trade off precision, recall, and performance. However, when code changes frequently as in an IDE, repeated re-analysis from-scratch is unnecessary and leads to poor performance. Incremental program analysis promises to deliver fast feedback after a code change by deriving a new analysis result from the previous one, and prior work has shown that order-of-magnitude performance improvements are possible. However, existing frameworks for incremental program analysis only support Datalog-style relational analysis, but not lattice-based analyses that derive and aggregate lattice values. To solve this problem, we present the ILPA incremental program analysis framework that supports relational analyses and lattice-based computations. ILPA is based on a novel algorithm that enables the incremental maintenance of recursive lattice-value aggregation, which occurs when analyzing code with cyclic control flow by fixpoint iteration. To demonstrate our approach, we realized strong-update points-to analysis and string analyses for Java in ILPA and present performance measurements that demonstrate incremental analysis updates within milliseconds.

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
Static AnalysisOOPSLA at Studio 2
Chair(s): Karim Ali University of Alberta
13:30
22m
Talk
Incrementalizing Lattice-Based Program Analyses in Datalog
OOPSLA
Tamás Szabó itemis / TU Delft, Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian Erdweg TU Delft, Markus Völter independent / itemis, Germany
13:52
22m
Talk
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
OOPSLA
Minseok Jeon Korea University, South Korea, Sehun Jeong Korea University, Hakjoo Oh Korea University
14:15
22m
Talk
Precision-Guided Context Sensitivity for Pointer Analysis
OOPSLA
Yue Li Aarhus University, Denmark, Tian Tan Aarhus University, Denmark, Anders Møller Aarhus University, Yannis Smaragdakis University of Athens
14:37
22m
Talk
Refinement in object-sensitivity points-to analysis via slicing
OOPSLA
Girish Maskeri Rama Infosys Limited, Raghavan Komondoor Indian Institute of Science, Bangalore, Himanshu Sharma Indian Institute of Science, Bangalore