PrevPrev UpUp NextNext


Uncover Side Effects

Do you remember the hidden effects through pointers in the previous example? Here is a similar problem: Again, what is the value of variable x in the last line of this code fragment?

 a = 5;
 b = 10;
 foo ();
 x = a+b;
The same answer again: "it depends":
15 if foo does not modify a and b
? otherwise
Function calls make it difficult to understand a program: You must analyze their effects before you can make any valid statement on values of variables.

For large programs, it is very difficult to trace all the function calls and not to get lost. Bauhaus uncovers all side effects statically through an automatic analysis.

Last modified: Wed Aug 27 09:38:03 MET DST 2003