Uninitialized variables: improved checking of c++ code