In der Informatik , insbesondere im Compilerbau , ist die Wertebereichsanalyse eine Art Datenflussanalyse , die den Wertebereich (das Intervall) verfolgt, den eine numerische Variable zu jedem Zeitpunkt der Programmausführung annehmen kann. [ 1 ] Die gewonnenen Informationen können für Optimierungen wie Redundanzeliminierung, Entfernung von totem Code , Befehlsauswahl usw. verwendet werden, aber auch zur Verbesserung der Programmsicherheit, z. B. durch die Erkennung von Pufferüberläufen . [ 2 ] Techniken zur Wertebereichsanalyse nutzen typischerweise die symbolische Analyse umfassend. [ 3 ]
Die Wertebereichsanalyse wird häufig im Intel C++ Compiler implementiert und ist in GCC implementiert . [ 4 ]
Referenzen
- ^ Harrison, William H. (1977). „Compileranalyse der Wertebereiche von Variablen“. IEEE Transactions on Software Engineering . 3 (3): 243–250 . doi : 10.1109/TSE.1977.231133 . S2CID 17018610 .
- ^ Wagner, D.; Foster, JS; Brewer, EA; Aiken, A. (2000). Ein erster Schritt zur automatisierten Erkennung von Pufferüberlauf-Schwachstellen . NDSS.
- ^ Birch, Johnnie; van Engelen, Robert; Gallivan, Kyle. "Wertbereichsanalyse bedingt aktualisierter Variablen und Zeiger" (PDF) .
- ^ MacLeod, Andrew (28. April 2021). "Wertbereichsfortpflanzung in GCC mit Project Ranger" .
