Scan Results
List of Findings
Error: DEADCODE (CWE-561): [#def1]
/corosync/tools/corosync-qdeitool.c:319: cond_cannot_single: Condition "err != CS_OK", taking true branch. Now the value of "err" cannot be equal to 1.
/corosync/tools/corosync-qdeitool.c:326: cond_cannot_single: Condition "err != CS_OK", taking true branch. Now the value of "err" cannot be equal to 1.
/corosync/tools/corosync-qdeitool.c:333: cannot_single: At condition "err != CS_OK", the value of "err" cannot be equal to 1.
/corosync/tools/corosync-qdeitool.c:333: dead_error_condition: The condition "err != CS_OK" must be true.
/corosync/tools/corosync-qdeitool.c:337: dead_error_line: Execution cannot reach this statement: "return 0;".
Error: NULL_RETURNS (CWE-476): [#def2]
/corosync/exec/votequorum.c:3184: returned_null: "find_node_by_nodeid" returns "NULL" (checked 10 out of 11 times).
/corosync/exec/votequorum.c:542: path: Condition "nodeid == us->node_id", taking false branch.
/corosync/exec/votequorum.c:547: path: Condition "nodeid == 0", taking false branch.
/corosync/exec/votequorum.c:552: path: Condition "tmp != &cluster_members_list", taking true branch.
/corosync/exec/votequorum.c:554: path: Condition "node->node_id == nodeid", taking false branch.
/corosync/exec/votequorum.c:558: path: Jumping back to the beginning of the loop.
/corosync/exec/votequorum.c:552: path: Condition "tmp != &cluster_members_list", taking false branch.
/corosync/exec/votequorum.c:561: return_null: Explicitly returning null.
/corosync/exec/votequorum.c:3184: var_assigned: Assigning: "node" = "NULL" return value from "find_node_by_nodeid".
/corosync/exec/votequorum.c:3186: dereference: Dereferencing "node", which is known to be "NULL".
/corosync/exec/votequorum.c:2135: example_assign: Example 1: Assigning: "node" = return value from "find_node_by_nodeid(nodeid)".
/corosync/exec/votequorum.c:2136: example_checked: Example 1 (cont.): "node" has its value checked in "node".
/corosync/exec/votequorum.c:1742: example_assign: Example 2: Assigning: "node" = return value from "find_node_by_nodeid(nodeid)".
/corosync/exec/votequorum.c:1743: example_checked: Example 2 (cont.): "node" has its value checked in "node".
/corosync/exec/votequorum.c:3260: example_assign: Example 3: Assigning: "node" = return value from "find_node_by_nodeid(nodeid)".
/corosync/exec/votequorum.c:3261: example_checked: Example 3 (cont.): "node" has its value checked in "node".
/corosync/exec/votequorum.c:2262: example_assign: Example 4: Assigning: "node" = return value from "find_node_by_nodeid(req_exec_quorum_reconfigure->nodeid)".
/corosync/exec/votequorum.c:2263: example_checked: Example 4 (cont.): "node" has its value checked in "node".
/corosync/exec/votequorum.c:2632: example_assign: Example 5: Assigning: "node" = return value from "find_node_by_nodeid(nodeid)".
/corosync/exec/votequorum.c:2633: example_checked: Example 5 (cont.): "node" has its value checked in "node".