Es wurden bereits verschiedenste statische Programmanalysen zum Zwecke des Software Reengineerings entwickelt. Diese Analysen mussen naturlich fur alle moglichen Falle korrekt sein. In der Praxis hat sich jedoch gezeigt, dass viele Programme bzw. Unterprogramme Eigenschaften besitzen, die man fur genauere oder schnellere Analysen ausnutzen kann. Dieses Buch beschaftigt sich mit der Ausnutzung dieser Eigenschaften und zeigt Verbesserungen fur die Dominanz-, Zeiger-, und ISSA-Analyse. Die positiven Programmeigenschaften, die dabei ausgenutzt werden, sind die Wohlstrukturiertheit des Flussgraphen, die Einhaltung des deklarierten Typsystems und das Vorhandensein von "Referenzparametern".

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.