Fix: lib/graph: Dereference before null checks
authorFrancis Deslauriers <francis.deslauriers@efficios.com>
Mon, 6 May 2019 18:50:50 +0000 (14:50 -0400)
committerJérémie Galarneau <jeremie.galarneau@efficios.com>
Tue, 7 May 2019 16:31:13 +0000 (12:31 -0400)
  CID 1401244 (#1 of 1): Dereference before null check (REVERSE_INULL)
  check_after_deref: Null-checking
  graph->listeners.source_output_port_added suggests that it may be null,
  but it has already been dereferenced on all paths leading to the check.

  CID 1401260 (#1 of 1): Dereference before null check (REVERSE_INULL)
  check_after_deref: Null-checking
  graph->listeners.filter_output_port_added suggests that it may be null,
  but it has already been dereferenced on all paths leading to the check.k

  CID 1401243 (#1 of 1): Dereference before null check (REVERSE_INULL)
  check_after_deref: Null-checking
  graph->listeners.filter_input_port_added suggests that it may be null,
  but it has already been dereferenced on all paths leading to the check.

  CID 1401185 (#1 of 1): Dereference before null check (REVERSE_INULL)
  check_after_deref: Null-checking graph->listeners.sink_input_port_added
  suggests that it may be null, but it has already been dereferenced on
  all paths leading to the check.

  CID 1401262 (#1 of 1): Dereference before null check (REVERSE_INULL)
  check_after_deref: Null-checking
  graph->listeners.source_filter_ports_connected suggests that it may be
  null, but it has already been dereferenced on all paths leading to the
  check.

  CID 1401200 (#1 of 1): Dereference before null check (REVERSE_INULL)
  check_after_deref: Null-checking
  graph->listeners.filter_filter_ports_connected suggests that it may be
  null, but it has already been dereferenced on all paths leading to the
  check.

  CID 1401252 (#1 of 1): Dereference before null check (REVERSE_INULL)
  check_after_deref: Null-checking
  graph->listeners.source_sink_ports_connected suggests that it may be
  null, but it has already been dereferenced on all paths leading to the
  check.

  CID 1401264 (#1 of 1): Dereference before null check (REVERSE_INULL)
  check_after_deref: Null-checking
  graph->listeners.filter_sink_ports_connected suggests that it may be
  null, but it has already been dereferenced on all paths leading to the
  check.

Reported-by: Coverity (various ids) Dereference before null check
Signed-off-by: Francis Deslauriers <francis.deslauriers@efficios.com>
Change-Id: I88c8172e006e4bae2c7b5e29b501e1a36f19ae5c
Reviewed-on: https://review.lttng.org/c/babeltrace/+/1262
Reviewed-by: Jérémie Galarneau <jeremie.galarneau@efficios.com>
lib/graph/graph.c

index b43c35c6504268bd7739e3aeebde8d1945278829..2940355faf897ccbbb691a1e77be6ee46133f9dc 100644 (file)
@@ -82,6 +82,9 @@ struct bt_graph_listener_ports_connected {
        do {                                                            \
                size_t i;                                               \
                                                                        \
+               if (!_listeners) {                                      \
+                       break;                                          \
+               }                                                       \
                for (i = 0; i < (_listeners)->len; i++) {               \
                        _type *listener =                               \
                                &g_array_index((_listeners), _type, i); \
This page took 0.025721 seconds and 4 git commands to generate.