lrwxrwxrwx | /usr/bin/lclint —> splint | 6.0 B | 16 июня 2021 г. 5:39 |
-rwxr-xr-x | /usr/bin/splint | 5.3 MB | 16 июня 2021 г. 5:39 |
drwxr-xr-x | /usr/share/doc/splint-3.1.2 | 160.0 B | 16 июня 2021 г. 5:39 |
-rw-r--r-- | /usr/share/doc/splint-3.1.2/COPYRIGHT | 908.0 B | 28 июля 2008 г. 21:05 |
-rw-r--r-- | /usr/share/doc/splint-3.1.2/README | 459.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/doc/splint-3.1.2/faq.html | 6.2 KB | 28 июля 2008 г. 21:04 |
-rwxr-xr-x | /usr/share/doc/splint-3.1.2/install.html | 3.8 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/doc/splint-3.1.2/manual.html | 838.4 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/doc/splint-3.1.2/manual.ps.bz2 | 1.0 MB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/man/man1/splint.1.xz | 3.3 KB | 16 июня 2021 г. 5:39 |
drwxr-xr-x | /usr/share/splint | 80.0 B | 16 июня 2021 г. 5:39 |
drwxr-xr-x | /usr/share/splint/imports | 600.0 B | 16 июня 2021 г. 5:39 |
-rw-r--r-- | /usr/share/splint/imports/assert.lcl | 51.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/assert.lcs | 4.0 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/ctype.lcl | 936.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/ctype.lcs | 4.7 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/errno.lcl | 1.1 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/errno.lcs | 13.9 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/limits.lcl | 2.0 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/limits.lcs | 12.3 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/locale.lcl | 772.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/locale.lcs | 16.5 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/math.lcl | 2.5 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/math.lcs | 22.9 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/setjmp.lcl | 2.0 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/setjmp.lcs | 22.2 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/signal.lcl | 3.7 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/signal.lcs | 32.6 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/stdarg.lcl | 477.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/stdarg.lcs | 29.7 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/stdio.lcl | 3.1 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/stdio.lcs | 16.6 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/stdlib.lcl | 3.2 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/stdlib.lcs | 11.8 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/string.lcl | 1.0 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/string.lcs | 41.3 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/strings.lcl | 1.0 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/strings.lcs | 41.3 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/time.lcl | 1.4 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/imports/time.lcs | 52.4 KB | 28 июля 2008 г. 21:04 |
drwxr-xr-x | /usr/share/splint/lib | 500.0 B | 16 июня 2021 г. 5:39 |
-rw-r--r-- | /usr/share/splint/lib/CTrait.syms | 2.7 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/CTraitGen.lcl | 36.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/bool.h | 799.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/file.mts | 434.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/file.xh | 1002.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/filerw.mts | 784.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/filerw.xh | 317.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/lclinit.lci | 778.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/linux.h | 8.2 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/lslinit.lsi | 901.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/posix.h | 23.1 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/posix.lcd | 51.2 KB | 16 июня 2021 г. 5:39 |
-rw-r--r-- | /usr/share/splint/lib/posixstrict.lcd | 50.6 KB | 16 июня 2021 г. 5:39 |
-rw-r--r-- | /usr/share/splint/lib/standard.h | 38.3 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/standard.lcd | 35.1 KB | 16 июня 2021 г. 5:39 |
-rw-r--r-- | /usr/share/splint/lib/standardstrict.lcd | 34.4 KB | 16 июня 2021 г. 5:39 |
-rw-r--r-- | /usr/share/splint/lib/stdio.h | 5.0 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/stdlib.h | 7.0 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/tainted.mts | 453.0 B | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/tainted.xh | 2.2 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/unix.h | 59.5 KB | 28 июля 2008 г. 21:04 |
-rw-r--r-- | /usr/share/splint/lib/unix.lcd | 99.6 KB | 16 июня 2021 г. 5:39 |
-rw-r--r-- | /usr/share/splint/lib/unixstrict.lcd | 98.7 KB | 16 июня 2021 г. 5:39 |