Verbesserung statischer Analysen in praxisrelevanten Fällen
Versandkostenfrei!
Versandfertig in 6-10 Tagen
49,00 €
inkl. MwSt.
PAYBACK Punkte
0 °P sammeln!
Es wurden bereits verschiedenste statische Programmanalysen zum Zwecke des Software Reengineerings entwickelt. Diese Analysen müssen natürlich für alle möglichen Fälle korrekt sein. In der Praxis hat sich jedoch gezeigt, dass viele Programme bzw. Unterprogramme Eigenschaften besitzen, die man für genauere oder schnellere Analysen ausnutzen kann. Dieses Buch beschäftigt sich mit der Ausnutzung dieser Eigenschaften und zeigt Verbesserungen für die Dominanz-, Zeiger-, und ISSA-Analyse. Die positiven Programmeigenschaften, die dabei ausgenutzt werden, sind die Wohlstrukturiertheit des Flus...
Es wurden bereits verschiedenste statische Programmanalysen zum Zwecke des Software Reengineerings entwickelt. Diese Analysen müssen natürlich für alle möglichen Fälle korrekt sein. In der Praxis hat sich jedoch gezeigt, dass viele Programme bzw. Unterprogramme Eigenschaften besitzen, die man für genauere oder schnellere Analysen ausnutzen kann. Dieses Buch beschäftigt sich mit der Ausnutzung dieser Eigenschaften und zeigt Verbesserungen für 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.
Andere Kunden interessierten sich für
