splint的使用

【文件属性】：
文件名称：splint的使用
文件大小：1.5MB
文件格式：ZIP
更新时间：2017-05-15 04:48:16
SPLINT splint的使用，包括splint Manual，lib等资源。

【文件预览】：
splint-3.1.2
----bin()
--------splint.exe(1.88MB)
----docs()
--------manual.css(840B)
--------manual.pdf(533KB)
--------html()
----imports()
--------assert.lcl(51B)
--------math.lcl(2KB)
--------time.lcs(52KB)
--------locale.lcs(17KB)
--------ctype.lcl(936B)
--------string.lcs(41KB)
--------time.lcl(1KB)
--------setjmp.lcs(22KB)
--------stdarg.lcs(30KB)
--------limits.lcl(2KB)
--------strings.lcl(1KB)
--------strings.lcs(41KB)
--------locale.lcl(772B)
--------assert.lcs(4KB)
--------setjmp.lcl(2KB)
--------limits.lcs(12KB)
--------signal.lcl(4KB)
--------math.lcs(23KB)
--------stdio.lcs(17KB)
--------string.lcl(1KB)
--------errno.lcl(1KB)
--------ctype.lcs(5KB)
--------stdlib.lcl(3KB)
--------signal.lcs(33KB)
--------stdlib.lcs(12KB)
--------stdarg.lcl(477B)
--------stdio.lcl(3KB)
--------errno.lcs(14KB)
----LICENSE(19KB)
----README(459B)
----lib()
--------tainted.xh(2KB)
--------unixstrict.lcd(99KB)
--------lslinit.lsi(901B)
--------stdio.h(5KB)
--------lclinit.lci(778B)
--------standard.h(38KB)
--------filerw.xh(317B)
--------unix.h(60KB)
--------unix.lcd(100KB)
--------CTrait.syms(3KB)
--------bool.h(799B)
--------tainted.mts(453B)
--------standard.lcd(35KB)
--------file.mts(434B)
--------standardstrict.lcd(34KB)
--------posixstrict.lcd(51KB)
--------posix.h(23KB)
--------Makefile.am(2KB)
--------Makefile.in(8KB)
--------stdlib.h(7KB)
--------filerw.mts(784B)
--------Makefile(8KB)
--------file.xh(1002B)
--------posix.lcd(51KB)
--------linux.h(8KB)
--------CTraitGen.lcl(36B)