There is a lot going on under the syntactic surface of a program. For instance, what is the value of variable x in the last line of this code fragment:
a = 5; b = 10; *p = 0; x = a+b;The answer is: "it depends":
|15||if p points neither to a nor b|
|5||if p points to b|
|10||if p points to a|
Bauhaus lets you resolve the pointers statically through an automatic analysis.
Last modified: Wed Aug 27 09:07:06 MET DST 2003