abstract 459 B

123456789101112131415161718
  1. .TL
  2. Lint, a C Program Checker
  3. .AU
  4. Frans Kunst
  5. .AI
  6. Vrije Universiteit
  7. Amsterdam
  8. .AB
  9. This document describes an implementation of a program which
  10. does an extensive consistency and plausibility check on a set
  11. of C program files.
  12. This may lead to warnings which help the programmer to debug
  13. the program, to remove useless code and to improve his style.
  14. The program has been used to test itself and has found
  15. bugs in sources of some heavily used code.
  16. .AE
  17. .LP
  18. .bp