Scan Results

List of Findings

Error: INCONSISTENT_UNION_ACCESS (CWE-456): [#def1]
/pacemaker/daemons/controld/controld_remote_proxy.c:78: assign_union_field: The union field "in" of "_pp" is written.
/pacemaker/daemons/controld/controld_remote_proxy.c:78: inconsistent_union_field_access: In "_pp.out", the union field used: "out" is inconsistent with the field most recently stored: "in".

Error: INCONSISTENT_UNION_ACCESS (CWE-456): [#def2]
/pacemaker/daemons/execd/cts-exec-helper.c:76: path: Condition "pcmk__str_any_of(option_name, "--param-key", "-k", NULL)", taking false branch.
/pacemaker/daemons/execd/cts-exec-helper.c:78: path: Condition "pcmk__str_any_of(option_name, "--param-val", "-v", NULL)", taking false branch.
/pacemaker/daemons/execd/cts-exec-helper.c:82: path: Condition "key != NULL", taking true branch.
/pacemaker/daemons/execd/cts-exec-helper.c:82: path: Condition "val != NULL", taking true branch.
/pacemaker/daemons/execd/cts-exec-helper.c:84: path: Condition "_p", taking true branch.
/pacemaker/daemons/execd/cts-exec-helper.c:85: assign_union_field: The union field "in" of "_pp" is written.
/pacemaker/daemons/execd/cts-exec-helper.c:85: inconsistent_union_field_access: In "_pp.out", the union field used: "out" is inconsistent with the field most recently stored: "in".

Error: INCONSISTENT_UNION_ACCESS (CWE-456): [#def3]
/pacemaker/lib/cib/cib_utils.c:852: path: Condition "event != NULL", taking true branch.
/pacemaker/lib/cib/cib_utils.c:852: path: Condition "input != NULL", taking true branch.
/pacemaker/lib/cib/cib_utils.c:852: path: Condition "output != NULL", taking true branch.
/pacemaker/lib/cib/cib_utils.c:859: path: Condition "rc < 0", taking false branch.
/pacemaker/lib/cib/cib_utils.c:859: path: Condition "diff == NULL", taking false branch.
/pacemaker/lib/cib/cib_utils.c:863: path: Condition "level > 2", taking true branch.
/pacemaker/lib/cib/cib_utils.c:864: path: Switch case value "255".
/pacemaker/lib/cib/cib_utils.c:864: path: Breaking from switch.
/pacemaker/lib/cib/cib_utils.c:867: path: Condition "input == NULL", taking false branch.
/pacemaker/lib/cib/cib_utils.c:871: path: Condition "*output != input", taking true branch.
/pacemaker/lib/cib/cib_utils.c:879: path: Condition "rc == 0", taking false branch.
/pacemaker/lib/cib/cib_utils.c:883: path: Switch case default.
/pacemaker/lib/cib/cib_utils.c:883: path: Condition "trace_cs == NULL", taking true branch.
/pacemaker/lib/cib/cib_utils.c:883: path: Condition "crm_is_callsite_active(trace_cs, _level, 0)", taking false branch.
/pacemaker/lib/cib/cib_utils.c:883: path: Breaking from switch.
/pacemaker/lib/cib/cib_utils.c:885: path: Condition "rc == -205", taking false branch.
/pacemaker/lib/cib/cib_utils.c:891: assign_union_field: The union field "in" of "_pp" is written.
/pacemaker/lib/cib/cib_utils.c:891: inconsistent_union_field_access: In "_pp.out", the union field used: "out" is inconsistent with the field most recently stored: "in".

Error: INCONSISTENT_UNION_ACCESS (CWE-456): [#def4]
/pacemaker/daemons/controld/controld_control.c:157: path: Condition "in_progress", taking false branch.
/pacemaker/daemons/controld/controld_control.c:161: path: Condition "in_progress", taking false branch.
/pacemaker/daemons/controld/controld_control.c:170: path: Switch case default.
/pacemaker/daemons/controld/controld_control.c:170: path: Condition "trace_cs == NULL", taking true branch.
/pacemaker/daemons/controld/controld_control.c:170: path: Condition "crm_is_callsite_active(trace_cs, _level, 0)", taking false branch.
/pacemaker/daemons/controld/controld_control.c:170: path: Breaking from switch.
/pacemaker/daemons/controld/controld_control.c:178: path: Condition "ipcs", taking true branch.
/pacemaker/daemons/controld/controld_control.c:179: path: Switch case default.
/pacemaker/daemons/controld/controld_control.c:179: path: Condition "trace_cs == NULL", taking true branch.
/pacemaker/daemons/controld/controld_control.c:179: path: Condition "crm_is_callsite_active(trace_cs, _level, 0)", taking false branch.
/pacemaker/daemons/controld/controld_control.c:179: path: Breaking from switch.
/pacemaker/daemons/controld/controld_control.c:188: path: Condition "exit_code == CRM_EX_OK", taking true branch.
/pacemaker/daemons/controld/controld_control.c:188: path: Condition "controld_globals.mainloop == NULL", taking false branch.
/pacemaker/daemons/controld/controld_control.c:199: path: Condition "exit_code != CRM_EX_OK", taking false branch.
/pacemaker/daemons/controld/controld_control.c:229: path: Condition "_p", taking true branch.
/pacemaker/daemons/controld/controld_control.c:241: path: Condition "_p", taking true branch.
/pacemaker/daemons/controld/controld_control.c:242: path: Condition "_p", taking true branch.
/pacemaker/daemons/controld/controld_control.c:243: path: Condition "_p", taking true branch.
/pacemaker/daemons/controld/controld_control.c:244: path: Condition "_p", taking true branch.
/pacemaker/daemons/controld/controld_control.c:245: path: Condition "_p", taking true branch.
/pacemaker/daemons/controld/controld_control.c:257: path: Condition "mloop", taking true branch.
/pacemaker/daemons/controld/controld_control.c:266: path: Switch case default.
/pacemaker/daemons/controld/controld_control.c:266: path: Condition "trace_cs == NULL", taking true branch.
/pacemaker/daemons/controld/controld_control.c:266: path: Condition "crm_is_callsite_active(trace_cs, _level, 0)", taking false branch.
/pacemaker/daemons/controld/controld_control.c:266: path: Breaking from switch.
/pacemaker/daemons/controld/controld_control.c:272: path: Condition "g_main_context_pending(ctx)", taking true branch.
/pacemaker/daemons/controld/controld_control.c:272: path: Condition "lpc < 10", taking true branch.
/pacemaker/daemons/controld/controld_control.c:274: path: Switch case default.
/pacemaker/daemons/controld/controld_control.c:274: path: Condition "trace_cs == NULL", taking true branch.
/pacemaker/daemons/controld/controld_control.c:274: path: Condition "crm_is_callsite_active(trace_cs, _level, 0)", taking false branch.
/pacemaker/daemons/controld/controld_control.c:274: path: Breaking from switch.
/pacemaker/daemons/controld/controld_control.c:276: path: Jumping back to the beginning of the loop.
/pacemaker/daemons/controld/controld_control.c:272: path: Condition "g_main_context_pending(ctx)", taking true branch.
/pacemaker/daemons/controld/controld_control.c:272: path: Condition "lpc < 10", taking false branch.
/pacemaker/daemons/controld/controld_control.c:279: path: Switch case default.
/pacemaker/daemons/controld/controld_control.c:279: path: Condition "trace_cs == NULL", taking true branch.
/pacemaker/daemons/controld/controld_control.c:279: path: Condition "crm_is_callsite_active(trace_cs, _level, 0)", taking false branch.
/pacemaker/daemons/controld/controld_control.c:279: path: Breaking from switch.
/pacemaker/daemons/controld/controld_control.c:285: path: Falling through to end of if statement.
/pacemaker/daemons/controld/controld_control.c:290: path: Condition "_p", taking true branch.
/pacemaker/daemons/controld/controld_control.c:291: assign_union_field: The union field "in" of "_pp" is written.
/pacemaker/daemons/controld/controld_control.c:291: inconsistent_union_field_access: In "_pp.out", the union field used: "out" is inconsistent with the field most recently stored: "in".