为了从构造的类型tainted_value映射到其他类型,并从其他基本类型映射到构造的类型tainted_value,有两个函数被构造。首先,tainted_value类型被定义为:and location = Obj of object_ | Nulland value = Fld of string | Int of int | Loc of location | Clo of closure
and tainted</em
on. char s[] = "abc"; char c = s[x]; // warn: index is taintedwarning: Value stored to 'c' during its initialization is never read
char c = s[x]; // warn: index is tainted