Bauhaus Demo

Resolve Pointers

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

Data may be manipulated and functions may be called through pointers. When you want to understand a program, you need to know the potential targets of pointers.

Bauhaus lets you resolve the pointers statically through an automatic analysis.

Last modified: Wed Aug 27 09:07:06 MET DST 2003