A Static Bug Detector for Uninitialized Field References in Java Programs