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