NASA engineer Rajeet has been asked to apply program analysi…
NASA engineer Rajeet has been asked to apply program analysis to check for null pointer exceptions in software that will control NASA’s next billion-dollar space mission, where a program with a pointer error could lead to catastrophic failure. Should Rajeet use a sound analysis, a complete analysis, or is either equally acceptable?