2026-05-01 12:37
ftp://ftp.de.debian.org/debian/pool/main/c/coq-gappa/coq-gappa_1.7.1.orig.tar.bz2
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j6
platform: Linux-7.0.3+deb14-amd64-x86_64-with-glibc2.42
python: 3.13.12
client-version: 1.4.0
compiler: g++ (Debian 15.2.0-17) 15.2.0
cppcheck: head 2.20.0
head-info: e5c4a734 (2026-05-01 11:10:43 +0200)
count: 69 57
elapsed-time: 0.4 0.3
head-timing-info:

old-timing-info:

head results:
coq-gappalib-coq-1.7.1/src/gappatac.c:2:40: error: The code contains unhandled character(s) (character code=195). Neither unicode nor extended ascii is supported. [unhandledChar]
coq-gappalib-coq-1.7.1/remake.cpp:785:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:793:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:914:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:942:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:987:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:1444:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:1508:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:1548:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:1583:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:1635:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:1783:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:1877:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:1897:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2042:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2142:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2185:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2263:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2390:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2457:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MSG_NOSIGNAL [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2599:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2652:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_BLOCK [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2724:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2869:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WNOHANG [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2917:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2961:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_UNIX [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:3028:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:3092:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
coq-gappalib-coq-1.7.1/remake.cpp:2346:18: style: Obsolescent function 'vfork' called. It is recommended to use 'fork' instead. [prohibitedvforkCalled]
coq-gappalib-coq-1.7.1/remake.cpp:2662:16: portability: Non reentrant function 'tempnam' called. For threadsafe applications it is recommended to use the reentrant replacement function 'tempnam_r'. [prohibitedtempnamCalled]
coq-gappalib-coq-1.7.1/remake.cpp:1320:22: warning: Member variable 'addprefix_generator::prei' is not initialized in the constructor. [uninitMemberVar]
coq-gappalib-coq-1.7.1/remake.cpp:1376:22: warning: Member variable 'addsuffix_generator::sufi' is not initialized in the constructor. [uninitMemberVar]
coq-gappalib-coq-1.7.1/remake.cpp:495:11: warning: 'operator=' should check for assignment to self to avoid problems with dynamic memory. [operatorEqToSelf]
coq-gappalib-coq-1.7.1/remake.cpp:493:29: warning: Value of pointer 'ptr', which points to allocated memory, is copied in copy constructor instead of allocating new memory. [copyCtorPointerCopying]
coq-gappalib-coq-1.7.1/remake.cpp:829:2: style: Struct 'escape_string' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
coq-gappalib-coq-1.7.1/remake.cpp:492:2: style: Struct 'ref_ptr < dependency_t >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
coq-gappalib-coq-1.7.1/remake.cpp:488:3: style: Struct 'content' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
coq-gappalib-coq-1.7.1/remake.cpp:492:2: style: Struct 'ref_ptr < rule_t >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
coq-gappalib-coq-1.7.1/remake.cpp:1198:15: style: The function 'next' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
coq-gappalib-coq-1.7.1/remake.cpp:1187:23: note: Virtual function in base class
coq-gappalib-coq-1.7.1/remake.cpp:1198:15: note: Function in derived class
coq-gappalib-coq-1.7.1/remake.cpp:1317:15: style: The function 'next' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
coq-gappalib-coq-1.7.1/remake.cpp:1187:23: note: Virtual function in base class
coq-gappalib-coq-1.7.1/remake.cpp:1317:15: note: Function in derived class
coq-gappalib-coq-1.7.1/remake.cpp:1373:15: style: The function 'next' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
coq-gappalib-coq-1.7.1/remake.cpp:1187:23: note: Virtual function in base class
coq-gappalib-coq-1.7.1/remake.cpp:1373:15: note: Function in derived class
coq-gappalib-coq-1.7.1/remake.cpp:2368:20: style: C-style pointer casting [cstyleCast]
coq-gappalib-coq-1.7.1/remake.cpp:2681:22: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast]
coq-gappalib-coq-1.7.1/remake.cpp:2963:25: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast]
coq-gappalib-coq-1.7.1/remake.cpp:2975:22: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast]
coq-gappalib-coq-1.7.1/remake.cpp:1201:59: style:inconclusive: Function 'variable_generator' argument 1 names different: declaration '<unnamed>' definition 'n'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1202:22: style:inconclusive: Function 'variable_generator' argument 2 names different: declaration '<unnamed>' definition 'local_variables'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1220:52: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1248:49: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1320:65: style:inconclusive: Function 'addprefix_generator' argument 1 names different: declaration '<unnamed>' definition 'top'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1320:76: style:inconclusive: Function 'addprefix_generator' argument 2 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1330:53: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1376:65: style:inconclusive: Function 'addsuffix_generator' argument 1 names different: declaration '<unnamed>' definition 'top'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1376:76: style:inconclusive: Function 'addsuffix_generator' argument 2 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1386:53: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1416:55: style:inconclusive: Function 'get_function' argument 1 names different: declaration '<unnamed>' definition 'in'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:1416:78: style:inconclusive: Function 'get_function' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
coq-gappalib-coq-1.7.1/remake.cpp:2230:18: style: Local variable 's' shadows outer variable [shadowVariable]
coq-gappalib-coq-1.7.1/remake.cpp:2177:21: note: Shadowed declaration
coq-gappalib-coq-1.7.1/remake.cpp:2230:18: note: Shadow variable
coq-gappalib-coq-1.7.1/remake.cpp:2868:7: style: Local variable 'status' shadows outer variable [shadowVariable]
coq-gappalib-coq-1.7.1/remake.cpp:629:19: note: Shadowed declaration
coq-gappalib-coq-1.7.1/remake.cpp:2868:7: note: Shadow variable
coq-gappalib-coq-1.7.1/remake.cpp:2984:11: style: Local variable 'len' shadows outer variable [shadowVariable]
coq-gappalib-coq-1.7.1/remake.cpp:2957:9: note: Shadowed declaration
coq-gappalib-coq-1.7.1/remake.cpp:2984:11: note: Shadow variable
coq-gappalib-coq-1.7.1/remake.cpp:2995:11: style: Local variable 'len' shadows outer variable [shadowVariable]
coq-gappalib-coq-1.7.1/remake.cpp:2957:9: note: Shadowed declaration
coq-gappalib-coq-1.7.1/remake.cpp:2995:11: note: Shadow variable
coq-gappalib-coq-1.7.1/remake.cpp:3001:16: style: Local variable 's' shadows outer variable [shadowVariable]
coq-gappalib-coq-1.7.1/remake.cpp:2994:15: note: Shadowed declaration
coq-gappalib-coq-1.7.1/remake.cpp:3001:16: note: Shadow variable
coq-gappalib-coq-1.7.1/remake.cpp:1006:41: style: Parameter 'l' can be declared as reference to const [constParameterReference]
coq-gappalib-coq-1.7.1/remake.cpp:1559:26: style: Variable 'dep' can be declared as reference to const [constVariableReference]
coq-gappalib-coq-1.7.1/remake.cpp:880:8: style: Variable 'res' can be declared as pointer to const [constVariablePointer]
coq-gappalib-coq-1.7.1/remake.cpp:2934:31: style: Parameter 'socket_name' can be declared as pointer to const [constParameterPointer]
coq-gappalib-coq-1.7.1/remake.cpp:2973:8: style: Variable 'id' can be declared as pointer to const [constVariablePointer]
coq-gappalib-coq-1.7.1/remake.cpp:3053:26: style: Parameter 'argv' can be declared as const array [constParameter]
coq-gappalib-coq-1.7.1/remake.cpp:1371:14: style: struct member 'addsuffix_generator::pre' is never used. [unusedStructMember]
diff:
head coq-gappalib-coq-1.7.1/remake.cpp:1201:59: style:inconclusive: Function 'variable_generator' argument 1 names different: declaration '<unnamed>' definition 'n'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1202:22: style:inconclusive: Function 'variable_generator' argument 2 names different: declaration '<unnamed>' definition 'local_variables'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1220:52: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1248:49: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1320:65: style:inconclusive: Function 'addprefix_generator' argument 1 names different: declaration '<unnamed>' definition 'top'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1320:76: style:inconclusive: Function 'addprefix_generator' argument 2 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1330:53: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1376:65: style:inconclusive: Function 'addsuffix_generator' argument 1 names different: declaration '<unnamed>' definition 'top'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1376:76: style:inconclusive: Function 'addsuffix_generator' argument 2 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1386:53: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1416:55: style:inconclusive: Function 'get_function' argument 1 names different: declaration '<unnamed>' definition 'in'. [funcArgNamesDifferentUnnamed]
head coq-gappalib-coq-1.7.1/remake.cpp:1416:78: style:inconclusive: Function 'get_function' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]


DONE