Using uninitialized variables may cause runtime failures. Uses of uninitialized variables are hard to detect because you need to check all paths to a use of a variable as to whether there is a definition to this variable.
The Bauhaus toolkit offers a tool to detect potentially uninitialized variables. Unlike compilers, the tool performs a global analysis, taking into account pointers and function calls. It even tracks uninitialized record components.
An analyst can focus on these findings and does not need to analyze the whole program.
Last modified: Wed Aug 27 11:54:09 MET DST 2003