Analyzing test/compoundinit1.c
File test/compoundinit1.c:
main: fun (void) -> int
ip: ptr (ptr ($tainted int))
x: ptr (int)
xp: ptr (ptr ($tainted int))
y: ptr ($tainted int)
f: ptr (struct foo)
ip: ptr (ptr ($tainted int))
x2: ptr (int)
xp2: ptr (ptr ($tainted int))
y2: ptr ($tainted int)
f2: ptr (struct foo2)
ip: ptr (ptr ($tainted int))
xB: $nonconst ptr (int)
xpB: $nonconst ptr (ptr ($tainted int))
yB: $nonconst ptr ($tainted int)
fB: $nonconst ptr (struct fooB)
fB: $nonconst ptr (struct fooB)
ip: ptr (ptr ($tainted int))
x2B: $nonconst ptr (int)
xp2B: $nonconst ptr (ptr ($tainted int))
y2B: $nonconst ptr ($tainted int)
f2B: $nonconst ptr (struct foo2B)
f2B: $nonconst ptr (struct foo2B)
ip: ptr (ptr ($tainted int))
x3: ptr (int)
y3: ptr ($tainted int)
x4: ptr ($tainted int)
y4: ptr (int)
f3: ptr (struct foo3)
z: array ($tainted int)
f4: ptr (struct foo4)
g: ptr (struct gronk)
x3b: ptr (int)
y3b: ptr ($tainted int)
x4b: ptr ($tainted int)
y4b: ptr (int)
f3b: ptr (struct foo3b)
zb: array ($tainted int)
f4b: ptr (struct foo4b)
gb: ptr (struct gronkb)
x3c: ptr (int)
y3c: ptr ($tainted int)
x4c: ptr ($tainted int)
y4c: ptr (int)
f3c: ptr (struct foo3c)
zc: array ($tainted int)
f4c: ptr (struct foo4c)
gc: ptr (struct gronkc)
xd: ptr (int)
yd: array ($tainted int)
f10d: ptr (struct foo10d)
xe: ptr (int)
ye: array ($tainted int)
ze: ptr (int)
z2e: ptr ($tainted int)
f10e: ptr (struct foo10e)

