Static Analysis - Palsberg, Jens; Kanade, Takeo; Su, Zhendong; Kittler, Josef (Springer Berlin Heidelberg, 2009)