123456789101112131415161718 |
- .TL
- Lint, a C Program Checker
- .AU
- Frans Kunst
- .AI
- Vrije Universiteit
- Amsterdam
- .AB
- This document describes an implementation of a program which
- does an extensive consistency and plausibility check on a set
- of C program files.
- This may lead to warnings which help the programmer to debug
- the program, to remove useless code and to improve his style.
- The program has been used to test itself and has found
- bugs in sources of some heavily used code.
- .AE
- .LP
- .bp
|