2026-05-01 09:28
ftp://ftp.de.debian.org/debian/pool/main/c/checkpolicy/checkpolicy_3.10.orig.tar.gz
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: 207 193
elapsed-time: 0.6 0.5
head-timing-info:

old-timing-info:

head results:
checkpolicy-3.10/parse_util.c:41:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/fuzz/checkpolicy-fuzzer.c:45:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/fuzz/checkpolicy-fuzzer.c:67:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MFD_CLOEXEC [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/fuzz/checkpolicy-fuzzer.c:143:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PF_USE_STDIO [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/fuzz/checkpolicy-fuzzer.c:168:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/checkmodule.c:52:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/checkmodule.c:115:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PF_USE_STDIO [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/checkmodule.c:151:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLICY_BASE [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/fuzz/checkpolicy-fuzzer.c:83:3: error: Resource handle 'fd' freed twice. [doubleFree]
checkpolicy-3.10/fuzz/checkpolicy-fuzzer.c:81:9: note: Resource handle 'fd' freed twice.
checkpolicy-3.10/fuzz/checkpolicy-fuzzer.c:83:3: note: Resource handle 'fd' freed twice.
checkpolicy-3.10/queue.c:26:26: style:inconclusive: Function 'queue_insert' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:26:45: style:inconclusive: Function 'queue_insert' argument 2 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:50:24: style:inconclusive: Function 'queue_push' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:50:43: style:inconclusive: Function 'queue_push' argument 2 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:74:38: style:inconclusive: Function 'queue_remove' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:96:36: style:inconclusive: Function 'queue_head' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:107:26: style:inconclusive: Function 'queue_clear' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:125:28: style:inconclusive: Function 'queue_destroy' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:143:23: style:inconclusive: Function 'queue_map' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:143:68: style:inconclusive: Function 'queue_map' argument 3 names different: declaration '<unnamed>' definition 'vp'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:161:40: style:inconclusive: Function 'queue_map_remove_on_error' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:163:18: style:inconclusive: Function 'queue_map_remove_on_error' argument 3 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/queue.c:163:54: style:inconclusive: Function 'queue_map_remove_on_error' argument 4 names different: declaration '<unnamed>' definition 'vp'. [funcArgNamesDifferentUnnamed]
checkpolicy-3.10/checkmodule.c:305:9: style: Variable 'mod_name' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/checkpolicy.c:300:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/checkpolicy.c:371:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/checkpolicy.c:395:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:81:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLICY_MOD [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:164:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable table [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:196:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_DECL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:249:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROLE_ROLE [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:312:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_DECL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:384:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TYPE_TYPE [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:441:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_DECL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:504:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_DECL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:540:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_DECL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:616:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type_datum_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:665:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable role_datum_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:703:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_REQ [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:786:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PERM_SYMTAB_SIZE [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:886:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_REQ [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:927:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_REQ [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:957:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_REQ [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:991:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COND_BOOL_FLAGS_TUNABLE [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:1029:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level_datum_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:1075:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cat_datum_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:1124:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable table [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:1297:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVRULE_OPTIONAL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/module_compiler.c:1364:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_NUM [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:81:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:139:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVTAB_ENABLED [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:296:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ALLOW_UNKNOWN [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:328:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:380:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:422:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable flavor [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:439:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable flavor [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:453:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_ROLES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:480:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:506:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dispol.c:519:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:108:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:149:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable table [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:163:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TYPE_STAR [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:235:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROLE_STAR [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:276:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVRULE_AV [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:391:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:435:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_USERS [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:454:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_BOOLS [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:508:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OCON_ISID [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:543:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_CLASSES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:558:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_ROLES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:579:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_CLASSES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:595:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_ROLES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:607:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_NUM [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:780:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ALLOW_UNKNOWN [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:797:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:840:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLICY_BASE [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:910:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:921:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLICY_BASE [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/test/dismod.c:936:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/checkpolicy.c:494:6: style: Statements following noreturn function 'usage()' will never be executed. [unreachableCode]
checkpolicy-3.10/checkpolicy.c:503:6: style: Statements following noreturn function 'usage()' will never be executed. [unreachableCode]
checkpolicy-3.10/checkpolicy.c:151:16: style: Variable 'perdatum' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/checkpolicy.c:368:17: style: Variable 'levdatum' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dispol.c:148:6: style: The if condition is the same as the previous if condition [duplicateCondition]
checkpolicy-3.10/test/dispol.c:135:6: note: First condition
checkpolicy-3.10/test/dispol.c:148:6: note: Second condition
checkpolicy-3.10/test/dispol.c:102:52: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:108:37: style: Parameter 'key' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:110:8: style: Variable 'stype' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dispol.c:110:16: style: Variable 'ttype' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dispol.c:110:24: style: Variable 'tclass' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dispol.c:219:36: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:234:39: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:237:15: style: Variable 'cur' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dispol.c:294:48: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:321:42: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:351:41: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:385:39: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:399:39: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:413:39: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:430:44: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dispol.c:449:16: style: Variable 'rt' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dispol.c:470:29: style: Variable 'ft' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dispol.c:518:8: style: Variable 'bpol' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dismod.c:313:22: style: Condition 'display_type_set(&avrule->stypes,0,policy,fp)' is always false [knownConditionTrueFalse]
checkpolicy-3.10/test/dismod.c:313:22: note: Calling function 'display_type_set' returns 0
checkpolicy-3.10/test/dismod.c:313:22: note: Condition 'display_type_set(&avrule->stypes,0,policy,fp)' is always false
checkpolicy-3.10/test/dismod.c:316:22: style: Condition 'display_type_set(&avrule->ttypes,avrule->flags,policy,fp)' is always false [knownConditionTrueFalse]
checkpolicy-3.10/test/dismod.c:316:22: note: Calling function 'display_type_set' returns 0
checkpolicy-3.10/test/dismod.c:316:22: note: Condition 'display_type_set(&avrule->ttypes,avrule->flags,policy,fp)' is always false
checkpolicy-3.10/test/dismod.c:737:8: style: Condition 'display_scope_index(&decl->required,policy,out_fp)' is always false [knownConditionTrueFalse]
checkpolicy-3.10/test/dismod.c:737:8: note: Calling function 'display_scope_index' returns 0
checkpolicy-3.10/test/dismod.c:737:8: note: Condition 'display_scope_index(&decl->required,policy,out_fp)' is always false
checkpolicy-3.10/test/dismod.c:744:8: style: Condition 'display_scope_index(&decl->declared,policy,out_fp)' is always false [knownConditionTrueFalse]
checkpolicy-3.10/test/dismod.c:744:8: note: Calling function 'display_scope_index' returns 0
checkpolicy-3.10/test/dismod.c:744:8: note: Condition 'display_scope_index(&decl->declared,policy,out_fp)' is always false
checkpolicy-3.10/test/dismod.c:148:17: style: Variable 'scope' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dismod.c:269:21: style: Variable 'cur' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dismod.c:460:39: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dismod.c:463:15: style: Variable 'cur' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dismod.c:505:8: style: Variable 'user' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dismod.c:505:15: style: Variable 'role' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dismod.c:505:22: style: Variable 'type' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/test/dismod.c:778:48: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dismod.c:789:30: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/test/dismod.c:919:45: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/module_compiler.c:213:20: style: Variable 'delim' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/module_compiler.c:453:20: style: Variable 'delim' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/module_compiler.c:700:40: style: Parameter 'datum_value' can be declared as pointer to const [constParameterPointer]
checkpolicy-3.10/policy_define.c:178:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable class_datum_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:234:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:277:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:357:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ocontext_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:398:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_CLASSES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:430:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_CLASSES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:465:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_CLASSES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:500:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_CLASSES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:535:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_CLASSES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:582:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable common_datum_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:686:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PERM_SYMTAB_SIZE [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:801:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mls_level_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:994:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cat_datum_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1111:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mls_level_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1266:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1333:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type_datum_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1404:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1437:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1497:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1626:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1679:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TYPE_STAR [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1741:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avrule_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1893:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cond_bool_datum_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:2184:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avrule_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:2358:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable av_extended_perms_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:2395:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable av_extended_perms_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:2439:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable av_extended_perms_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:2522:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable class_perm_node_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:2559:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avrule_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:2653:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVRULE_XPERMS_NLMSG [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:2698:71: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLICYDB_VERSION_COND_XPERMS [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:2796:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avrule_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3022:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_ROLES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3074:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_ROLES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3124:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_ROLES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3215:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_ROLES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3302:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_ROLES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3402:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable role_allow_rule_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3504:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_TYPES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3635:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CEXPR_NAMES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3695:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CEXPR_XTARGET [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3859:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CEXPR_MAXDEPTH [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:3939:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CEXPR_NAMES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4102:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COND_NOT [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4203:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COND_BOOL [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4321:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_ROLES [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4408:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mls_semantic_cat_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4485:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mls_semantic_cat_t [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4595:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sens [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4687:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYM_USERS [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4827:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OCON_ISID [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4856:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4917:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_XEN [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:4968:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_XEN [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5029:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_XEN [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5090:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_XEN [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5142:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_XEN [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5199:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5292:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5397:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5475:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5532:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INET_ADDRSTRLEN [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5569:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5645:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5780:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INET6_ADDRSTRLEN [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5817:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5893:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:5967:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SEPOL_TARGET_SELINUX [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:6023:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLICYDB_CAP_GENFS_SECLABEL_WILDCARD [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:6209:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable range_trans_rule [valueFlowBailoutIncompleteVar]
checkpolicy-3.10/policy_define.c:1526:7: warning: Either the condition '!type' is redundant or there is possible null pointer dereference: type. [nullPointerRedundantCheck]
checkpolicy-3.10/policy_define.c:1522:6: note: Assuming that condition '!type' is not redundant
checkpolicy-3.10/policy_define.c:1526:7: note: Null pointer dereference
checkpolicy-3.10/policy_define.c:1861:10: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
checkpolicy-3.10/policy_define.c:1948:10: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
checkpolicy-3.10/policy_define.c:2714:10: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
checkpolicy-3.10/policy_define.c:2970:10: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
checkpolicy-3.10/policy_define.c:4208:10: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
checkpolicy-3.10/policy_define.c:344:25: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:657:31: style: Variable 'perdatum2' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:2496:21: style: Variable 'src_perms' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:3176:16: style: Variable 'roldatum' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:3661:21: style: Variable 'e' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:3828:21: style: Variable 'e' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:4083:15: style: Variable 'e' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:4085:19: style: Variable 'cn_old' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:4854:21: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:5473:21: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:5965:21: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
checkpolicy-3.10/policy_define.c:5395:9: style: Variable 'rc' is assigned a value that is never used. [unreadVariable]
diff:
head checkpolicy-3.10/queue.c:107:26: style:inconclusive: Function 'queue_clear' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:125:28: style:inconclusive: Function 'queue_destroy' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:143:23: style:inconclusive: Function 'queue_map' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:143:68: style:inconclusive: Function 'queue_map' argument 3 names different: declaration '<unnamed>' definition 'vp'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:161:40: style:inconclusive: Function 'queue_map_remove_on_error' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:163:18: style:inconclusive: Function 'queue_map_remove_on_error' argument 3 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:163:54: style:inconclusive: Function 'queue_map_remove_on_error' argument 4 names different: declaration '<unnamed>' definition 'vp'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:26:26: style:inconclusive: Function 'queue_insert' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:26:45: style:inconclusive: Function 'queue_insert' argument 2 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:50:24: style:inconclusive: Function 'queue_push' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:50:43: style:inconclusive: Function 'queue_push' argument 2 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:74:38: style:inconclusive: Function 'queue_remove' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/queue.c:96:36: style:inconclusive: Function 'queue_head' argument 1 names different: declaration '<unnamed>' definition 'q'. [funcArgNamesDifferentUnnamed]
head checkpolicy-3.10/test/dispol.c:518:8: style: Variable 'bpol' can be declared as pointer to const [constVariablePointer]


DONE