lclint

(tool, programming)A lint-like ANSI C source checker fromMIT. If formal specifications are supplied (in a separatefile), lclint can do more powerful checking to detectinconsistencies between specifications and code. Addingspecifications enables further checking, types can be definedas abstract and lclint can detect inconsistent use ofglobal variables; undocumented modification ofclient-visible state; inconsistent use of an uninitialisedformal parameter; or failure to initialise an actualparameter.

http://larch-www.lcs.mit.edu:8001/larch/lclint.html.

单词	lclint
释义	lclint lclint (tool, programming)A lint-like ANSI C source checker fromMIT. If formal specifications are supplied (in a separatefile), lclint can do more powerful checking to detectinconsistencies between specifications and code. Addingspecifications enables further checking, types can be definedas abstract and lclint can detect inconsistent use ofglobal variables; undocumented modification ofclient-visible state; inconsistent use of an uninitialisedformal parameter; or failure to initialise an actualparameter. http://larch-www.lcs.mit.edu:8001/larch/lclint.html.
随便看	to snap back to snap off tosno to snub a cable to snuff out tosom to some to somebody's advantage to somebody's dying day to somebody's face to somebody's heart's content to somebody's heart's desire to somebodys heart's desire to somebody's liking to somebody's name to somebody's satisfaction to some degree slt slta sltaf sltb sltbr sltc sltcc sltcd