Error: GCC_ANALYZER_WARNING (CWE-131): [#def1] userspace-rcu-0.15.2/doc/examples/hlist/..//../../include/urcu/rcuhlist.h:26:9: warning[-Wanalyzer-allocation-size]: allocated buffer size is not a multiple of the pointee's size userspace-rcu-0.15.2/doc/examples/hlist/cds_hlist_add_head_rcu.c:24:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/doc/examples/hlist/cds_hlist_add_head_rcu.c:36:21: branch_true: following ‘true’ branch (when ‘i != 4’)... userspace-rcu-0.15.2/doc/examples/hlist/cds_hlist_add_head_rcu.c:37:24: branch_true: ...to here userspace-rcu-0.15.2/doc/examples/hlist/cds_hlist_add_head_rcu.c:38:20: branch_false: following ‘false’ branch (when ‘node’ is non-NULL)... userspace-rcu-0.15.2/doc/examples/hlist/cds_hlist_add_head_rcu.c:42:31: branch_false: ...to here userspace-rcu-0.15.2/doc/examples/hlist/cds_hlist_add_head_rcu.c:43:17: call_function: calling ‘cds_hlist_add_head_rcu’ from ‘main’ # 24| { # 25| newp->next = head->next; # 26|-> newp->prev = (struct cds_hlist_node *)head; # 27| if (head->next) # 28| head->next->prev = newp; Error: GCC_ANALYZER_WARNING (CWE-401): [#def2] userspace-rcu-0.15.2/src/../include/urcu/static/rculfqueue.h:61:16: warning[-Wanalyzer-malloc-leak]: leak of 'dummy' userspace-rcu-0.15.2/src/rculfqueue.c:24:6: enter_function: entry to 'cds_lfq_init_rcu' userspace-rcu-0.15.2/src/rculfqueue.c:28:9: call_function: inlined call to '_cds_lfq_init_rcu' from 'cds_lfq_init_rcu' # 59| dummy->parent.dummy = 1; # 60| dummy->q = q; # 61|-> return &dummy->parent; # 62| } # 63| Error: GCC_ANALYZER_WARNING (CWE-775): [#def3] userspace-rcu-0.15.2/src/compat-smp.h:154:30: warning[-Wanalyzer-fd-leak]: leak of file descriptor 'open(path, 0)' userspace-rcu-0.15.2/src/rculfhash.c:1644:18: enter_function: entry to '_cds_lfht_new_with_alloc' userspace-rcu-0.15.2/src/rculfhash.c:1675:13: branch_false: following 'false' branch... userspace-rcu-0.15.2/src/rculfhash.c:1678:13: branch_false: ...to here userspace-rcu-0.15.2/src/rculfhash.c:1688:9: branch_true: following 'true' branch... userspace-rcu-0.15.2/src/rculfhash.c:1689:9: branch_true: ...to here userspace-rcu-0.15.2/src/rculfhash.c:1689:9: branch_true: following 'true' branch... userspace-rcu-0.15.2/src/rculfhash.c:1690:9: branch_true: ...to here userspace-rcu-0.15.2/src/rculfhash.c:1690:9: branch_true: following 'true' branch... userspace-rcu-0.15.2/src/rculfhash.c:1692:9: branch_true: ...to here userspace-rcu-0.15.2/src/rculfhash.c:1697:9: call_function: calling 'alloc_split_items_count' from '_cds_lfht_new_with_alloc' # 152| # 153| do { # 154|-> bytes_read = read(fd, buf + total_bytes_read, # 155| max_bytes - total_bytes_read); # 156| Error: GCC_ANALYZER_WARNING (CWE-401): [#def4] userspace-rcu-0.15.2/tests/benchmark/../../include/urcu/static/rculfqueue.h:61:16: warning[-Wanalyzer-malloc-leak]: leak of ‘dummy’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:222:6: enter_function: entry to ‘test_end’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:227:25: call_function: calling ‘_cds_lfq_dequeue_rcu’ from ‘test_end’ # 59| dummy->parent.dummy = 1; # 60| dummy->q = q; # 61|-> return &dummy->parent; # 62| } # 63| Error: GCC_ANALYZER_WARNING (CWE-688): [#def5] userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:282:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:200:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:204:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:207:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:212:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:213:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:218:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:219:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:269:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:272:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:272:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:281:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:283:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:282:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 280| # 281| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 282|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 283| (void *)(long)i_thr); # 284| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def6] userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:288:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:200:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:204:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:207:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:212:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:213:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:218:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:219:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:269:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:272:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:273:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:281:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:287:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:289:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:288:23: danger: argument 1 (‘tid_writer + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 286| } # 287| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 288|-> err = pthread_create(&tid_writer[i_thr], NULL, thr_writer, # 289| (void *)(long)i_thr); # 290| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def7] userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:297:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:190:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:200:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:204:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:207:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:212:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:213:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:218:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:219:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:269:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:272:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:272:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:281:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:287:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:294:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:294:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:294:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:296:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:297:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:297:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/11) # 295| # 296| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 297|-> err = pthread_join(tid_reader[i_thr], &tret); # 298| if (err != 0) # 299| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def8] userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:303:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:190:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:200:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:204:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:207:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:212:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:213:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:218:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:219:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:269:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:272:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:273:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:281:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:287:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:294:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:294:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:294:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:296:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:302:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:303:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_mutex.c:303:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/11) # 301| } # 302| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 303|-> err = pthread_join(tid_writer[i_thr], &tret); # 304| if (err != 0) # 305| exit(1); Error: GCC_ANALYZER_WARNING (CWE-688): [#def9] userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:316:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:232:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:236:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:239:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:244:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:245:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:250:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:251:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:304:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:309:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:310:52: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:315:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:317:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:316:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(9)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/8) could be NULL where non-null expected # 314| # 315| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 316|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 317| (void *)(long)i_thr); # 318| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def10] userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:322:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:232:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:236:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:239:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:244:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:245:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:250:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:251:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:301:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:304:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:305:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:309:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:313:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:315:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:321:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:323:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:322:23: danger: argument 1 (‘tid_writer + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 320| } # 321| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 322|-> err = pthread_create(&tid_writer[i_thr], NULL, thr_writer, # 323| (void *)(long)i_thr); # 324| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def11] userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:331:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:223:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:232:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:236:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:239:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:244:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:245:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:250:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:251:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:304:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:315:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:321:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:328:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:328:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:328:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:330:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:331:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:331:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/9) # 329| # 330| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 331|-> err = pthread_join(tid_reader[i_thr], &tret); # 332| if (err != 0) # 333| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def12] userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:337:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:223:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:232:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:236:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:239:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:244:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:245:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:250:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:251:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:305:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:315:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:321:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:328:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:328:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:328:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:330:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:336:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:337:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock.c:337:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/9) # 335| } # 336| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 337|-> err = pthread_join(tid_writer[i_thr], &tret); # 338| if (err != 0) # 339| exit(1); Error: GCC_ANALYZER_WARNING (CWE-688): [#def13] userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:166:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:145:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:149:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:154:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:162:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:163:52: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:165:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:167:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:166:23: danger: argument 1 (‘tid_reader + (long unsigned int)i * 8’) from [(3)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/2) could be NULL where non-null expected # 164| } # 165| for (i = 0; i < NR_READ; i++) { # 166|-> err = pthread_create(&tid_reader[i], NULL, thr_reader, # 167| (void *)(long)i); # 168| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def14] userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:172:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:145:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:149:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:155:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:162:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:165:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:171:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:173:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:172:23: danger: argument 1 (‘tid_writer + (long unsigned int)i * 8’) from [(3)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/2) could be NULL where non-null expected # 170| } # 171| for (i = 0; i < NR_WRITE; i++) { # 172|-> err = pthread_create(&tid_writer[i], NULL, thr_writer, # 173| (void *)(long)i); # 174| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def15] userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:181:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:145:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:149:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:154:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:165:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:171:21: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:178:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:180:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:181:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:181:23: danger: ‘tid_reader + (long unsigned int)i * 8’ could be NULL: unchecked value from [(3)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/2) # 179| # 180| for (i = 0; i < NR_READ; i++) { # 181|-> err = pthread_join(tid_reader[i], &tret); # 182| if (err != 0) # 183| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def16] userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:187:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:145:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:149:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:155:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:165:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:171:21: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:178:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:180:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:186:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:187:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_perthreadlock_timing.c:187:23: danger: ‘tid_writer + (long unsigned int)i * 8’ could be NULL: unchecked value from [(3)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/2) # 185| } # 186| for (i = 0; i < NR_WRITE; i++) { # 187|-> err = pthread_join(tid_writer[i], &tret); # 188| if (err != 0) # 189| exit(1); Error: GCC_ANALYZER_WARNING (CWE-688): [#def17] userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:312:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:225:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:229:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:237:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:238:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:243:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:244:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:299:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:304:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:304:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:311:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:313:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:312:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 310| # 311| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 312|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 313| &count_reader[i_thr]); # 314| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def18] userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:318:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:225:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:229:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:237:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:238:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:243:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:244:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:299:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:304:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:305:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:311:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:317:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:319:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:318:23: danger: argument 1 (‘tid_writer + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 316| } # 317| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 318|-> err = pthread_create(&tid_writer[i_thr], NULL, thr_writer, # 319| &count_writer[i_thr]); # 320| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def19] userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:327:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:215:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:225:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:229:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:237:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:238:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:243:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:244:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:299:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:304:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:304:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:311:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:317:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:326:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:327:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:327:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/11) # 325| # 326| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 327|-> err = pthread_join(tid_reader[i_thr], &tret); # 328| if (err != 0) # 329| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def20] userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:330:30: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_reader’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:215:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:225:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:229:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:237:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:238:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:243:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:244:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:299:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:304:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:306:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:311:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:317:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:326:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:327:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:328:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:330:42: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:330:30: danger: ‘count_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/11) # 328| if (err != 0) # 329| exit(1); # 330|-> tot_reads += count_reader[i_thr]; # 331| } # 332| for (i_thr = 0; i_thr < nr_writers; i_thr++) { Error: GCC_ANALYZER_WARNING (CWE-476): [#def21] userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:333:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:215:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:225:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:229:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:237:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:238:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:243:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:244:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:299:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:304:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:305:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:311:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:317:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:326:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:332:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:333:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:333:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/11) # 331| } # 332| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 333|-> err = pthread_join(tid_writer[i_thr], &tret); # 334| if (err != 0) # 335| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def22] userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:336:31: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_writer’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:215:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:225:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:229:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:237:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:238:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:243:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:244:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:299:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:304:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:307:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:311:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:317:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:324:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:326:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:332:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:333:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:334:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:336:43: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock.c:336:31: danger: ‘count_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/11) # 334| if (err != 0) # 335| exit(1); # 336|-> tot_writes += count_writer[i_thr]; # 337| } # 338| Error: GCC_ANALYZER_WARNING (CWE-688): [#def23] userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:166:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:144:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:148:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:152:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:157:23: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:159:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:165:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:167:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:166:23: danger: argument 1 (‘tid_reader + (long unsigned int)i * 8’) from [(5)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/4) could be NULL where non-null expected # 164| # 165| for (i = 0; i < NR_READ; i++) { # 166|-> err = pthread_create(&tid_reader[i], NULL, thr_reader, # 167| (void *)(long)i); # 168| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def24] userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:172:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:144:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:148:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:152:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:157:23: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:160:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:165:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:171:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:173:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:172:23: danger: argument 1 (‘tid_writer + (long unsigned int)i * 8’) from [(5)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/4) could be NULL where non-null expected # 170| } # 171| for (i = 0; i < NR_WRITE; i++) { # 172|-> err = pthread_create(&tid_writer[i], NULL, thr_writer, # 173| (void *)(long)i); # 174| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def25] userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:181:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:144:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:148:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:152:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:157:23: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:159:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:165:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:171:21: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:178:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:180:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:181:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:181:23: danger: ‘tid_reader + (long unsigned int)i * 8’ could be NULL: unchecked value from [(5)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/4) # 179| # 180| for (i = 0; i < NR_READ; i++) { # 181|-> err = pthread_join(tid_reader[i], &tret); # 182| if (err != 0) # 183| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def26] userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:187:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:144:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:148:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:152:12: branch_false: following ‘false’ branch (when ‘err == 0’)... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:157:23: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:160:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:165:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:171:21: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:178:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:180:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:186:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:187:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_rwlock_timing.c:187:23: danger: ‘tid_writer + (long unsigned int)i * 8’ could be NULL: unchecked value from [(5)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/4) # 185| } # 186| for (i = 0; i < NR_WRITE; i++) { # 187|-> err = pthread_join(tid_writer[i], &tret); # 188| if (err != 0) # 189| exit(1); Error: GCC_ANALYZER_WARNING (CWE-688): [#def27] userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:293:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:208:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:213:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:214:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:282:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:285:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:285:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:292:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:294:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:293:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 291| # 292| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 293|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 294| &count_reader[i_thr]); # 295| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def28] userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:299:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:208:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:213:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:214:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:282:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:285:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:286:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:292:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:298:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:300:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:299:23: danger: argument 1 (‘tid_writer + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 297| } # 298| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 299|-> err = pthread_create(&tid_writer[i_thr], NULL, thr_writer, # 300| &count_writer[i_thr]); # 301| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def29] userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:308:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:198:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:208:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:213:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:214:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:282:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:285:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:285:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:292:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:298:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:305:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:305:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:305:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:307:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:308:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:308:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/11) # 306| # 307| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 308|-> err = pthread_join(tid_reader[i_thr], &tret); # 309| if (err != 0) # 310| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def30] userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:311:30: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:208:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:213:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:214:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:282:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:285:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:287:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:292:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:298:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:305:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:307:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:308:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:309:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:311:42: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:311:30: danger: ‘count_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/10) # 309| if (err != 0) # 310| exit(1); # 311|-> tot_reads += count_reader[i_thr]; # 312| } # 313| for (i_thr = 0; i_thr < nr_writers; i_thr++) { Error: GCC_ANALYZER_WARNING (CWE-476): [#def31] userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:314:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:198:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:208:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:213:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:214:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:282:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:285:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:286:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:292:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:298:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:305:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:305:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:305:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:307:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:313:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:314:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:314:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/11) # 312| } # 313| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 314|-> err = pthread_join(tid_writer[i_thr], &tret); # 315| if (err != 0) # 316| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def32] userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:317:31: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:208:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:213:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:214:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:282:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:285:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:288:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:292:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:298:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:305:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:307:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:313:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:314:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:315:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:317:43: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu.c:317:31: danger: ‘count_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/10) # 315| if (err != 0) # 316| exit(1); # 317|-> tot_writes += count_writer[i_thr]; # 318| } # 319| Error: GCC_ANALYZER_WARNING (CWE-688): [#def33] userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:350:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:338:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:341:54: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:342:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:349:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:351:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:350:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 348| # 349| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 350|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 351| &count_reader[i_thr]); # 352| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def34] userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:356:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:338:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:341:54: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:343:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:349:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:355:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:357:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:356:23: danger: argument 1 (‘tid_writer + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 354| } # 355| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 356|-> err = pthread_create(&tid_writer[i_thr], NULL, thr_writer, # 357| &count_writer[i_thr]); # 358| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def35] userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:365:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:254:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:338:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:341:54: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:342:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:349:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:355:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:362:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:362:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:362:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:364:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:365:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:365:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/11) # 363| # 364| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 365|-> err = pthread_join(tid_reader[i_thr], &tret); # 366| if (err != 0) # 367| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def36] userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:368:30: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:338:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:341:54: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:344:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:349:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:355:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:362:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:364:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:365:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:366:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:368:42: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:368:30: danger: ‘count_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/10) # 366| if (err != 0) # 367| exit(1); # 368|-> tot_reads += count_reader[i_thr]; # 369| } # 370| for (i_thr = 0; i_thr < nr_writers; i_thr++) { Error: GCC_ANALYZER_WARNING (CWE-476): [#def37] userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:371:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:254:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:338:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:341:54: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:343:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:349:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:355:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:362:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:362:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:362:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:364:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:370:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:371:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:371:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/11) # 369| } # 370| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 371|-> err = pthread_join(tid_writer[i_thr], &tret); # 372| if (err != 0) # 373| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def38] userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:374:31: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:338:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:341:54: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:345:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:349:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:355:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:362:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:364:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:370:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:371:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:372:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:374:43: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_assign.c:374:31: danger: ‘count_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/10) # 372| if (err != 0) # 373| exit(1); # 374|-> tot_writes += count_writer[i_thr]; # 375| } # 376| Error: GCC_ANALYZER_WARNING (CWE-476): [#def39] userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:157:17: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘new’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:156:23: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:157:17: danger: ‘new’ could be NULL: unchecked value from [(1)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/0) # 155| for (;;) { # 156| new = malloc(sizeof(int)); # 157|-> *new = 8; # 158| old = rcu_xchg_pointer(&test_rcu_pointer, new); # 159| if (caa_unlikely(wduration)) Error: GCC_ANALYZER_WARNING (CWE-688): [#def40] userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:288:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:203:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:208:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:209:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:214:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:215:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:220:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:221:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:277:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:280:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:280:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:287:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:289:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:288:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 286| # 287| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 288|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 289| &count_reader[i_thr]); # 290| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def41] userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:294:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:203:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:208:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:209:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:214:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:215:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:220:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:221:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:277:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:280:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:281:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:287:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:293:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:295:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:294:23: danger: argument 1 (‘tid_writer + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 292| } # 293| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 294|-> err = pthread_create(&tid_writer[i_thr], NULL, thr_writer, # 295| &count_writer[i_thr]); # 296| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def42] userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:303:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:193:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:203:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:208:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:209:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:214:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:215:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:220:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:221:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:277:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:280:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:280:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:287:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:293:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:300:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:300:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:300:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:302:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:303:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:303:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/11) # 301| # 302| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 303|-> err = pthread_join(tid_reader[i_thr], &tret); # 304| if (err != 0) # 305| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def43] userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:306:30: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:203:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:208:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:209:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:214:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:215:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:220:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:221:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:277:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:280:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:282:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:287:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:293:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:300:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:302:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:303:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:304:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:306:42: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:306:30: danger: ‘count_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/10) # 304| if (err != 0) # 305| exit(1); # 306|-> tot_reads += count_reader[i_thr]; # 307| } # 308| for (i_thr = 0; i_thr < nr_writers; i_thr++) { Error: GCC_ANALYZER_WARNING (CWE-476): [#def44] userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:309:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:193:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:203:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:208:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:209:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:214:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:215:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:220:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:221:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:277:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:280:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:281:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:287:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:293:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:300:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:300:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:300:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:302:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:308:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:309:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:309:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/11) # 307| } # 308| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 309|-> err = pthread_join(tid_writer[i_thr], &tret); # 310| if (err != 0) # 311| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def45] userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:312:31: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:203:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:208:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:209:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:214:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:215:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:220:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:221:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:277:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:280:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:283:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:287:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:293:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:300:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:302:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:308:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:309:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:310:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:312:43: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_bp.c:312:31: danger: ‘count_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/6/codeFlows/0/threadFlows/0/locations/10) # 310| if (err != 0) # 311| exit(1); # 312|-> tot_writes += count_writer[i_thr]; # 313| } # 314| Error: GCC_ANALYZER_WARNING (CWE-476): [#def46] userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:178:17: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘new’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:169:12: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:174:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:177:23: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:178:17: danger: ‘new’ could be NULL: unchecked value from [(3)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/2) # 176| for (;;) { # 177| new = malloc(sizeof(*new)); # 178|-> new->a = 8; # 179| old = rcu_xchg_pointer(&test_rcu_pointer, new); # 180| if (caa_unlikely(wduration)) Error: GCC_ANALYZER_WARNING (CWE-688): [#def47] userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:315:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:230:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:235:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:236:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:304:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:307:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:307:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:314:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:316:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:315:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 313| # 314| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 315|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 316| &count_reader[i_thr]); # 317| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def48] userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:321:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:230:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:235:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:236:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:304:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:307:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:308:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:314:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:320:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:322:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:321:23: danger: argument 1 (‘tid_writer + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 319| } # 320| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 321|-> err = pthread_create(&tid_writer[i_thr], NULL, thr_writer, # 322| (void *)(long)i_thr); # 323| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def49] userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:330:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:220:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:230:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:235:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:236:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:307:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:314:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:320:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:327:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:327:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:327:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:329:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:330:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:330:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/9) # 328| # 329| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 330|-> err = pthread_join(tid_reader[i_thr], &tret); # 331| if (err != 0) # 332| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def50] userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:333:30: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:230:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:235:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:236:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:309:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:314:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:320:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:327:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:329:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:330:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:331:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:333:42: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:333:30: danger: ‘count_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(9)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/8) # 331| if (err != 0) # 332| exit(1); # 333|-> tot_reads += count_reader[i_thr]; # 334| } # 335| for (i_thr = 0; i_thr < nr_writers; i_thr++) { Error: GCC_ANALYZER_WARNING (CWE-476): [#def51] userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:336:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:220:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:230:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:235:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:236:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:308:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:314:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:320:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:327:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:327:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:327:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:329:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:335:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:336:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_defer.c:336:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/9) # 334| } # 335| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 336|-> err = pthread_join(tid_writer[i_thr], &tret); # 337| if (err != 0) # 338| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def52] userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:208:17: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘new’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:207:23: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:208:17: danger: ‘new’ could be NULL: unchecked value from [(1)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/0) # 206| #ifndef TEST_LOCAL_GC # 207| new = malloc(sizeof(*new)); # 208|-> new->a = 8; # 209| old = rcu_xchg_pointer(&test_rcu_pointer, new); # 210| #endif Error: GCC_ANALYZER_WARNING (CWE-476): [#def53] userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:345:25: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘pending_reclaims’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:252:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:257:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:258:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:263:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:264:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:333:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:336:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:340:28: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:342:12: branch_true: following ‘true’ branch... branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:344:33: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:345:41: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:345:25: danger: ‘calloc((long unsigned int)nr_writers, 16) + (long unsigned int)i_thr * 16’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) # 343| < CAA_CACHE_LINE_SIZE) # 344| for (i_thr = 0; i_thr < nr_writers; i_thr++) # 345|-> pending_reclaims[i_thr].queue = calloc(1, CAA_CACHE_LINE_SIZE); # 346| else # 347| for (i_thr = 0; i_thr < nr_writers; i_thr++) Error: GCC_ANALYZER_WARNING (CWE-688): [#def54] userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:356:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:252:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:257:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:258:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:263:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:264:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:333:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:336:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:336:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:344:33: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:350:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:353:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:355:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:357:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:356:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 354| # 355| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 356|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 357| &count_reader[i_thr]); # 358| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def55] userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:371:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:242:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:252:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:257:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:258:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:263:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:264:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:336:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:350:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:353:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:355:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:361:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:368:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:368:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:368:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:370:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:371:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:371:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/9) # 369| # 370| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 371|-> err = pthread_join(tid_reader[i_thr], &tret); # 372| if (err != 0) # 373| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def56] userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:374:30: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:242:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:252:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:257:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:258:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:263:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:264:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:338:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:350:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:353:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:355:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:361:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:368:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:368:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:368:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:370:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:371:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:372:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:374:42: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:374:30: danger: ‘count_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/9) # 372| if (err != 0) # 373| exit(1); # 374|-> tot_reads += count_reader[i_thr]; # 375| } # 376| for (i_thr = 0; i_thr < nr_writers; i_thr++) { Error: GCC_ANALYZER_WARNING (CWE-476): [#def57] userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:377:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:242:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:252:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:257:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:258:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:263:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:264:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:337:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:350:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:353:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:355:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:361:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:368:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:368:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:368:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:370:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:376:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:377:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_gc.c:377:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/9) # 375| } # 376| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 377|-> err = pthread_join(tid_writer[i_thr], &tret); # 378| if (err != 0) # 379| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def58] userspace-rcu-0.15.2/tests/benchmark/test_urcu_hash.h:104:9: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘node’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_hash_rw.c:215:12: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_hash_rw.c:218:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_hash_rw.c:228:16: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_hash_rw.c:231:24: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_hash_rw.c:231:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_hash_rw.c:232:17: call_function: inlined call to ‘lfht_test_node_init’ from ‘test_hash_rw_populate_hash’ # 102| { # 103| cds_lfht_node_init(&node->node); # 104|-> node->key = key; # 105| node->key_len = key_len; # 106| } Error: GCC_ANALYZER_WARNING (CWE-688): [#def59] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:342:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_enqueuer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:251:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:329:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:341:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:343:54: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:342:23: danger: argument 1 (‘tid_enqueuer + (long unsigned int)i_thr * 8’) from [(10)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/9) could be NULL where non-null expected # 340| # 341| for (i_thr = 0; i_thr < nr_enqueuers; i_thr++) { # 342|-> err = pthread_create(&tid_enqueuer[i_thr], NULL, thr_enqueuer, # 343| &count_enqueuer[2 * i_thr]); # 344| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def60] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:348:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_dequeuer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:251:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:330:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:341:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:347:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:349:54: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:348:23: danger: argument 1 (‘tid_dequeuer + (long unsigned int)i_thr * 8’) from [(10)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/9) could be NULL where non-null expected # 346| } # 347| for (i_thr = 0; i_thr < nr_dequeuers; i_thr++) { # 348|-> err = pthread_create(&tid_dequeuer[i_thr], NULL, thr_dequeuer, # 349| &count_dequeuer[2 * i_thr]); # 350| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def61] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:369:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_enqueuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:251:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:329:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:341:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:347:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:354:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:358:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:366:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:368:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:369:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:369:23: danger: ‘tid_enqueuer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/9) # 367| # 368| for (i_thr = 0; i_thr < nr_enqueuers; i_thr++) { # 369|-> err = pthread_join(tid_enqueuer[i_thr], &tret); # 370| if (err != 0) # 371| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def62] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:372:33: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_enqueuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:251:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:331:26: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:341:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:347:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:354:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:358:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:366:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:368:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:369:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:370:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:372:48: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:372:33: danger: ‘count_enqueuer + (long unsigned int)(i_thr * 2) * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/9) # 370| if (err != 0) # 371| exit(1); # 372|-> tot_enqueues += count_enqueuer[2 * i_thr]; # 373| tot_successful_enqueues += count_enqueuer[2 * i_thr + 1]; # 374| } Error: GCC_ANALYZER_WARNING (CWE-476): [#def63] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:376:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_dequeuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:251:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:330:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:341:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:347:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:354:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:358:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:366:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:368:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:375:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:376:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:376:23: danger: ‘tid_dequeuer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/9) # 374| } # 375| for (i_thr = 0; i_thr < nr_dequeuers; i_thr++) { # 376|-> err = pthread_join(tid_dequeuer[i_thr], &tret); # 377| if (err != 0) # 378| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def64] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:379:33: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_dequeuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:251:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:264:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:269:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:270:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:275:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:276:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:281:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:282:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:332:26: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:333:9: call_function: inlined call to ‘_cds_lfq_init_rcu’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:341:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:347:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:354:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:358:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:366:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:368:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:375:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:376:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:377:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:379:48: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfq.c:379:33: danger: ‘count_dequeuer + (long unsigned int)(i_thr * 2) * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/6/codeFlows/0/threadFlows/0/locations/9) # 377| if (err != 0) # 378| exit(1); # 379|-> tot_dequeues += count_dequeuer[2 * i_thr]; # 380| tot_successful_dequeues += count_dequeuer[2 * i_thr + 1]; # 381| } Error: GCC_ANALYZER_WARNING (CWE-688): [#def65] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:344:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_enqueuer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:266:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:271:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:272:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:277:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:278:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:283:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:284:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:331:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:343:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:345:54: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:344:23: danger: argument 1 (‘tid_enqueuer + (long unsigned int)i_thr * 8’) from [(9)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/8) could be NULL where non-null expected # 342| # 343| for (i_thr = 0; i_thr < nr_enqueuers; i_thr++) { # 344|-> err = pthread_create(&tid_enqueuer[i_thr], NULL, thr_enqueuer, # 345| &count_enqueuer[2 * i_thr]); # 346| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def66] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:350:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_dequeuer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:266:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:271:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:272:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:277:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:278:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:283:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:284:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:332:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:343:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:349:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:351:54: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:350:23: danger: argument 1 (‘tid_dequeuer + (long unsigned int)i_thr * 8’) from [(9)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/8) could be NULL where non-null expected # 348| } # 349| for (i_thr = 0; i_thr < nr_dequeuers; i_thr++) { # 350|-> err = pthread_create(&tid_dequeuer[i_thr], NULL, thr_dequeuer, # 351| &count_dequeuer[2 * i_thr]); # 352| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def67] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:371:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_enqueuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:253:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:266:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:271:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:272:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:277:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:278:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:283:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:284:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:331:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:343:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:349:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:356:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:360:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:368:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:370:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:371:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:371:23: danger: ‘tid_enqueuer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/9) # 369| # 370| for (i_thr = 0; i_thr < nr_enqueuers; i_thr++) { # 371|-> err = pthread_join(tid_enqueuer[i_thr], &tret); # 372| if (err != 0) # 373| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def68] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:374:33: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_enqueuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:253:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:266:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:271:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:272:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:277:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:278:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:283:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:284:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:333:26: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:343:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:349:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:356:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:360:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:368:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:370:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:371:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:372:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:374:48: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:374:33: danger: ‘count_enqueuer + (long unsigned int)(i_thr * 2) * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/9) # 372| if (err != 0) # 373| exit(1); # 374|-> tot_enqueues += count_enqueuer[2 * i_thr]; # 375| tot_successful_enqueues += count_enqueuer[2 * i_thr + 1]; # 376| } Error: GCC_ANALYZER_WARNING (CWE-476): [#def69] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:378:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_dequeuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:253:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:266:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:271:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:272:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:277:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:278:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:283:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:284:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:332:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:343:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:349:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:356:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:360:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:368:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:370:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:377:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:378:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:378:23: danger: ‘tid_dequeuer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/9) # 376| } # 377| for (i_thr = 0; i_thr < nr_dequeuers; i_thr++) { # 378|-> err = pthread_join(tid_dequeuer[i_thr], &tret); # 379| if (err != 0) # 380| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def70] userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:381:33: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_dequeuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:253:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:266:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:271:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:272:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:277:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:278:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:283:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:284:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:334:26: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:343:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:349:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:356:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:360:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:368:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:370:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:377:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:378:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:379:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:381:48: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_lfs_rcu.c:381:33: danger: ‘count_dequeuer + (long unsigned int)(i_thr * 2) * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/9) # 379| if (err != 0) # 380| exit(1); # 381|-> tot_dequeues += count_dequeuer[2 * i_thr]; # 382| tot_successful_dequeues += count_dequeuer[2 * i_thr + 1]; # 383| } Error: GCC_ANALYZER_WARNING (CWE-688): [#def71] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:299:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:214:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:231:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:288:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:291:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:291:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:298:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:300:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:299:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 297| # 298| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 299|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 300| &count_reader[i_thr]); # 301| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def72] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:305:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:214:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:231:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:288:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:291:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:292:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:298:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:304:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:306:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:305:23: danger: argument 1 (‘tid_writer + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 303| } # 304| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 305|-> err = pthread_create(&tid_writer[i_thr], NULL, thr_writer, # 306| &count_writer[i_thr]); # 307| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def73] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:314:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:204:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:214:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:231:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:288:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:291:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:291:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:298:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:304:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:311:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:311:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:311:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:313:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:314:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:314:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/11) # 312| # 313| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 314|-> err = pthread_join(tid_reader[i_thr], &tret); # 315| if (err != 0) # 316| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def74] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:317:30: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:214:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:231:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:288:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:291:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:293:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:298:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:304:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:311:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:313:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:314:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:315:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:317:42: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:317:30: danger: ‘count_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/10) # 315| if (err != 0) # 316| exit(1); # 317|-> tot_reads += count_reader[i_thr]; # 318| } # 319| for (i_thr = 0; i_thr < nr_writers; i_thr++) { Error: GCC_ANALYZER_WARNING (CWE-476): [#def75] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:320:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:204:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:214:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:231:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:288:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:291:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:292:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:298:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:304:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:311:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:311:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:311:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:313:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:319:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:320:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:320:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(12)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/11) # 318| } # 319| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 320|-> err = pthread_join(tid_writer[i_thr], &tret); # 321| if (err != 0) # 322| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def76] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:323:31: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:214:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:219:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:220:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:225:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:226:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:231:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:232:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:288:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:291:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:294:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:298:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:304:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:311:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:313:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:319:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:320:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:321:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:323:43: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr.c:323:31: danger: ‘count_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/10) # 321| if (err != 0) # 322| exit(1); # 323|-> tot_writes += count_writer[i_thr]; # 324| } # 325| Error: GCC_ANALYZER_WARNING (CWE-476): [#def77] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:208:17: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘new’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:207:23: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:208:17: danger: ‘new’ could be NULL: unchecked value from [(1)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/0) # 206| #ifndef TEST_LOCAL_GC # 207| new = malloc(sizeof(*new)); # 208|-> new->a = 8; # 209| old = _rcu_xchg_pointer(&test_rcu_pointer, new); # 210| #endif Error: GCC_ANALYZER_WARNING (CWE-476): [#def78] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:345:25: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘pending_reclaims’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:253:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:258:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:259:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:264:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:265:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:270:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:271:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:334:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:337:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:341:28: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:342:12: branch_true: following ‘true’ branch... branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:344:33: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:345:41: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:345:25: danger: ‘calloc((long unsigned int)nr_writers, 16) + (long unsigned int)i_thr * 16’ could be NULL: unchecked value from [(11)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/10) # 343| < CAA_CACHE_LINE_SIZE) # 344| for (i_thr = 0; i_thr < nr_writers; i_thr++) # 345|-> pending_reclaims[i_thr].queue = calloc(1, CAA_CACHE_LINE_SIZE); # 346| else # 347| for (i_thr = 0; i_thr < nr_writers; i_thr++) Error: GCC_ANALYZER_WARNING (CWE-688): [#def79] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:356:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:253:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:258:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:259:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:264:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:265:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:270:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:271:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:334:9: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:337:22: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:337:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:344:33: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:350:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:353:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:355:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:357:51: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:356:23: danger: argument 1 (‘tid_reader + (long unsigned int)i_thr * 8’) from [(11)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/10) could be NULL where non-null expected # 354| # 355| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 356|-> err = pthread_create(&tid_reader[i_thr], NULL, thr_reader, # 357| &count_reader[i_thr]); # 358| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def80] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:371:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:243:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:253:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:258:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:259:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:264:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:265:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:270:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:271:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:337:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:350:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:353:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:355:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:361:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:368:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:368:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:368:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:370:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:371:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:371:23: danger: ‘tid_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/9) # 369| # 370| for (i_thr = 0; i_thr < nr_readers; i_thr++) { # 371|-> err = pthread_join(tid_reader[i_thr], &tret); # 372| if (err != 0) # 373| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def81] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:374:30: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:243:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:253:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:258:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:259:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:264:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:265:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:270:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:271:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:339:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:350:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:353:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:355:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:361:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:368:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:368:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:368:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:370:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:371:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:372:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:374:42: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:374:30: danger: ‘count_reader + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/9) # 372| if (err != 0) # 373| exit(1); # 374|-> tot_reads += count_reader[i_thr]; # 375| } # 376| for (i_thr = 0; i_thr < nr_writers; i_thr++) { Error: GCC_ANALYZER_WARNING (CWE-476): [#def82] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:377:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:243:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:253:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:258:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:259:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:264:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:265:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:270:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:271:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:338:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:350:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:353:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:355:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:361:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:368:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:368:9: call_function: calling ‘test_for’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:368:9: return_function: returning to ‘main’ from ‘test_for’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:370:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:376:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:377:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_gc.c:377:23: danger: ‘tid_writer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/9) # 375| } # 376| for (i_thr = 0; i_thr < nr_writers; i_thr++) { # 377|-> err = pthread_join(tid_writer[i_thr], &tret); # 378| if (err != 0) # 379| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def83] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:132:25: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘new’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:113:7: enter_function: entry to ‘thr_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:123:21: branch_true: following ‘true’ branch (when ‘i != 10’)... branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:124:29: branch_true: following ‘true’ branch (when ‘j != 200’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:125:33: call_function: inlined call to ‘caa_get_cycles’ from ‘thr_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:126:31: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:127:25: call_function: calling ‘rcu_copy_mutex_lock’ from ‘thr_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:127:25: return_function: returning to ‘thr_writer’ from ‘rcu_copy_mutex_lock’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:132:25: danger: ‘new’ could be NULL: unchecked value from [(7)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/6) # 130| urcu_posix_assert(old->a == 8); # 131| } # 132|-> new->a = 8; # 133| old = rcu_xchg_pointer(&test_rcu_pointer, new); # 134| rcu_copy_mutex_unlock(); Error: GCC_ANALYZER_WARNING (CWE-688): [#def84] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:177:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:161:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:165:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:170:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:176:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:178:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:177:23: danger: argument 1 (‘tid_reader + (long unsigned int)i * 8’) from [(3)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/2) could be NULL where non-null expected # 175| # 176| for (i = 0; i < NR_READ; i++) { # 177|-> err = pthread_create(&tid_reader[i], NULL, thr_reader, # 178| (void *)(long)i); # 179| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def85] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:183:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:161:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:165:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:171:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:176:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:182:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:184:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:183:23: danger: argument 1 (‘tid_writer + (long unsigned int)i * 8’) from [(3)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/2) could be NULL where non-null expected # 181| } # 182| for (i = 0; i < NR_WRITE; i++) { # 183|-> err = pthread_create(&tid_writer[i], NULL, thr_writer, # 184| (void *)(long)i); # 185| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def86] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:192:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:161:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:165:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:170:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:176:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:182:21: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:189:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:191:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:192:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:192:23: danger: ‘tid_reader + (long unsigned int)i * 8’ could be NULL: unchecked value from [(3)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/2) # 190| # 191| for (i = 0; i < NR_READ; i++) { # 192|-> err = pthread_join(tid_reader[i], &tret); # 193| if (err != 0) # 194| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def87] userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:198:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:161:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:165:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:171:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:176:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:182:21: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:189:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:191:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:197:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:198:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_qsbr_timing.c:198:23: danger: ‘tid_writer + (long unsigned int)i * 8’ could be NULL: unchecked value from [(3)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/2) # 196| } # 197| for (i = 0; i < NR_WRITE; i++) { # 198|-> err = pthread_join(tid_writer[i], &tret); # 199| if (err != 0) # 200| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def88] userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:132:25: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘new’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:113:7: enter_function: entry to ‘thr_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:123:21: branch_true: following ‘true’ branch (when ‘i != 10’)... branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:124:29: branch_true: following ‘true’ branch (when ‘j != 200’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:125:33: call_function: inlined call to ‘caa_get_cycles’ from ‘thr_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:126:31: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:127:25: call_function: calling ‘rcu_copy_mutex_lock’ from ‘thr_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:127:25: return_function: returning to ‘thr_writer’ from ‘rcu_copy_mutex_lock’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:132:25: danger: ‘new’ could be NULL: unchecked value from [(7)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/6) # 130| urcu_posix_assert(old->a == 8); # 131| } # 132|-> new->a = 8; # 133| old = rcu_xchg_pointer(&test_rcu_pointer, new); # 134| rcu_copy_mutex_unlock(); Error: GCC_ANALYZER_WARNING (CWE-688): [#def89] userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:177:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_reader’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:161:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:165:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:170:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:176:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:178:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:177:23: danger: argument 1 (‘tid_reader + (long unsigned int)i * 8’) from [(3)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/2) could be NULL where non-null expected # 175| # 176| for (i = 0; i < NR_READ; i++) { # 177|-> err = pthread_create(&tid_reader[i], NULL, thr_reader, # 178| (void *)(long)i); # 179| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def90] userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:183:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_writer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:161:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:165:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:171:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:176:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:182:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:184:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:183:23: danger: argument 1 (‘tid_writer + (long unsigned int)i * 8’) from [(3)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/2) could be NULL where non-null expected # 181| } # 182| for (i = 0; i < NR_WRITE; i++) { # 183|-> err = pthread_create(&tid_writer[i], NULL, thr_writer, # 184| (void *)(long)i); # 185| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def91] userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:192:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_reader’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:161:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:165:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:170:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:176:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:182:21: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:189:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:191:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:192:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:192:23: danger: ‘tid_reader + (long unsigned int)i * 8’ could be NULL: unchecked value from [(3)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/2) # 190| # 191| for (i = 0; i < NR_READ; i++) { # 192|-> err = pthread_join(tid_reader[i], &tret); # 193| if (err != 0) # 194| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def92] userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:198:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_writer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:161:12: branch_false: following ‘false’ branch (when ‘argc > 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:165:20: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:171:22: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:176:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:182:21: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:189:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:191:21: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:197:21: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:198:46: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_timing.c:198:23: danger: ‘tid_writer + (long unsigned int)i * 8’ could be NULL: unchecked value from [(3)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/2) # 196| } # 197| for (i = 0; i < NR_WRITE; i++) { # 198|-> err = pthread_join(tid_writer[i], &tret); # 199| if (err != 0) # 200| exit(1); Error: GCC_ANALYZER_WARNING (CWE-688): [#def93] userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:310:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_enqueuer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:223:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:236:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:253:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:254:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:301:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:309:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:311:54: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:310:23: danger: argument 1 (‘tid_enqueuer + (long unsigned int)i_thr * 8’) from [(10)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/9) could be NULL where non-null expected # 308| # 309| for (i_thr = 0; i_thr < nr_enqueuers; i_thr++) { # 310|-> err = pthread_create(&tid_enqueuer[i_thr], NULL, thr_enqueuer, # 311| &count_enqueuer[2 * i_thr]); # 312| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-688): [#def94] userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:316:23: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL ‘tid_dequeuer’ where non-null expected userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:223:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:236:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:253:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:254:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:302:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:309:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:315:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:317:54: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:316:23: danger: argument 1 (‘tid_dequeuer + (long unsigned int)i_thr * 8’) from [(10)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/9) could be NULL where non-null expected # 314| } # 315| for (i_thr = 0; i_thr < nr_dequeuers; i_thr++) { # 316|-> err = pthread_create(&tid_dequeuer[i_thr], NULL, thr_dequeuer, # 317| &count_dequeuer[2 * i_thr]); # 318| if (err != 0) Error: GCC_ANALYZER_WARNING (CWE-476): [#def95] userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:337:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_enqueuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:223:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:236:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:253:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:254:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:301:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:309:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:315:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:322:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:326:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:334:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:336:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:337:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:337:23: danger: ‘tid_enqueuer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/9) # 335| # 336| for (i_thr = 0; i_thr < nr_enqueuers; i_thr++) { # 337|-> err = pthread_join(tid_enqueuer[i_thr], &tret); # 338| if (err != 0) # 339| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def96] userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:340:33: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_enqueuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:223:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:236:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:253:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:254:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:303:26: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:309:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:315:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:322:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:326:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:334:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:336:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:337:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:338:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:340:48: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:340:33: danger: ‘count_enqueuer + (long unsigned int)(i_thr * 2) * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/3/codeFlows/0/threadFlows/0/locations/9) # 338| if (err != 0) # 339| exit(1); # 340|-> tot_enqueues += count_enqueuer[2 * i_thr]; # 341| tot_successful_enqueues += count_enqueuer[2 * i_thr + 1]; # 342| } Error: GCC_ANALYZER_WARNING (CWE-476): [#def97] userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:344:23: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘tid_dequeuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:223:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:236:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:253:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:254:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:302:24: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:309:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:315:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:322:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:326:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:334:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:336:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:343:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:344:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:344:23: danger: ‘tid_dequeuer + (long unsigned int)i_thr * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/4/codeFlows/0/threadFlows/0/locations/9) # 342| } # 343| for (i_thr = 0; i_thr < nr_dequeuers; i_thr++) { # 344|-> err = pthread_join(tid_dequeuer[i_thr], &tret); # 345| if (err != 0) # 346| exit(1); Error: GCC_ANALYZER_WARNING (CWE-476): [#def98] userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:347:33: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘count_dequeuer’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:223:5: enter_function: entry to ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:236:12: branch_false: following ‘false’ branch (when ‘argc > 3’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:241:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:242:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:247:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:248:12: branch_false: following ‘false’ branch (when ‘err == 1’)... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:253:15: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:254:12: branch_false: following ‘false’ branch (when ‘err == 1’)... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:304:26: acquire_memory: this call could return NULL userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:305:9: call_function: inlined call to ‘cds_wfq_init’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:309:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:315:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:322:9: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:326:25: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:334:9: call_function: inlined call to ‘end_test’ from ‘main’ userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:336:25: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:343:25: branch_true: following ‘true’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:344:48: branch_true: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:345:20: branch_false: following ‘false’ branch... userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:347:48: branch_false: ...to here userspace-rcu-0.15.2/tests/benchmark/test_urcu_wfq.c:347:33: danger: ‘count_dequeuer + (long unsigned int)(i_thr * 2) * 8’ could be NULL: unchecked value from [(10)](sarif:/runs/0/results/5/codeFlows/0/threadFlows/0/locations/9) # 345| if (err != 0) # 346| exit(1); # 347|-> tot_dequeues += count_dequeuer[2 * i_thr]; # 348| tot_successful_dequeues += count_dequeuer[2 * i_thr + 1]; # 349| } Error: GCC_ANALYZER_WARNING (CWE-775): [#def99] userspace-rcu-0.15.2/tests/unit/../../src/compat-smp.h:154:30: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘open(path, 0)’ userspace-rcu-0.15.2/tests/unit/../../src/compat-smp.h:144:9: branch_true: following ‘true’ branch (when ‘path’ is non-NULL)... userspace-rcu-0.15.2/tests/unit/../../src/compat-smp.h:146:12: branch_true: ...to here userspace-rcu-0.15.2/tests/unit/../../src/compat-smp.h:146:12: branch_false: following ‘false’ branch (when ‘buf’ is non-NULL)... userspace-rcu-0.15.2/tests/unit/../../src/compat-smp.h:149:14: branch_false: ...to here userspace-rcu-0.15.2/tests/unit/../../src/compat-smp.h:149:14: acquire_resource: opened here userspace-rcu-0.15.2/tests/unit/../../src/compat-smp.h:150:12: branch_false: following ‘false’ branch... branch_false: ...to here userspace-rcu-0.15.2/tests/unit/../../src/compat-smp.h:154:30: danger: ‘open(path, 0)’ leaks here; was opened at [(5)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/4) # 152| # 153| do { # 154|-> bytes_read = read(fd, buf + total_bytes_read, # 155| max_bytes - total_bytes_read); # 156|
| analyzer-version-clippy | 1.86.0 |
| analyzer-version-cppcheck | 2.17.1 |
| analyzer-version-gcc | 15.0.1 |
| analyzer-version-gcc-analyzer | 15.0.1 |
| analyzer-version-shellcheck | 0.10.0 |
| analyzer-version-unicontrol | 0.0.2 |
| enabled-plugins | clippy, cppcheck, gcc, shellcheck, unicontrol |
| exit-code | 0 |
| host | ip-172-16-1-41.us-west-2.compute.internal |
| known-false-positives | /usr/share/csmock/known-false-positives.js |
| known-false-positives-rpm | known-false-positives-0.0.0.20250425.124705.g1c7c448.main-1.el9.noarch |
| mock-config | fedora-rawhide-x86_64 |
| project-name | userspace-rcu-0.15.2-1.fc43 |
| store-results-to | /tmp/tmpo74rg5ay/userspace-rcu-0.15.2-1.fc43.tar.xz |
| time-created | 2025-04-25 15:55:26 |
| time-finished | 2025-04-25 15:57:26 |
| tool | csmock |
| tool-args | '/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'unicontrol,cppcheck,gcc,clippy,shellcheck' '-o' '/tmp/tmpo74rg5ay/userspace-rcu-0.15.2-1.fc43.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmpo74rg5ay/userspace-rcu-0.15.2-1.fc43.src.rpm' |
| tool-version | csmock-3.8.1.20250422.172604.g26bc3d6-1.el9 |