|
![]() ![]() ![]() ![]() ![]() |
![]() | 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 - 2003 Andreas Borchert, in HTML konvertiert am 01.10.2003 |