Lint, a C program checker - Johnson, Stephen C. (Computing science technical report, 1977)