3
我正在嘗試使用我正在開發的嵌入式項目進行夾板工作。我想知道是否有一個示例.splintrc
選項文件,我可以添加我自己的選項/配置來簡化整個過程。我正在使用IAR工作臺編譯和構建項目,並希望將splint與IDE集成。適用於Windows的示例Splint選項文件
我正在嘗試使用我正在開發的嵌入式項目進行夾板工作。我想知道是否有一個示例.splintrc
選項文件,我可以添加我自己的選項/配置來簡化整個過程。我正在使用IAR工作臺編譯和構建項目,並希望將splint與IDE集成。適用於Windows的示例Splint選項文件
下面是試圖掩蓋一些MISRA-C的2004年規則的選項文件:
#-hints
#-forcehints
-linelen 120
-parenfileformat
+quiet
-booltype bool
-booltrue true
-boolfalse false
-standard
+strictlib
# the flags commented out below are switched on by default or the
# '-standard' shortcut.
+ansi89limits
#+boolops
#+casebreak
#-charint
+cppnames
+declundef
+elseifcomplete
#+evalorder
+exportheader
+exportheadervar
#+exportlocal
-externalnamelen 31
+fcnmacros
#+firstcase
#-floatdouble
+forblock
#+gnuextensions
+ifblock
#-ignorequals
#-ignoresigns
#+imptype
#+incompletetype
#+incondefs
#+initsize
-internalnamelen 31
+isoreserved
+isoreservedinternal
#-longintegral
#-longunsignedintegral
#+macroassign
#+macrofcndecl
#+macroparams
#+macroparens
#+macrostmt
-maintype
#-matchanyintegral
#-modfilesystem
#+namechecks
#+nestcomment
#+noeffect
+noparams
#+noret
+oldstyle
#+predassign
#+predboolint
+protoparammatch
#-protoparamname
+ptrarith
#+realcompare
+redecl
#+redef
-relaxquals
#-relaxtypes
+retval
#+shadow
#+shiftimplementation
#+shiftnegative
+slashslashcomment
#+stackref
#+sysunrecog
#+type
#+unreachable
#+unrecog
#+unrecogdirective
#+usedef
#+usevarargs
+whileblock
來源: http://www.cs.virginia.edu/pipermail/splint-discuss/2007-March/000923.html