Detects potential bugs

• Specifications enable more accurate checks, messages

• Memory management a particular problem in the C language

Previous slide

Next slide

Back to first slide

View graphic version