Prev Up Next

Bauhaus computes program slices for you completely automatically. It conducts a deep analysis of the program taking into account all side effects through function calls and pointers.

The following screenshot shows a backward slice for variable sum in line 23. Note that the assignments in 18 and 19 are not part of the slice. Note also that not every statement in function sum_fac is necessary to compute the value.