lclint

0.01 sec.

(tool, programming)

lclint - A lint-like ANSI C source checker from MIT. If formal specifications are supplied (in a separate file), lclint can do more powerful checking to detect inconsistencies between specifications and code. Adding specifications enables further checking, types can be defined as abstract and lclint can detect inconsistent use of global variables; undocumented modification of client-visible state; inconsistent use of an uninitialised formal parameter; or failure to initialise an actual parameter.

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

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			LBS LBX LC LC connector LC filter LC ratio LC shutter glasses LC50 LCA LCAO LCC LCD LCD example LCD monitor LCD panel LCD printer LCD projector LCD subpixels LCD TV LCD types LCD vs. plasma LCDS LCF Lchashen LCL lclint lcm LCoS LCP LCS LCY LD LD50 LDA LDA localizer LDAP LDB LDG LDH LDL LDL1 LDM LDP LDPE LDT Le Le Bel, Joseph Achille Le Bon, Gustave Le Bourget Le Brun, Charles Le Cap			LCJSP LCJVS Lck LCKC LCKF LCKI LCKS LCKZ LCL LCL LCL LCL LCL bodies LCL injury LCLA LCLAA LCLB LCLC LCLCBA LCLCPL LCLCPLS LCLE LCLF LCLFC LCLG LCLGRPB LCLH lclint LCLL LCLM LCLO LCLOC LCLP LCLR LCLRA LCLS LCLSC LCLSP LCLT LCLTFB LCLU LCLUC LCLV LCLW lcm lcm lcm lcm LCM virus LCM virus LCM virus LCM(8) LCM-8 LCMA LCMAC LCMARC LCMAS

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.