KGRKJGETMRETU895U-589TY5MIGM5JGB5SDFESFREWTGR54TY
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 :
current_dir [ Writeable ] document_root [ Writeable ]

 

Current File : //proc/22697/root/usr/share/doc/splint-3.1.1/splintrc.demo
-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



Anon7 - 2021