Я пытаюсь заставить шину работать со встроенным проектом, над которым я работаю. Мне было интересно, есть ли образец файла параметров .splintrc, в который я могу добавить свои собственные параметры/конфигурацию, чтобы упростить весь процесс. Я использую рабочую среду IAR для компиляции и сборки проекта и хочу интегрировать шину с IDE.
Пример файла опций Splint для Windows
Ответы (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
person
floppes
schedule
08.12.2015
