Scan Results

List of Findings

Error: NULL_FIELD (CWE-476): [#def1]
/pacemaker/lib/pengine/bundle.c:963: path: Condition "!(rsc != NULL)", taking false branch.
/pacemaker/lib/pengine/bundle.c:964: path: Switch case default.
/pacemaker/lib/pengine/bundle.c:964: path: Condition "trace_tag_cs == NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:964: path: Condition "crm_is_callsite_active(trace_tag_cs, _level, converted_tag)", taking false branch.
/pacemaker/lib/pengine/bundle.c:972: path: Condition "xml_obj != NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:976: path: Condition "xml_obj == NULL", taking false branch.
/pacemaker/lib/pengine/bundle.c:984: path: Condition "xml_obj == NULL", taking false branch.
/pacemaker/lib/pengine/bundle.c:996: path: Condition "value == NULL", taking false branch.
/pacemaker/lib/pengine/bundle.c:1009: path: Condition "bundle_data->nreplicas_per_host == 1", taking true branch.
/pacemaker/lib/pengine/bundle.c:1022: path: Condition "xml_obj", taking true branch.
/pacemaker/lib/pengine/bundle.c:1033: path: Condition "value == NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:1041: path: Condition "xml_child != NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:1051: path: Condition "port->source == NULL", taking false branch.
/pacemaker/lib/pengine/bundle.c:1058: path: Condition "port->source != NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:1058: path: Condition "strlen(port->source) > 0", taking true branch.
/pacemaker/lib/pengine/bundle.c:1059: path: Condition "port->target == NULL", taking false branch.
/pacemaker/lib/pengine/bundle.c:1064: path: Falling through to end of if statement.
/pacemaker/lib/pengine/bundle.c:1069: path: Jumping back to the beginning of the loop.
/pacemaker/lib/pengine/bundle.c:1041: path: Condition "xml_child != NULL", taking false branch.
/pacemaker/lib/pengine/bundle.c:1074: path: Condition "xml_child != NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:1084: path: Condition "source == NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:1090: path: Condition "source", taking true branch.
/pacemaker/lib/pengine/bundle.c:1090: path: Condition "target", taking true branch.
/pacemaker/lib/pengine/bundle.c:1092: path: Condition "strcmp(target, "/var/log") == 0", taking true branch.
/pacemaker/lib/pengine/bundle.c:1095: path: Falling through to end of if statement.
/pacemaker/lib/pengine/bundle.c:1099: path: Jumping back to the beginning of the loop.
/pacemaker/lib/pengine/bundle.c:1074: path: Condition "xml_child != NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:1084: path: Condition "source == NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:1090: path: Condition "source", taking true branch.
/pacemaker/lib/pengine/bundle.c:1090: path: Condition "target", taking false branch.
/pacemaker/lib/pengine/bundle.c:1096: path: Condition "pcmk__config_error_handler == NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:1096: path: Falling through to end of if statement.
/pacemaker/lib/pengine/bundle.c:1099: path: Jumping back to the beginning of the loop.
/pacemaker/lib/pengine/bundle.c:1074: path: Condition "xml_child != NULL", taking false branch.
/pacemaker/lib/pengine/bundle.c:1103: path: Condition "xml_obj", taking true branch.
/pacemaker/lib/pengine/bundle.c:1103: path: Condition "valid_network(bundle_data)", taking true branch.
/pacemaker/lib/pengine/bundle.c:1115: path: Condition "bundle_data->promoted_max > 0", taking false branch.
/pacemaker/lib/pengine/bundle.c:1136: path: Condition "bundle_data->nreplicas_per_host > 1", taking false branch.
/pacemaker/lib/pengine/bundle.c:1139: path: Condition "bundle_data->promoted_max", taking false branch.
/pacemaker/lib/pengine/bundle.c:1151: path: Falling through to end of if statement.
/pacemaker/lib/pengine/bundle.c:1158: path: Condition "xml_resource", taking true branch.
/pacemaker/lib/pengine/bundle.c:1168: path: Condition "rc != pcmk_rc_ok", taking false branch.
/pacemaker/lib/pengine/bundle.c:1196: path: Condition "need_log_mount", taking false branch.
/pacemaker/lib/pengine/bundle.c:1202: path: Condition "bundle_data->control_port", taking true branch.
/pacemaker/lib/pengine/bundle.c:1204: path: Falling through to end of if statement.
/pacemaker/lib/pengine/bundle.c:1220: path: Condition "childIter != NULL", taking true branch.
/pacemaker/lib/pengine/bundle.c:1231: path: Condition "pcmk__is_set(replica->child->flags, pcmk__rsc_notify)", taking true branch.
/pacemaker/lib/pengine/bundle.c:1238: null_field: Reading field "child", which is expected to possibly be "NULL" in "replica->child" (checked 17 out of 18 times).
/pacemaker/lib/pengine/bundle.c:1238: dereference: Dereferencing "replica->child", which is known to be "NULL".
/pacemaker/lib/pacemaker/pcmk_sched_bundle.c:71: example_checked: Example 1: "replica->child" has its value checked in "replica->child != NULL".
/pacemaker/lib/pacemaker/pcmk_sched_bundle.c:939: example_checked: Example 2: "replica->child" has its value checked in "replica->child != NULL".
/pacemaker/lib/pacemaker/pcmk_sched_bundle.c:506: example_checked: Example 3: "replica->child" has its value checked in "replica->child == NULL".
/pacemaker/lib/pacemaker/pcmk_sched_bundle.c:249: example_checked: Example 4: "replica->child" has its value checked in "replica->child != NULL".
/pacemaker/lib/pacemaker/pcmk_sched_bundle.c:290: example_checked: Example 5: "replica->child" has its value checked in "replica->child != NULL".

Error: REVERSE_INULL (CWE-476): [#def2]
/pacemaker/lib/services/systemd.c:1170: deref_ptr_in_call: Dereferencing pointer "filename".
/pacemaker/lib/services/systemd.c:1068: dereference_in_call: Function "g_string_append" dereferences "buf".
/pacemaker/lib/services/systemd.c:1188: check_after_deref: Null-checking "filename" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.

Error: REVERSE_INULL (CWE-476): [#def3]
/pacemaker/lib/services/systemd.c:1100: deref_ptr: Directly dereferencing pointer "filename".
/pacemaker/lib/services/systemd.c:1152: check_after_deref: Null-checking "filename" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.