[splint-discuss] MISRA for splint

[Ludolf Holzheid]

On Tue, 2007-03-06 14:56:42 +1100, Tehn Chin wrote:
> Is there a MISRA annotation for splint? 
>  
> I have check through the archive and fail to find any mention of it.

As you might already have noticed, there is no '-misra' switch for
splint and there are 'required' MISRA rules splint cannot check for,
(e.g. rule 14.4, no 'goto').

I am using splint for static code analysis of safety-related software
anyway, so I do have a set of switches for splint (see attachment).

However, the biggest part of using splint (or any other static analyzer) for
claiming MISRA compliance is completing the 'compliance matrix', which
also involves defining which rules apply for a certain project and how
to check for the rules splint does not help with.

Cheers,

Ludolf

-- 

---------------------------------------------------------------
Ludolf Holzheid             Tel:    +49 621 339960
Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------
-------------- next part --------------

#-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