Flawfinder version 2.0.10, (C) 2001-2019 David A. Wheeler.
Number of rules (primarily dangerous function names) in C/C++ ruleset: 223
Examining data/splint-3.1.2+dfsg/src/stateCombinationTable.c
Examining data/splint-3.1.2+dfsg/src/signature.c
Examining data/splint-3.1.2+dfsg/src/enumNameList.c
Examining data/splint-3.1.2+dfsg/src/initDeclNodeList.c
Examining data/splint-3.1.2+dfsg/src/mtAnnotationDecl.c
Examining data/splint-3.1.2+dfsg/src/globals.c
Examining data/splint-3.1.2+dfsg/src/clauseStack.c
Examining data/splint-3.1.2+dfsg/src/paramNodeList.c
Examining data/splint-3.1.2+dfsg/src/flagMarkerList.c
Examining data/splint-3.1.2+dfsg/src/ltokenList.c
Examining data/splint-3.1.2+dfsg/src/lh.c
Examining data/splint-3.1.2+dfsg/src/lltok.c
Examining data/splint-3.1.2+dfsg/src/exprNodeSList.c
Examining data/splint-3.1.2+dfsg/src/ekind.c
Examining data/splint-3.1.2+dfsg/src/mtreader.c
Examining data/splint-3.1.2+dfsg/src/letDeclNodeList.c
Examining data/splint-3.1.2+dfsg/src/cpphash.c
Examining data/splint-3.1.2+dfsg/src/genericTable.c
Examining data/splint-3.1.2+dfsg/src/lslOpSet.c
Examining data/splint-3.1.2+dfsg/src/constraintExprData.c
Examining data/splint-3.1.2+dfsg/src/imports.c
Examining data/splint-3.1.2+dfsg/src/sort.c
Examining data/splint-3.1.2+dfsg/src/interfaceNodeList.c
Examining data/splint-3.1.2+dfsg/src/declaratorInvNodeList.c
Examining data/splint-3.1.2+dfsg/src/globSet.c
Examining data/splint-3.1.2+dfsg/src/fileloc.c
Examining data/splint-3.1.2+dfsg/src/programNodeList.c
Examining data/splint-3.1.2+dfsg/src/enumNameSList.c
Examining data/splint-3.1.2+dfsg/src/modifiesClause.c
Examining data/splint-3.1.2+dfsg/src/mtDefaultsDeclList.c
Examining data/splint-3.1.2+dfsg/src/mtMergeNode.c
Examining data/splint-3.1.2+dfsg/src/functionConstraint.c
Examining data/splint-3.1.2+dfsg/src/exprData.c
Examining data/splint-3.1.2+dfsg/src/usymtab_interface.c
Examining data/splint-3.1.2+dfsg/src/stateClauseList.c
Examining data/splint-3.1.2+dfsg/src/aliasTable.c
Examining data/splint-3.1.2+dfsg/src/mtTransferClause.c
Examining data/splint-3.1.2+dfsg/src/exprNodeList.c
Examining data/splint-3.1.2+dfsg/src/stateClause.c
Examining data/splint-3.1.2+dfsg/src/filelocList.c
Examining data/splint-3.1.2+dfsg/src/pairNodeList.c
Examining data/splint-3.1.2+dfsg/src/lslOpList.c
Examining data/splint-3.1.2+dfsg/src/termNodeList.c
Examining data/splint-3.1.2+dfsg/src/mtLoseReferenceList.c
Examining data/splint-3.1.2+dfsg/src/sRefTable.c
Examining data/splint-3.1.2+dfsg/src/llerror.c
Examining data/splint-3.1.2+dfsg/src/metaStateConstraintList.c
Examining data/splint-3.1.2+dfsg/src/message.c
Examining data/splint-3.1.2+dfsg/src/typeNameNodeList.c
Examining data/splint-3.1.2+dfsg/src/replaceNodeList.c
Examining data/splint-3.1.2+dfsg/src/clause.c
Examining data/splint-3.1.2+dfsg/src/lsymbolList.c
Examining data/splint-3.1.2+dfsg/src/metaStateInfo.c
Examining data/splint-3.1.2+dfsg/src/sortSet.c
Examining data/splint-3.1.2+dfsg/src/mtDefaultsNode.c
Examining data/splint-3.1.2+dfsg/src/ltoken.c
Examining data/splint-3.1.2+dfsg/src/mtContextNode.c
Examining data/splint-3.1.2+dfsg/src/lsymbolSet.c
Examining data/splint-3.1.2+dfsg/src/mtAnnotationsNode.c
Examining data/splint-3.1.2+dfsg/src/shift.c
Examining data/splint-3.1.2+dfsg/src/mtValuesNode.c
Examining data/splint-3.1.2+dfsg/src/structNames.c
Examining data/splint-3.1.2+dfsg/src/flagSpec.c
Examining data/splint-3.1.2+dfsg/src/reader.c
Examining data/splint-3.1.2+dfsg/src/varDeclarationNodeList.c
Examining data/splint-3.1.2+dfsg/src/mttok.c
Examining data/splint-3.1.2+dfsg/src/scanline.c
Examining data/splint-3.1.2+dfsg/src/sRefSetList.c
Examining data/splint-3.1.2+dfsg/src/mtscanner.c
Examining data/splint-3.1.2+dfsg/src/tokentable.c
Examining data/splint-3.1.2+dfsg/src/cvar.c
Examining data/splint-3.1.2+dfsg/src/mtDeclarationPiece.c
Examining data/splint-3.1.2+dfsg/src/qualList.c
Examining data/splint-3.1.2+dfsg/src/sRefSet.c
Examining data/splint-3.1.2+dfsg/src/lsymbol.c
Examining data/splint-3.1.2+dfsg/src/mtMergeClause.c
Examining data/splint-3.1.2+dfsg/src/typeIdSet.c
Examining data/splint-3.1.2+dfsg/src/lclinit.c
Examining data/splint-3.1.2+dfsg/src/mtMergeItem.c
Examining data/splint-3.1.2+dfsg/src/cprim.c
Examining data/splint-3.1.2+dfsg/src/llgrammar.c
Examining data/splint-3.1.2+dfsg/src/metaStateExpression.c
Examining data/splint-3.1.2+dfsg/src/lcltokentable.c
Examining data/splint-3.1.2+dfsg/src/cscanner.c
Examining data/splint-3.1.2+dfsg/src/quantifierNodeList.c
Examining data/splint-3.1.2+dfsg/src/importNodeList.c
Examining data/splint-3.1.2+dfsg/src/functionClause.c
Examining data/splint-3.1.2+dfsg/src/general.c
Examining data/splint-3.1.2+dfsg/src/Headers/lclForwardTypes.h
Examining data/splint-3.1.2+dfsg/src/Headers/usymIdSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/abstractNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/cstringList.h
Examining data/splint-3.1.2+dfsg/src/Headers/help.h
Examining data/splint-3.1.2+dfsg/src/Headers/shift.h
Examining data/splint-3.1.2+dfsg/src/Headers/termNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/llglobals.h
Examining data/splint-3.1.2+dfsg/src/Headers/programNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/cppexp.h
Examining data/splint-3.1.2+dfsg/src/Headers/enumNameSList.h
Examining data/splint-3.1.2+dfsg/src/Headers/message.h
Examining data/splint-3.1.2+dfsg/src/Headers/cstring.h
Examining data/splint-3.1.2+dfsg/src/Headers/varDeclarationNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/lh.h
Examining data/splint-3.1.2+dfsg/src/Headers/genericTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtAnnotationList.h
Examining data/splint-3.1.2+dfsg/src/Headers/lclscan.h
Examining data/splint-3.1.2+dfsg/src/Headers/metaStateInfo.h
Examining data/splint-3.1.2+dfsg/src/Headers/limwr.h
Examining data/splint-3.1.2+dfsg/src/Headers/sigNodeSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/fileLib.h
Examining data/splint-3.1.2+dfsg/src/Headers/exprNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/metaStateExpression.h
Examining data/splint-3.1.2+dfsg/src/Headers/llgrammar.h
Examining data/splint-3.1.2+dfsg/src/Headers/lclctypes.h
Examining data/splint-3.1.2+dfsg/src/Headers/valueTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtTransferClauseList.h
Examining data/splint-3.1.2+dfsg/src/Headers/usymtab.h
Examining data/splint-3.1.2+dfsg/src/Headers/pointers.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtMergeItem.h
Examining data/splint-3.1.2+dfsg/src/Headers/exprChecks.h
Examining data/splint-3.1.2+dfsg/src/Headers/exposedNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/mstring.h
Examining data/splint-3.1.2+dfsg/src/Headers/idDeclList.h
Examining data/splint-3.1.2+dfsg/src/Headers/general.h
Examining data/splint-3.1.2+dfsg/src/Headers/metaStateConstraint.h
Examining data/splint-3.1.2+dfsg/src/Headers/lslOpList.h
Examining data/splint-3.1.2+dfsg/src/Headers/declaratorNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/cpphash.h
Examining data/splint-3.1.2+dfsg/src/Headers/nameChecks.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtDeclarationNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/clauseStack.h
Examining data/splint-3.1.2+dfsg/src/Headers/lsymbol.h
Examining data/splint-3.1.2+dfsg/src/Headers/fileIdList.h
Examining data/splint-3.1.2+dfsg/src/Headers/initDeclNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/lclPredicateNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtMergeNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/gram.h
Examining data/splint-3.1.2+dfsg/src/Headers/lcllib.h
Examining data/splint-3.1.2+dfsg/src/Headers/lclscanline.h
Examining data/splint-3.1.2+dfsg/src/Headers/cgrammar.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtscanner.h
Examining data/splint-3.1.2+dfsg/src/Headers/ctypeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/aliasStack.h
Examining data/splint-3.1.2+dfsg/src/Headers/sRefSetStack.h
Examining data/splint-3.1.2+dfsg/src/Headers/ctokens.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtTransferAction.h
Examining data/splint-3.1.2+dfsg/src/Headers/boolStack.h
Examining data/splint-3.1.2+dfsg/src/Headers/scanline.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtAnnotationDecl.h
Examining data/splint-3.1.2+dfsg/src/Headers/exprNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/declaratorNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/typeNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/code.h
Examining data/splint-3.1.2+dfsg/src/Headers/basic.h
Examining data/splint-3.1.2+dfsg/src/Headers/flags.h
Examining data/splint-3.1.2+dfsg/src/Headers/signNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/cscanner.h
Examining data/splint-3.1.2+dfsg/src/Headers/flagSpec.h
Examining data/splint-3.1.2+dfsg/src/Headers/paramNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/globals.h
Examining data/splint-3.1.2+dfsg/src/Headers/forwardTypes.h
Examining data/splint-3.1.2+dfsg/src/Headers/cvar.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtLoseReference.h
Examining data/splint-3.1.2+dfsg/src/Headers/lltok.h
Examining data/splint-3.1.2+dfsg/src/Headers/lclsyntable.h
Examining data/splint-3.1.2+dfsg/src/Headers/transferChecks.h
Examining data/splint-3.1.2+dfsg/src/Headers/storeRefNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/llgrammar2.h
Examining data/splint-3.1.2+dfsg/src/Headers/interfaceNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/traitRefNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/idDecl.h
Examining data/splint-3.1.2+dfsg/src/Headers/lslOpSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/signature2.h
Examining data/splint-3.1.2+dfsg/src/Headers/inputStream.h
Examining data/splint-3.1.2+dfsg/src/Headers/intSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/constraintExpr.h
Examining data/splint-3.1.2+dfsg/src/Headers/privateNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/sRefTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/modifyNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/programNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/annotationTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/tmpname.h
Examining data/splint-3.1.2+dfsg/src/Headers/exportNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/signature.h
Examining data/splint-3.1.2+dfsg/src/Headers/metaStateConstraintList.h
Examining data/splint-3.1.2+dfsg/src/Headers/sort.h
Examining data/splint-3.1.2+dfsg/src/Headers/flagMarker.h
Examining data/splint-3.1.2+dfsg/src/Headers/aliasTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/nameNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/quantifiedTermNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/tokentable.h
Examining data/splint-3.1.2+dfsg/src/Headers/ltoken.h
Examining data/splint-3.1.2+dfsg/src/Headers/sRefSetList.h
Examining data/splint-3.1.2+dfsg/src/Headers/cpperror.h
Examining data/splint-3.1.2+dfsg/src/Headers/importNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/opFormNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/context.h
Examining data/splint-3.1.2+dfsg/src/Headers/modifiesClause.h
Examining data/splint-3.1.2+dfsg/src/Headers/fileId.h
Examining data/splint-3.1.2+dfsg/src/Headers/replaceNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtincludes.h
Examining data/splint-3.1.2+dfsg/src/Headers/filelocList.h
Examining data/splint-3.1.2+dfsg/src/Headers/replaceNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/dmalloc.h
Examining data/splint-3.1.2+dfsg/src/Headers/globSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/ltokenList.h
Examining data/splint-3.1.2+dfsg/src/Headers/qualList.h
Examining data/splint-3.1.2+dfsg/src/Headers/stateClause.h
Examining data/splint-3.1.2+dfsg/src/Headers/abstBodyNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/enumSpecNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/flagMarkerList.h
Examining data/splint-3.1.2+dfsg/src/Headers/handle.h
Examining data/splint-3.1.2+dfsg/src/Headers/stateClauseList.h
Examining data/splint-3.1.2+dfsg/src/Headers/typeNameNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/fileloc.h
Examining data/splint-3.1.2+dfsg/src/Headers/CTypesNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/filelocStack.h
Examining data/splint-3.1.2+dfsg/src/Headers/uentryList.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtLoseReferenceList.h
Examining data/splint-3.1.2+dfsg/src/Headers/lsymbolList.h
Examining data/splint-3.1.2+dfsg/src/Headers/symtable.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtDeclarationPiece.h
Examining data/splint-3.1.2+dfsg/src/Headers/lctype.h
Examining data/splint-3.1.2+dfsg/src/Headers/mapping.h
Examining data/splint-3.1.2+dfsg/src/Headers/pairNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/imports.h
Examining data/splint-3.1.2+dfsg/src/Headers/system_constants.h
Examining data/splint-3.1.2+dfsg/src/Headers/lslinit.h
Examining data/splint-3.1.2+dfsg/src/Headers/osd.h
Examining data/splint-3.1.2+dfsg/src/Headers/paramNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/structNames.h
Examining data/splint-3.1.2+dfsg/src/Headers/ynm.h
Examining data/splint-3.1.2+dfsg/src/Headers/functionClause.h
Examining data/splint-3.1.2+dfsg/src/Headers/misc.h
Examining data/splint-3.1.2+dfsg/src/Headers/importNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/warnClause.h
Examining data/splint-3.1.2+dfsg/src/Headers/stateValue.h
Examining data/splint-3.1.2+dfsg/src/Headers/constraintExprData.h
Examining data/splint-3.1.2+dfsg/src/Headers/cscannerHelp.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtTransferClause.h
Examining data/splint-3.1.2+dfsg/src/Headers/constraintOutput.h
Examining data/splint-3.1.2+dfsg/src/Headers/functionClauseList.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtDeclarationPieces.h
Examining data/splint-3.1.2+dfsg/src/Headers/arrayQualNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/termNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/quantifierNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/exprNodeSList.h
Examining data/splint-3.1.2+dfsg/src/Headers/varNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtDefaultsDeclList.h
Examining data/splint-3.1.2+dfsg/src/Headers/constants.h
Examining data/splint-3.1.2+dfsg/src/Headers/typeExpr.h
Examining data/splint-3.1.2+dfsg/src/Headers/stmtNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/mttok.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtMergeClauseList.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtreader.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtMergeClause.h
Examining data/splint-3.1.2+dfsg/src/Headers/sortList.h
Examining data/splint-3.1.2+dfsg/src/Headers/cstringSList.h
Examining data/splint-3.1.2+dfsg/src/Headers/sortSetList.h
Examining data/splint-3.1.2+dfsg/src/Headers/flag_codes.h
Examining data/splint-3.1.2+dfsg/src/Headers/globalList.h
Examining data/splint-3.1.2+dfsg/src/Headers/pairNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/refTable-branch.h
Examining data/splint-3.1.2+dfsg/src/Headers/constraintList2.h
Examining data/splint-3.1.2+dfsg/src/Headers/fcnNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/cpp.h
Examining data/splint-3.1.2+dfsg/src/Headers/typeNameNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/annotationInfo.h
Examining data/splint-3.1.2+dfsg/src/Headers/constDeclarationNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/llmain.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtValuesNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/ekind.h
Examining data/splint-3.1.2+dfsg/src/Headers/interfaceNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/sHerald.h
Examining data/splint-3.1.2+dfsg/src/Headers/functionConstraint.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtgrammar.h
Examining data/splint-3.1.2+dfsg/src/Headers/metaStateSpecifier.h
Examining data/splint-3.1.2+dfsg/src/Headers/qual.h
Examining data/splint-3.1.2+dfsg/src/Headers/lclTypeSpecNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/clabstract.h
Examining data/splint-3.1.2+dfsg/src/Headers/globalsClause.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtContextNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/llerror.h
Examining data/splint-3.1.2+dfsg/src/Headers/metaStateTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/stDeclNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/letDeclNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/lcltokentable.h
Examining data/splint-3.1.2+dfsg/src/Headers/typeId.h
Examining data/splint-3.1.2+dfsg/src/Headers/renamingNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/randomNumbers.h
Examining data/splint-3.1.2+dfsg/src/Headers/lslOp.h
Examining data/splint-3.1.2+dfsg/src/Headers/valueMatrix.h
Examining data/splint-3.1.2+dfsg/src/Headers/declaratorInvNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/sortSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/sigNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/letDeclNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/multiVal.h
Examining data/splint-3.1.2+dfsg/src/Headers/guardSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/storeRefNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/typeNamePack.h
Examining data/splint-3.1.2+dfsg/src/Headers/usymtab_interface.h
Examining data/splint-3.1.2+dfsg/src/Headers/lclMisc.h
Examining data/splint-3.1.2+dfsg/src/Headers/clause.h
Examining data/splint-3.1.2+dfsg/src/Headers/stateInfo.h
Examining data/splint-3.1.2+dfsg/src/Headers/varNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/qtype.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtgrammar.tab.h
Examining data/splint-3.1.2+dfsg/src/Headers/constraintResolve.h
Examining data/splint-3.1.2+dfsg/src/Headers/uentry.h
Examining data/splint-3.1.2+dfsg/src/Headers/syntable.h
Examining data/splint-3.1.2+dfsg/src/Headers/declaratorInvNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/reader.h
Examining data/splint-3.1.2+dfsg/src/Headers/strOrUnionNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/usymId.h
Examining data/splint-3.1.2+dfsg/src/Headers/sRefList.h
Examining data/splint-3.1.2+dfsg/src/Headers/claimNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/lcl_constants.h
Examining data/splint-3.1.2+dfsg/src/Headers/fileTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/sgrammar_tokens.h
Examining data/splint-3.1.2+dfsg/src/Headers/initDeclNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/messageLog.h
Examining data/splint-3.1.2+dfsg/src/Headers/lslparse.h
Examining data/splint-3.1.2+dfsg/src/Headers/fcnNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/bool.h
Examining data/splint-3.1.2+dfsg/src/Headers/checking.h
Examining data/splint-3.1.2+dfsg/src/Headers/scan.h
Examining data/splint-3.1.2+dfsg/src/Headers/lsymbolSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/varDeclarationNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/stDeclNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/macrocache.h
Examining data/splint-3.1.2+dfsg/src/Headers/cstringTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtDefaultsNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/intTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/constraintTerm.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtDefaultsDecl.h
Examining data/splint-3.1.2+dfsg/src/Headers/enumNameList.h
Examining data/splint-3.1.2+dfsg/src/Headers/cprim.h
Examining data/splint-3.1.2+dfsg/src/Headers/constraint.h
Examining data/splint-3.1.2+dfsg/src/Headers/stateCombinationTable.h
Examining data/splint-3.1.2+dfsg/src/Headers/pp.h
Examining data/splint-3.1.2+dfsg/src/Headers/sRefSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/lclinit.h
Examining data/splint-3.1.2+dfsg/src/Headers/rcfiles.h
Examining data/splint-3.1.2+dfsg/src/Headers/abstract.h
Examining data/splint-3.1.2+dfsg/src/Headers/traitRefNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/quantifierNodeList.h
Examining data/splint-3.1.2+dfsg/src/Headers/iterNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/typeIdSet.h
Examining data/splint-3.1.2+dfsg/src/Headers/exprData.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtAnnotationsNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/taggedUnionNode.h
Examining data/splint-3.1.2+dfsg/src/Headers/version.h
Examining data/splint-3.1.2+dfsg/src/Headers/constraintList.h
Examining data/splint-3.1.2+dfsg/src/Headers/sRef.h
Examining data/splint-3.1.2+dfsg/src/Headers/varKinds.h
Examining data/splint-3.1.2+dfsg/src/Headers/mtgrammar_tokens.h
Examining data/splint-3.1.2+dfsg/src/Headers/cgrammar_tokens.h
Examining data/splint-3.1.2+dfsg/src/Headers/llgrammar_gen.h
Examining data/splint-3.1.2+dfsg/src/Headers/llgrammar_gen2.h
Examining data/splint-3.1.2+dfsg/src/Headers/signature_gen.h
Examining data/splint-3.1.2+dfsg/src/Headers/cpplib.h
Examining data/splint-3.1.2+dfsg/src/functionClauseList.c
Examining data/splint-3.1.2+dfsg/src/metaStateConstraint.c
Examining data/splint-3.1.2+dfsg/src/guardSet.c
Examining data/splint-3.1.2+dfsg/src/fileLib.c
Examining data/splint-3.1.2+dfsg/src/idDecl.c
Examining data/splint-3.1.2+dfsg/src/mtDeclarationNode.c
Examining data/splint-3.1.2+dfsg/src/stDeclNodeList.c
Examining data/splint-3.1.2+dfsg/src/varNodeList.c
Examining data/splint-3.1.2+dfsg/src/idDeclList.c
Examining data/splint-3.1.2+dfsg/src/messageLog.c
Examining data/splint-3.1.2+dfsg/src/usymIdSet.c
Examining data/splint-3.1.2+dfsg/src/lclscanline.c
Examining data/splint-3.1.2+dfsg/src/inputStream.c
Examining data/splint-3.1.2+dfsg/src/sRefList.c
Examining data/splint-3.1.2+dfsg/src/llmain.c
Parsing failed to find end of parameter list; semicolon terminated it in  (msg, 256,
# else
	      (void) snprintf (msg, 256,
# endif
			"Time distribution (percent): initialize %.2f / lcl %.2f / "
			"pre-process %.2f / c check %.2f / finalize %.2f \n", 
			(100.0 * (doub
Parsing failed to find end of parameter list; semicolon terminated it in  (msg, 256,
# else
	      (void) snprintf (msg, 256,
# endif
			"Time distribution (percent): initialize %.2f / "
			"pre-process %.2f / c check %.2f / finalize %.2f \n", 
			(100.0 * (double) (libtim
Examining data/splint-3.1.2+dfsg/src/sigNodeSet.c
Examining data/splint-3.1.2+dfsg/src/multiVal.c
Examining data/splint-3.1.2+dfsg/src/warnClause.c
Examining data/splint-3.1.2+dfsg/src/mtMergeClauseList.c
Examining data/splint-3.1.2+dfsg/src/rcfiles.c
Examining data/splint-3.1.2+dfsg/src/symtable.c
Examining data/splint-3.1.2+dfsg/src/ynm.c
Examining data/splint-3.1.2+dfsg/src/stateValue.c
Examining data/splint-3.1.2+dfsg/src/qual.c
Examining data/splint-3.1.2+dfsg/src/mtDeclarationPieces.c
Examining data/splint-3.1.2+dfsg/src/valueTable.c
Examining data/splint-3.1.2+dfsg/src/mtLoseReference.c
Examining data/splint-3.1.2+dfsg/src/lcllib.c
Examining data/splint-3.1.2+dfsg/src/cstringSList.c
Examining data/splint-3.1.2+dfsg/src/traitRefNodeList.c
Examining data/splint-3.1.2+dfsg/src/mapping.c
Examining data/splint-3.1.2+dfsg/src/cppmain.c
Examining data/splint-3.1.2+dfsg/src/pointers.c
Examining data/splint-3.1.2+dfsg/src/metaStateTable.c
Examining data/splint-3.1.2+dfsg/src/lslparse.c
Examining data/splint-3.1.2+dfsg/src/sortSetList.c
Examining data/splint-3.1.2+dfsg/src/abstract.c
Examining data/splint-3.1.2+dfsg/src/mtDefaultsDecl.c
Examining data/splint-3.1.2+dfsg/src/checking.c
Examining data/splint-3.1.2+dfsg/src/cscannerHelp.c
Examining data/splint-3.1.2+dfsg/src/mtTransferClauseList.c
Examining data/splint-3.1.2+dfsg/src/storeRefNodeList.c
Examining data/splint-3.1.2+dfsg/src/filelocStack.c
Examining data/splint-3.1.2+dfsg/src/annotationTable.c
Examining data/splint-3.1.2+dfsg/src/context.c
Examining data/splint-3.1.2+dfsg/src/macrocache.c
Examining data/splint-3.1.2+dfsg/src/cstringTable.c
Examining data/splint-3.1.2+dfsg/src/cstring.c
Examining data/splint-3.1.2+dfsg/src/syntable.c
Examining data/splint-3.1.2+dfsg/src/lclscan.c
Examining data/splint-3.1.2+dfsg/src/intSet.c
Examining data/splint-3.1.2+dfsg/src/randomNumbers.c
Examining data/splint-3.1.2+dfsg/src/cgrammar.c
Examining data/splint-3.1.2+dfsg/src/cpperror.c
Examining data/splint-3.1.2+dfsg/src/ctypeList.c
Examining data/splint-3.1.2+dfsg/src/fileIdList.c
Examining data/splint-3.1.2+dfsg/src/uentryList.c
Examining data/splint-3.1.2+dfsg/src/annotationInfo.c
Examining data/splint-3.1.2+dfsg/src/qtype.c
Examining data/splint-3.1.2+dfsg/src/mtTransferAction.c
Examining data/splint-3.1.2+dfsg/src/lslinit.c
Examining data/splint-3.1.2+dfsg/src/metaStateSpecifier.c
Examining data/splint-3.1.2+dfsg/src/cstringList.c
Examining data/splint-3.1.2+dfsg/src/lclsyntable.c
Examining data/splint-3.1.2+dfsg/src/constraintExpr.c
Examining data/splint-3.1.2+dfsg/src/mtAnnotationList.c
Examining data/splint-3.1.2+dfsg/src/sortList.c
Examining data/splint-3.1.2+dfsg/src/globalsClause.c
Examining data/splint-3.1.2+dfsg/src/fcnNodeList.c
Examining data/splint-3.1.2+dfsg/src/declaratorNodeList.c
Examining data/splint-3.1.2+dfsg/src/flagMarker.c
Examining data/splint-3.1.2+dfsg/src/lclctypes.c
Examining data/splint-3.1.2+dfsg/src/help.c
Examining data/splint-3.1.2+dfsg/src/clabstract.c
Examining data/splint-3.1.2+dfsg/src/exprChecks.c
Examining data/splint-3.1.2+dfsg/src/fileTable.c
Examining data/splint-3.1.2+dfsg/src/flags.c
Examining data/splint-3.1.2+dfsg/src/nameChecks.c
Examining data/splint-3.1.2+dfsg/src/sRef.c
Examining data/splint-3.1.2+dfsg/src/stateInfo.c
Examining data/splint-3.1.2+dfsg/src/transferChecks.c
Examining data/splint-3.1.2+dfsg/src/varKinds.c
Examining data/splint-3.1.2+dfsg/src/mtgrammar.c
Examining data/splint-3.1.2+dfsg/src/exprNode.c
Examining data/splint-3.1.2+dfsg/src/constraint.c
Examining data/splint-3.1.2+dfsg/src/constraintGeneration.c
Examining data/splint-3.1.2+dfsg/src/constraintList.c
Examining data/splint-3.1.2+dfsg/src/constraintResolve.c
Examining data/splint-3.1.2+dfsg/src/constraintTerm.c
Examining data/splint-3.1.2+dfsg/src/cppexp.c
Examining data/splint-3.1.2+dfsg/src/cpplib.c
Examining data/splint-3.1.2+dfsg/src/ctype.c
Examining data/splint-3.1.2+dfsg/src/loopHeuristics.c
Examining data/splint-3.1.2+dfsg/src/osd.c
Examining data/splint-3.1.2+dfsg/src/scan.c
Examining data/splint-3.1.2+dfsg/src/uentry.c
Examining data/splint-3.1.2+dfsg/src/usymtab.c
Examining data/splint-3.1.2+dfsg/lib/stdio.h
Examining data/splint-3.1.2+dfsg/lib/standard.h
Examining data/splint-3.1.2+dfsg/lib/linux.h
Examining data/splint-3.1.2+dfsg/lib/stdlib.h
Examining data/splint-3.1.2+dfsg/lib/posix.h
Examining data/splint-3.1.2+dfsg/lib/bool.h
Examining data/splint-3.1.2+dfsg/lib/unix.h
Examining data/splint-3.1.2+dfsg/test/argorder3.c
Examining data/splint-3.1.2+dfsg/test/unsignedcompare.c
Examining data/splint-3.1.2+dfsg/test/russian.c