If C Were Better...

• Would LCLint still help?

• Yes, because specifications

  • contain information not in code
  • contain information that is hard to infer from code
  • are usable with legacy code, existing compilers
  • can be written faster than languages can be changed
  • are important even with better languages

Previous slide

Next slide

Back to first slide

View graphic version