splint-3.1.1
............\bin
............\...\splint.exe
............\README
............\install.html
............\lib
............\...\Makefile.am
............\...\Makefile.in
............\...\standard.h
............\...\standard.lcd
............\...\standardstrict.lcd
............\...\posix.h
............\...\posix.lcd
............\...\posixstrict.lcd
............\...\unix.h
............\...\unix.lcd
............\...\unixstrict.lcd
............\...\CTrait.syms
............\...\CTraitGen.lcl
............\...\bool.h
............\...\file.mts
............\...\file.xh
............\...\filerw.mts
............\...\filerw.xh
............\...\lclinit.lci
............\...\linux.h
............\...\lslinit.lsi
............\...\tainted.mts
............\...\tainted.xh
............\...\stdio.h
............\...\stdlib.h
............\imports
............\.......\Makefile.am
............\.......\Makefile.in
............\.......\assert.lcl
............\.......\assert.lcs
............\.......\ctype.lcl
............\.......\ctype.lcs
............\.......\errno.lcl
............\.......\errno.lcs
............\.......\limits.lcl
............\.......\limits.lcs
............\.......\locale.lcl
............\.......\locale.lcs
............\.......\math.lcl
............\.......\math.lcs
............\.......\setjmp.lcl
............\.......\setjmp.lcs
............\.......\signal.lcl
............\.......\signal.lcs
............\.......\stdarg.lcl
............\.......\stdarg.lcs
............\.......\stdio.lcl
............\.......\stdio.lcs
............\.......\stdlib.lcl
............\.......\stdlib.lcs
............\.......\string.lcl
............\.......\string.lcs
............\.......\strings.lcl
............\.......\strings.lcs
............\.......\time.lcl
............\.......\time.lcs
............\doc
............\...\html
............\...\....\manual.htm
............\...\....\footer.html
............\...\....\header.html
............\...\splint.1
............\...\manual.pdf
............\...\manual.css
............\win32
............\.....\Splint.dsp
............\.....\SPLINT.DSW
............\README-win32