src/.splintrc

   1 -IHeaders
   2 -DDEBUGPRINT
   3
   4 -systemdirs /usr/include:/usr/local/lib/:/usr/lib
   5
   6 +allmacros # check all macros
   7 +checks    # checks mode (moderately strict checking)
   8
   9 ### Display Flags
  10 -locindentspaces 0
  11 +showdeephistory
  12 +showscan
  13 +showsummary
  14 +stats
  15 +timedist
  16
  17 +charindex
  18 -allglobals
  19 -export
  20 +voidabstract
  21 +forwarddecl
  22 +relaxquals
  23 +allmacros
  24
  25 ### Assume all while and for loops execute at least once
  26 +loopexec
  27
  28 ### Naming Convention
  29
  30 +czech
  31 -czechconstants
  32 -enumprefix ~~*
  33 -uncheckedmacroprefix ~*
  34
  35 ### global variables should start with g_
  36 -globalprefix g_
  37 +globalprefixexclude
  38
  39 ### parameters in declarations should start with p_
  40 -protoparamprefix p_
  41 +protoparamprefixexclude
  42
  43 ### these flags slow down checking a lot,
  44 ### only use on special occasions.
  45 ###
  46
  47 +distinctinternalnames -internalnamecaseinsensitive
  48 +internalnamelookalike
  49
  50 # -externalnamelen 24
  51
  52 +sizeoftype
  53 +repeatunrecog
  54 +topuse
  55 +deepbreak
  56 +needspec
  57 +evalorderuncon
  58 -mustmod
  59 +iso99limits
  60 +allempty
  61 +whileblock
  62 +forblock
  63 +elseifcomplete
  64
  65 ### Limit maximimum include nesting
  66 -includenest 5
  67
  68 +posixlib
  69
  70 ### this should be builtin to pp?
  71 -D__i386__
  72 -D_M_IX86
  73
  74 -booltype bool
  75 -booltrue TRUE
  76 -boolfalse FALSE
  77
  78 +numliteral
  79 +numabstractindex
  80 +numabstractlit
  81 -numabstractprint
  82
  83 -indentspaces 3
  84
  85 #drl add 11-15-2001
  86 +slashslashcomment
  87
  88