drwxr-xr-x	root/root	usr/
drwxr-xr-x	root/root	usr/bin/
-rwxr-xr-x	root/root	usr/bin/splint
drwxr-xr-x	root/root	usr/man/
drwxr-xr-x	root/root	usr/man/man1/
-rw-r--r--	root/root	usr/man/man1/splint.1.gz
drwxr-xr-x	root/root	usr/share/
drwxr-xr-x	root/root	usr/share/splint/
drwxr-xr-x	root/root	usr/share/splint/imports/
-rw-r--r--	root/root	usr/share/splint/imports/assert.lcl
-rw-r--r--	root/root	usr/share/splint/imports/assert.lcs
-rw-r--r--	root/root	usr/share/splint/imports/ctype.lcl
-rw-r--r--	root/root	usr/share/splint/imports/ctype.lcs
-rw-r--r--	root/root	usr/share/splint/imports/errno.lcl
-rw-r--r--	root/root	usr/share/splint/imports/errno.lcs
-rw-r--r--	root/root	usr/share/splint/imports/limits.lcl
-rw-r--r--	root/root	usr/share/splint/imports/limits.lcs
-rw-r--r--	root/root	usr/share/splint/imports/locale.lcl
-rw-r--r--	root/root	usr/share/splint/imports/locale.lcs
-rw-r--r--	root/root	usr/share/splint/imports/math.lcl
-rw-r--r--	root/root	usr/share/splint/imports/math.lcs
-rw-r--r--	root/root	usr/share/splint/imports/setjmp.lcl
-rw-r--r--	root/root	usr/share/splint/imports/setjmp.lcs
-rw-r--r--	root/root	usr/share/splint/imports/signal.lcl
-rw-r--r--	root/root	usr/share/splint/imports/signal.lcs
-rw-r--r--	root/root	usr/share/splint/imports/stdarg.lcl
-rw-r--r--	root/root	usr/share/splint/imports/stdarg.lcs
-rw-r--r--	root/root	usr/share/splint/imports/stdio.lcl
-rw-r--r--	root/root	usr/share/splint/imports/stdio.lcs
-rw-r--r--	root/root	usr/share/splint/imports/stdlib.lcl
-rw-r--r--	root/root	usr/share/splint/imports/stdlib.lcs
-rw-r--r--	root/root	usr/share/splint/imports/string.lcl
-rw-r--r--	root/root	usr/share/splint/imports/string.lcs
-rw-r--r--	root/root	usr/share/splint/imports/strings.lcl
-rw-r--r--	root/root	usr/share/splint/imports/strings.lcs
-rw-r--r--	root/root	usr/share/splint/imports/time.lcl
-rw-r--r--	root/root	usr/share/splint/imports/time.lcs
drwxr-xr-x	root/root	usr/share/splint/lib/
-rw-r--r--	root/root	usr/share/splint/lib/CTrait.syms
-rw-r--r--	root/root	usr/share/splint/lib/CTraitGen.lcl
-rw-r--r--	root/root	usr/share/splint/lib/bool.h
-rw-r--r--	root/root	usr/share/splint/lib/file.mts
-rw-r--r--	root/root	usr/share/splint/lib/file.xh
-rw-r--r--	root/root	usr/share/splint/lib/filerw.mts
-rw-r--r--	root/root	usr/share/splint/lib/filerw.xh
-rw-r--r--	root/root	usr/share/splint/lib/lclinit.lci
-rw-r--r--	root/root	usr/share/splint/lib/linux.h
-rw-r--r--	root/root	usr/share/splint/lib/lslinit.lsi
-rw-r--r--	root/root	usr/share/splint/lib/posix.h
-rw-r--r--	root/root	usr/share/splint/lib/posix.lcd
-rw-r--r--	root/root	usr/share/splint/lib/posixstrict.lcd
-rw-r--r--	root/root	usr/share/splint/lib/standard.h
-rw-r--r--	root/root	usr/share/splint/lib/standard.lcd
-rw-r--r--	root/root	usr/share/splint/lib/standardstrict.lcd
-rw-r--r--	root/root	usr/share/splint/lib/stdio.h
-rw-r--r--	root/root	usr/share/splint/lib/stdlib.h
-rw-r--r--	root/root	usr/share/splint/lib/tainted.mts
-rw-r--r--	root/root	usr/share/splint/lib/tainted.xh
-rw-r--r--	root/root	usr/share/splint/lib/unix.h
-rw-r--r--	root/root	usr/share/splint/lib/unix.lcd
-rw-r--r--	root/root	usr/share/splint/lib/unixstrict.lcd