Most changes to large systems that have been deployed are quite small compared to the size of the entire system. While standard summary-based analyses reduce the code that is reanalysed, they, nevertheless, analyse code that is not changed. For example, a backward summary-based analysis, will examine all the callers of the changed code even if the callers themselves have not changed. In this paper we present a novel approach of having summaries of the callers (called forward summaries) that enables one to analyse only the changed code. An evaluation of this approach on two representative examples, demonstrates that the overheads associated with the generation of the forward summaries is recovered by performing just one or two incremental analyses. Thus this technique can be used at commit-time where only the changed code is available.

Sat 22 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

09:15 - 11:00: SOAP - Performance and Optimizations for Program Analysis Tools at 106A
Chair(s): Neville GrechUniversity of Athens
SOAP-2019-papers09:15 - 09:35
SOAP-2019-papers09:35 - 09:55
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Richard LeerHeinz Nixdorf Institut, Paderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached
SOAP-2019-papers09:55 - 10:15
Lawton Nichols, Mehmet EmreUniversity of California, Santa Barbara, Ben HardekopfUC Santa Barbara
SOAP-2019-papers10:15 - 11:35
SOAP-2019-papers10:35 - 11:00