Static Analysis - International Static Analysis Symposium; Hankin, Chris; Kanade, Takeo; Siveroni, Igor; Kittler, Josef (Springer Berlin / Heidelberg, 2005)