Check that critical variables are initialized.
Use a static analysis tool to spot non-initialized variables.