|
Folgendes wird von Anfang an als kontaminiert betrachtet:
| |||||||||||||||
Eine Variable, die in Abhängigkeit einer kontaminierten
Variable gesetzt wird, wird ebenfalls kontaminiert -- selbst
wenn die Operation garantiert ungefährlich ist (z.B. weil
der ursprüngliche Wert nicht verändert wird).
| |||||||||||||||
Die Kontaminierung ist nur mit einzelnen skalaren Werten
verbunden und nicht mit größeren Datenstrukturen. So
können bei einer Liste einige Elemente kontaminiert sein,
während andere davon frei sind.
|
Copyright © 1996, 1998, 1999, 2000 Andreas Borchert, in HTML konvertiert am 07.02.2000 |