usr/local/bin/splint
usr/local/share/splint/imports/assert.lcl
usr/local/share/splint/imports/assert.lcs
usr/local/share/splint/imports/ctype.lcl
usr/local/share/splint/imports/ctype.lcs
usr/local/share/splint/imports/errno.lcl
usr/local/share/splint/imports/errno.lcs
usr/local/share/splint/imports/limits.lcl
usr/local/share/splint/imports/limits.lcs
usr/local/share/splint/imports/locale.lcl
usr/local/share/splint/imports/locale.lcs
usr/local/share/splint/imports/math.lcl
usr/local/share/splint/imports/math.lcs
usr/local/share/splint/imports/setjmp.lcl
usr/local/share/splint/imports/setjmp.lcs
usr/local/share/splint/imports/signal.lcl
usr/local/share/splint/imports/signal.lcs
usr/local/share/splint/imports/stdarg.lcl
usr/local/share/splint/imports/stdarg.lcs
usr/local/share/splint/imports/stdio.lcl
usr/local/share/splint/imports/stdio.lcs
usr/local/share/splint/imports/stdlib.lcl
usr/local/share/splint/imports/stdlib.lcs
usr/local/share/splint/imports/string.lcl
usr/local/share/splint/imports/string.lcs
usr/local/share/splint/imports/strings.lcl
usr/local/share/splint/imports/strings.lcs
usr/local/share/splint/imports/time.lcl
usr/local/share/splint/imports/time.lcs
usr/local/share/splint/lib/CTrait.syms
usr/local/share/splint/lib/CTraitGen.lcl
usr/local/share/splint/lib/bool.h
usr/local/share/splint/lib/file.mts
usr/local/share/splint/lib/file.xh
usr/local/share/splint/lib/filerw.mts
usr/local/share/splint/lib/filerw.xh
usr/local/share/splint/lib/lclinit.lci
usr/local/share/splint/lib/linux.h
usr/local/share/splint/lib/lslinit.lsi
usr/local/share/splint/lib/posix.h
usr/local/share/splint/lib/posix.lcd
usr/local/share/splint/lib/posixstrict.lcd
usr/local/share/splint/lib/standard.h
usr/local/share/splint/lib/standard.lcd
usr/local/share/splint/lib/standardstrict.lcd
usr/local/share/splint/lib/stdio.h
usr/local/share/splint/lib/stdlib.h
usr/local/share/splint/lib/tainted.mts
usr/local/share/splint/lib/tainted.xh
usr/local/share/splint/lib/unix.h
usr/local/share/splint/lib/unix.lcd
usr/local/share/splint/lib/unixstrict.lcd