Point your browser at http://www.sds.lcs.mit.edu/lclint/ to read or download the full documentation for lclint.