Modular static analysis for object-oriented programs

Aivar Annamaa

Slides from the talk [pdf]

Abstract: Among the most popular features of modern IDE-s are different kinds of "live" program analysis, running continuously in the background while programmer is editing the code, giving fast feedback about possible errors. In such situation, the performance requirements for analysis procedure are much higher than in traditional "batch mode" setup. Live analysis could be faster, if it were modular -- ie. if after each code modification, only respective part of the program (eg. method or module) needed re-analyzing. This talk describes some common problems in modular static analysis for object-oriented programs and reviews some solutions proposed in recent literature.

Main references:

Varmo Vene
Last update 23 February 2010