| -rwxr-xr-x | 1746872 | root |
root |
/usr/bin/splint
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/splint
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/splint-3.1.2
|
| -rw-r--r-- | 459 | root |
root |
/usr/share/doc/splint-3.1.2/README
|
| -rw-r--r-- | 545847 | root |
root |
/usr/share/doc/splint-3.1.2/manual.pdf
|
| -rw-r--r-- | 1321 | root |
root |
/usr/share/doc/splint-3.1.2/splintrc.demo
|
| -rw-r--r-- | 3369 | root |
root |
/usr/share/man/man1/splint.1.gz
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/splint/imports
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/splint/lib
|
| -rw-r--r-- | 51 | root |
root |
/usr/share/splint/imports/assert.lcl
|
| -rw-r--r-- | 4136 | root |
root |
/usr/share/splint/imports/assert.lcs
|
| -rw-r--r-- | 936 | root |
root |
/usr/share/splint/imports/ctype.lcl
|
| -rw-r--r-- | 4784 | root |
root |
/usr/share/splint/imports/ctype.lcs
|
| -rw-r--r-- | 1077 | root |
root |
/usr/share/splint/imports/errno.lcl
|
| -rw-r--r-- | 14207 | root |
root |
/usr/share/splint/imports/errno.lcs
|
| -rw-r--r-- | 2004 | root |
root |
/usr/share/splint/imports/limits.lcl
|
| -rw-r--r-- | 12634 | root |
root |
/usr/share/splint/imports/limits.lcs
|
| -rw-r--r-- | 772 | root |
root |
/usr/share/splint/imports/locale.lcl
|
| -rw-r--r-- | 16919 | root |
root |
/usr/share/splint/imports/locale.lcs
|
| -rw-r--r-- | 2512 | root |
root |
/usr/share/splint/imports/math.lcl
|
| -rw-r--r-- | 23470 | root |
root |
/usr/share/splint/imports/math.lcs
|
| -rw-r--r-- | 1999 | root |
root |
/usr/share/splint/imports/setjmp.lcl
|
| -rw-r--r-- | 22692 | root |
root |
/usr/share/splint/imports/setjmp.lcs
|
| -rw-r--r-- | 3753 | root |
root |
/usr/share/splint/imports/signal.lcl
|
| -rw-r--r-- | 33424 | root |
root |
/usr/share/splint/imports/signal.lcs
|
| -rw-r--r-- | 477 | root |
root |
/usr/share/splint/imports/stdarg.lcl
|
| -rw-r--r-- | 30425 | root |
root |
/usr/share/splint/imports/stdarg.lcs
|
| -rw-r--r-- | 3130 | root |
root |
/usr/share/splint/imports/stdio.lcl
|
| -rw-r--r-- | 17007 | root |
root |
/usr/share/splint/imports/stdio.lcs
|
| -rw-r--r-- | 3237 | root |
root |
/usr/share/splint/imports/stdlib.lcl
|
| -rw-r--r-- | 12115 | root |
root |
/usr/share/splint/imports/stdlib.lcs
|
| -rw-r--r-- | 1027 | root |
root |
/usr/share/splint/imports/string.lcl
|
| -rw-r--r-- | 42297 | root |
root |
/usr/share/splint/imports/string.lcs
|
| -rw-r--r-- | 1027 | root |
root |
/usr/share/splint/imports/strings.lcl
|
| -rw-r--r-- | 42297 | root |
root |
/usr/share/splint/imports/strings.lcs
|
| -rw-r--r-- | 1411 | root |
root |
/usr/share/splint/imports/time.lcl
|
| -rw-r--r-- | 53675 | root |
root |
/usr/share/splint/imports/time.lcs
|
| -rw-r--r-- | 2730 | root |
root |
/usr/share/splint/lib/CTrait.syms
|
| -rw-r--r-- | 36 | root |
root |
/usr/share/splint/lib/CTraitGen.lcl
|
| -rw-r--r-- | 799 | root |
root |
/usr/share/splint/lib/bool.h
|
| -rw-r--r-- | 434 | root |
root |
/usr/share/splint/lib/file.mts
|
| -rw-r--r-- | 1002 | root |
root |
/usr/share/splint/lib/file.xh
|
| -rw-r--r-- | 784 | root |
root |
/usr/share/splint/lib/filerw.mts
|
| -rw-r--r-- | 317 | root |
root |
/usr/share/splint/lib/filerw.xh
|
| -rw-r--r-- | 778 | root |
root |
/usr/share/splint/lib/lclinit.lci
|
| -rw-r--r-- | 8448 | root |
root |
/usr/share/splint/lib/linux.h
|
| -rw-r--r-- | 901 | root |
root |
/usr/share/splint/lib/lslinit.lsi
|
| -rw-r--r-- | 23646 | root |
root |
/usr/share/splint/lib/posix.h
|
| -rw-r--r-- | 52469 | root |
root |
/usr/share/splint/lib/posix.lcd
|
| -rw-r--r-- | 51786 | root |
root |
/usr/share/splint/lib/posixstrict.lcd
|
| -rw-r--r-- | 39260 | root |
root |
/usr/share/splint/lib/standard.h
|
| -rw-r--r-- | 35961 | root |
root |
/usr/share/splint/lib/standard.lcd
|
| -rw-r--r-- | 35205 | root |
root |
/usr/share/splint/lib/standardstrict.lcd
|
| -rw-r--r-- | 5102 | root |
root |
/usr/share/splint/lib/stdio.h
|
| -rw-r--r-- | 7164 | root |
root |
/usr/share/splint/lib/stdlib.h
|
| -rw-r--r-- | 453 | root |
root |
/usr/share/splint/lib/tainted.mts
|
| -rw-r--r-- | 2288 | root |
root |
/usr/share/splint/lib/tainted.xh
|
| -rw-r--r-- | 60961 | root |
root |
/usr/share/splint/lib/unix.h
|
| -rw-r--r-- | 101962 | root |
root |
/usr/share/splint/lib/unix.lcd
|
| -rw-r--r-- | 101116 | root |
root |
/usr/share/splint/lib/unixstrict.lcd
|
