Experience with LCLint

• Reliable and efficient

  • Runs at compiler speed

• Used on both new and legacy code

  • 1,000-200,000 line programs
  • Over 500 users have sent e-mail to MIT

• Tested with varying amounts of specification

  • Lots to almost none
  • LCLint approximates missing specifications

• Results encouraging

Previous slide

Next slide

Back to first slide

View graphic version