|
Server : Apache/2.2.17 (Unix) mod_ssl/2.2.17 OpenSSL/0.9.8e-fips-rhel5 DAV/2 PHP/5.2.17 System : Linux localhost 2.6.18-419.el5 #1 SMP Fri Feb 24 22:47:42 UTC 2017 x86_64 User : nobody ( 99) PHP Version : 5.2.17 Disable Function : NONE Directory : /proc/22697/root/usr/share/doc/splint-3.1.1/ |
Upload File : |
-IHeaders
-DDEBUGPRINT
-systemdirs /usr/include:/usr/local/lib/:/usr/lib
+allmacros # check all macros
+checks # checks mode (moderately strict checking)
### Display Flags
-locindentspaces 0
+showdeephistory
+showscan
+showsummary
+stats
+timedist
+charindex
-allglobals
-export
+voidabstract
+forwarddecl
+relaxquals
+allmacros
### Assume all while and for loops execute at least once
+loopexec
### Naming Convention
+czech
-czechconstants
-enumprefix ~~*
-uncheckedmacroprefix ~*
### global variables should start with g_
-globalprefix g_
+globalprefixexclude
### parameters in declarations should start with p_
-protoparamprefix p_
+protoparamprefixexclude
### these flags slow down checking a lot,
### only use on special occasions.
###
+distinctinternalnames -internalnamecaseinsensitive
+internalnamelookalike
# -externalnamelen 24
+sizeoftype
+repeatunrecog
+topuse
+deepbreak
+needspec
+evalorderuncon
-mustmod
+iso99limits
+allempty
+whileblock
+forblock
+elseifcomplete
### Limit maximimum include nesting
-includenest 5
+posixlib
### this should be builtin to pp?
-D__i386__
-D_M_IX86
-booltype bool
-booltrue TRUE
-boolfalse FALSE
+numliteral
+numabstractindex
+numabstractlit
-numabstractprint
-indentspaces 3
#drl add 11-15-2001
+slashslashcomment