Static analysis goals Bug finding Correctness
{"Image DocumentName": "Static analysis goals Bug finding Correctness", "Image ImageDescription": "Identify code that the programmer wishes to modify or improve. Correctness. Verify the absence of certain classes of errors.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}