Lint, a C Program Checker

摘要: Lint is a command which examines C source programs, detecting number of bugs and obscurities. It enforces the type rules more strictly than com- pilers. may also be used to enforce portability restrictions involved in moving programs between different machines and/or operating systems. Another option detects wasteful, or error prone, constructions nevertheless are, speaking, legal. accepts multiple input files library specifications, checks them for consistency. The separation function lint compilers has both historical practical rationale. turn into executable rapidly efficiently. This possible part because do not sophisticated checking, especially separately compiled programs. takes global, leisurely view program, looking much carefully at compatibili- ties. document discusses use , gives an overview implementa- tion, some hints on writing machine independent code.