適用於Windows的示例Splint選項文件

Question

我正在嘗試使用我正在開發的嵌入式項目進行夾板工作。我想知道是否有一個示例.splintrc選項文件，我可以添加我自己的選項/配置來簡化整個過程。我正在使用IAR工作臺編譯和構建項目，並希望將splint與IDE集成。

Answer 1

下面是試圖掩蓋一些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