splint.rc revision 7ef855e462b9a18b7d330e4b40f350164a6ad9da 
1+checks
2+partial
3+matchanyintegral
4+strictlib
5-isoreserved		# to be fixed in 0.3
6-nullassign
7-predboolint
8-predboolptr
9+ptrnegate
10-switchloopbreak
11+ignoresigns
12-infloopsuncon
13-type
14
15# splint's memory checks don't quite work without annotations
16-mustfreeonly
17-compmempass
18-nullret
19-observertrans
20-statictrans
21-compdestroy
22-nullpass
23-nullstate
24-compdef
25-usereleased
26-temptrans
27-dependenttrans
28-kepttrans
29-branchstate
30-immediatetrans
31
32# These tests give false positives, compiler typically has
33# better warnings for these.
34-noret
35-noeffect
36-usedef
37
38