适用于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