Splint - Secure Programming Lint
Download - Documentation - Manual - Links Sponsors - Credits

Final Version

Changes from Strict Library

Differences

Fixed errors reported using strict library.

Now, running LCLint detects no anomalies.

Modules

Summary

We've just about reached the limit of what can be done usefully with LCLint 2.0. In the course of checking, we have discovered a number of bugs in the code, enhanced missing or incomplete specifications, improved the documentation by adding annotations, adopted a naming convention, and checked the code against a stricted version of the standard library.

Although this is a toy example, it closely mirrors how LCLint has been used to find real problems in large programs.

If we are still unsatisfied with the trustworthiness of the code, we could:

Return to Summary

Splint - Secure Programming Lint evans@virginia.edu
Download - Documentation - Manual - Links
Source - Linux - Publications - Talks
Reporting Bugs    Sponsors - Credits