https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=DatenflussanalyseDatenflussanalyse - Versionsgeschichte2026-05-26T10:02:21ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Datenflussanalyse&diff=1956339&oldid=previmported>Invisigoth67: form2024-04-21T07:51:48Z<p>form</p>
<p><b>Neue Seite</b></p><div>Eine '''Datenflussanalyse''' ist eine [[statische Code-Analyse]] eines [[Computerprogramm]]s, die untersucht, zwischen welchen Teilen eines Programms [[Daten]] weitergegeben werden und welche [[Datenabhängigkeit|Abhängigkeiten]] daraus resultieren. Ziele solcher Analysen sind Optimierungen des Codes hinsichtlich der [[Ausführungszeit]] (durch Löschen überflüssigen Codes, Restrukturierung oder Parallelisierung) und der Speichernutzung.<br />
<br />
Datenflussanalysen werden in folgende Arten unterteilt:<br />
* Vorwärtsanalysen, bei denen der Programmcode mit Hilfe des [[Kontrollflussgraph]]en untersucht wird und<br />
* Rückwärtsanalysen, bei denen der Programmcode mit Hilfe des umgekehrten [[Kontrollflussgraph]]en untersucht wird.<br />
<br />
== Grundprinzip ==<br />
[[Datei:DatenflussDurchBlock.png|mini|Gesamte Information, bevor und nachdem ein Block durchlaufen wurde]]<br />
<br />
Datenflussanalysen arbeiten meist auf dem Kontrollflussgraphen, dessen Knoten sog. Blöcke bilden, manche auch auf dem [[Dominanzrelation (Kontrollflussgraph)|Dominator-Baum]]. Diese Blöcke enthalten eine oder mehrere Anweisungen. Datenflussanalysen untersuchen, wie sich Daten durch einen Block verändern. Enthält ein Block beispielsweise den Code x:=5, so verändern sich die Daten des Programms so, dass die Variable x nach dem Durchlaufen dieses Blocks den Wert 5 enthält, unabhängig davon, welchen bzw. ob sie vorher einen Wert enthalten hat.<br />
<br />
Außerdem wird untersucht, wie sich die Daten zwischen den Blöcken verändern. Im einfachsten Fall werden sie einfach nur weitergegeben. Fließen jedoch mehrere Kontrollflüsse (respektive Kanten des Kontrollflussgraphen) zusammen (bspw. bei Schleifen), werden die Informationen aus den vorangegangenen Blöcken entweder zusammengefasst oder geschnitten. Danach unterscheidet man Analysen auch in ''must''- (bei Schnittmengen) und ''may''-Analysen (bei Vereinigungsmengen).<br />
<br />
== Siehe auch ==<br />
* [[Def-Use-Kette]]<br />
<br />
== Literatur ==<br />
* Flemming Nielson, Hanne R. Nielson, Chris Hankin: ''Principles of Program Analysis''. Springer, 1999, ISBN 3-540-65410-0, [http://www.imm.dtu.dk/~riis/PPA/ppa.html Webseite zum Buch] <br />
* Uday Khedker, Amitabha Sanyal, Bageshri Karkare: ''Data Flow Analysis: Theory and Practice''. CRC Press, ISBN 978-0849328800<br />
<br />
[[Kategorie:Programmierung]]</div>imported>Invisigoth67