Fixed findings

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-775): [#def1]
liburing-2.9/src/include/liburing.h:443:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(0, 0, 0)’
liburing-2.9/test/accept.c:409:12: enter_function: entry to ‘test_accept_pending_on_exit’
liburing-2.9/test/accept.c:417:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:419:14: branch_true: ...to here
liburing-2.9/test/accept.c:419:14: call_function: calling ‘start_accept_listen’ from ‘test_accept_pending_on_exit’
liburing-2.9/test/accept.c:419:14: return_function: returning to ‘test_accept_pending_on_exit’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:421:15: call_function: inlined call to ‘io_uring_get_sqe’ from ‘test_accept_pending_on_exit’
liburing-2.9/test/accept.c:421:15: call_function: inlined call to ‘io_uring_get_sqe’ from ‘test_accept_pending_on_exit’
liburing-2.9/test/accept.c:422:9: call_function: inlined call to ‘io_uring_prep_accept’ from ‘test_accept_pending_on_exit’
#  441|   	sqe->opcode = (__u8) op;
#  442|   	sqe->fd = fd;
#  443|-> 	sqe->off = offset;
#  444|   	sqe->addr = (unsigned long) addr;
#  445|   	sqe->len = len;

Error: GCC_ANALYZER_WARNING (CWE-775): [#def2]
liburing-2.9/src/include/liburing.h:1437:16: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(0, 0, 0)’
liburing-2.9/test/accept.c:518:12: enter_function: entry to ‘test_accept_cancel’
liburing-2.9/test/accept.c:529:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:531:14: branch_true: ...to here
liburing-2.9/test/accept.c:531:14: call_function: calling ‘start_accept_listen’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:531:14: return_function: returning to ‘test_accept_cancel’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:533:21: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:544:12: branch_false: ...to here
liburing-2.9/test/accept.c:547:21: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/accept.c:554:21: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:555:23: branch_true: ...to here
liburing-2.9/test/accept.c:555:23: call_function: calling ‘io_uring_wait_cqe’ from ‘test_accept_cancel’
# 1435|   				      unsigned wait_nr)
# 1436|   {
# 1437|-> 	return __io_uring_get_cqe(ring, cqe_ptr, 0, wait_nr, NULL);
# 1438|   }
# 1439|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def3]
liburing-2.9/src/include/liburing.h:1523:35: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘open(".short-read", 0)’
liburing-2.9/test/short-read.c:18:5: enter_function: entry to ‘main’
liburing-2.9/test/short-read.c:26:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/short-read.c:29:24: branch_false: ...to here
liburing-2.9/test/short-read.c:34:14: acquire_resource: opened here
liburing-2.9/test/short-read.c:38:12: branch_false: following ‘false’ branch...
liburing-2.9/test/short-read.c:43:15: branch_false: ...to here
liburing-2.9/test/short-read.c:44:12: branch_false: following ‘false’ branch...
liburing-2.9/test/short-read.c:49:15: call_function: inlined call to ‘io_uring_get_sqe’ from ‘main’
liburing-2.9/test/short-read.c:49:15: call_function: inlined call to ‘io_uring_get_sqe’ from ‘main’
liburing-2.9/src/include/liburing.h:1523:35: danger: ‘open(".short-read", 0)’ leaks here; was opened at [(4)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/3)
# 1521|   {
# 1522|   	struct io_uring_sq *sq = &ring->sq;
# 1523|-> 	unsigned int head, next = sq->sqe_tail + 1;
# 1524|   	int shift = 0;
# 1525|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def4]
liburing-2.9/src/include/liburing.h:1523:35: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘open(".sync_file_range", 2)’
liburing-2.9/test/fsync.c:146:12: enter_function: entry to ‘test_sync_file_range’
liburing-2.9/test/fsync.c:154:14: acquire_resource: opened here
liburing-2.9/test/fsync.c:158:12: branch_false: following ‘false’ branch...
liburing-2.9/test/fsync.c:163:15: call_function: inlined call to ‘io_uring_get_sqe’ from ‘test_sync_file_range’
liburing-2.9/test/fsync.c:163:15: call_function: inlined call to ‘io_uring_get_sqe’ from ‘test_sync_file_range’
liburing-2.9/src/include/liburing.h:1523:35: danger: ‘open(".sync_file_range", 2)’ leaks here; was opened at [(2)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/1)
# 1521|   {
# 1522|   	struct io_uring_sq *sq = &ring->sq;
# 1523|-> 	unsigned int head, next = sq->sqe_tail + 1;
# 1524|   	int shift = 0;
# 1525|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def5]
liburing-2.9/src/include/liburing.h:1523:35: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘open(".test_fpos_read", 0)’
liburing-2.9/test/fpos.c:225:5: enter_function: entry to ‘main’
liburing-2.9/test/fpos.c:230:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/fpos.c:233:15: branch_false: ...to here
liburing-2.9/test/fpos.c:234:12: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/fpos.c:239:28: branch_true: following ‘true’ branch (when ‘test != 8’)...
liburing-2.9/test/fpos.c:240:21: branch_true: ...to here
liburing-2.9/test/fpos.c:242:33: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/fpos.c:244:23: branch_false: following ‘false’ branch (when ‘write == 0’)...
liburing-2.9/test/fpos.c:246:27: branch_false: ...to here
liburing-2.9/test/fpos.c:246:27: call_function: calling ‘test_read’ from ‘main’
# 1521|   {
# 1522|   	struct io_uring_sq *sq = &ring->sq;
# 1523|-> 	unsigned int head, next = sq->sqe_tail + 1;
# 1524|   	int shift = 0;
# 1525|   

Error: GCC_ANALYZER_WARNING (CWE-476): [#def6]
liburing-2.9/src/setup.c:446:48: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘0’
liburing-2.9/src/setup.c:587:16: enter_function: entry to ‘io_uring_mlock_size’
liburing-2.9/src/setup.c:593:16: call_function: calling ‘io_uring_mlock_size_params’ from ‘io_uring_mlock_size’
#  444|   	} else {
#  445|   		if (!(ring->int_flags & INT_FLAG_APP_MEM)) {
#  446|-> 			__sys_munmap(sq->sqes, *sq->kring_entries * sqe_size);
#  447|   			io_uring_unmap_rings(sq, cq);
#  448|   		}

Error: GCC_ANALYZER_WARNING (CWE-775): [#def7]
liburing-2.9/test/accept.c:186:14: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(0, 0, 0)’
liburing-2.9/test/accept.c:518:12: enter_function: entry to ‘test_accept_cancel’
liburing-2.9/test/accept.c:529:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:531:14: branch_true: ...to here
liburing-2.9/test/accept.c:531:14: call_function: calling ‘start_accept_listen’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:531:14: return_function: returning to ‘test_accept_cancel’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:533:21: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:544:12: branch_false: ...to here
liburing-2.9/test/accept.c:547:21: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/accept.c:554:21: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:555:23: branch_true: ...to here
liburing-2.9/test/accept.c:555:23: call_function: calling ‘io_uring_wait_cqe’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:555:23: return_function: returning to ‘test_accept_cancel’ from ‘io_uring_wait_cqe’
liburing-2.9/test/accept.c:186:14: danger: ‘start_accept_listen(0, 0, 0)’ leaks here
#  184|   	int fd, ret;
#  185|   
#  186|-> 	fd = socket(AF_INET, SOCK_STREAM | SOCK_CLOEXEC | extra_flags,
#  187|   		    IPPROTO_TCP);
#  188|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def8]
liburing-2.9/test/accept.c:189:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor
liburing-2.9/test/accept.c:446:12: enter_function: entry to ‘test_accept_many’
liburing-2.9/test/accept.c:457:12: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:462:9: branch_false: ...to here
liburing-2.9/test/accept.c:465:12: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:470:15: branch_false: ...to here
liburing-2.9/test/accept.c:471:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:473:15: branch_true: ...to here
liburing-2.9/test/accept.c:475:21: branch_true: following ‘true’ branch (when ‘i < nr_socks’)...
liburing-2.9/test/accept.c:477:46: branch_true: ...to here
liburing-2.9/test/accept.c:476:26: call_function: calling ‘start_accept_listen’ from ‘test_accept_many’
liburing-2.9/test/accept.c:476:26: return_function: returning to ‘test_accept_many’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:475:21: branch_true: following ‘true’ branch (when ‘i < nr_socks’)...
liburing-2.9/test/accept.c:477:46: branch_true: ...to here
liburing-2.9/test/accept.c:476:26: call_function: calling ‘start_accept_listen’ from ‘test_accept_many’
#  187|   		    IPPROTO_TCP);
#  188|   
#  189|-> 	int32_t val = 1;
#  190|   	ret = setsockopt(fd, SOL_SOCKET, SO_REUSEPORT, &val, sizeof(val));
#  191|   	assert(ret != -1);

Error: GCC_ANALYZER_WARNING (CWE-775): [#def9]
liburing-2.9/test/accept.c:221:25: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(&addr, 0,  <unknown>)’
liburing-2.9/test/accept.c:687:12: enter_function: entry to ‘test_accept_fixed’
liburing-2.9/test/accept.c:696:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:697:15: branch_true: ...to here
liburing-2.9/test/accept.c:698:12: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:704:15: branch_false: ...to here
liburing-2.9/test/accept.c:704:15: call_function: calling ‘test’ from ‘test_accept_fixed’
#  219|   	assert(ret != -1);
#  220|   
#  221|-> 	int32_t flags = fcntl(fd, F_GETFL, 0);
#  222|   	assert(flags != -1);
#  223|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def10]
liburing-2.9/test/accept.c:225:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(&addr, 0,  <unknown>)’
liburing-2.9/test/accept.c:687:12: enter_function: entry to ‘test_accept_fixed’
liburing-2.9/test/accept.c:696:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:697:15: branch_true: ...to here
liburing-2.9/test/accept.c:698:12: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:704:15: branch_false: ...to here
liburing-2.9/test/accept.c:704:15: call_function: calling ‘test’ from ‘test_accept_fixed’
#  223|   
#  224|   	flags |= O_NONBLOCK;
#  225|-> 	ret = fcntl(fd, F_SETFL, flags);
#  226|   	assert(ret != -1);
#  227|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def11]
liburing-2.9/test/accept.c:231:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(&addr, 0,  <unknown>)’
liburing-2.9/test/accept.c:687:12: enter_function: entry to ‘test_accept_fixed’
liburing-2.9/test/accept.c:696:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:697:15: branch_true: ...to here
liburing-2.9/test/accept.c:698:12: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:704:15: branch_false: ...to here
liburing-2.9/test/accept.c:704:15: call_function: calling ‘test’ from ‘test_accept_fixed’
#  229|   	assert(ret == -1);
#  230|   
#  231|-> 	flags = fcntl(fd, F_GETFL, 0);
#  232|   	assert(flags != -1);
#  233|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def12]
liburing-2.9/test/accept.c:401:16: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(&addr, 0,  <unknown>)’
liburing-2.9/test/accept.c:385:12: enter_function: entry to ‘test’
liburing-2.9/test/accept.c:390:27: call_function: calling ‘start_accept_listen’ from ‘test’
liburing-2.9/test/accept.c:390:27: return_function: returning to ‘test’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:394:24: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:400:9: branch_false: ...to here
liburing-2.9/test/accept.c:401:16: danger: ‘start_accept_listen(&addr, 0,  <unknown>)’ leaks here
#  399|   
#  400|   	close(recv_s0);
#  401|-> 	return ret;
#  402|   }
#  403|   

Error: GCC_ANALYZER_WARNING (CWE-479): [#def13]
liburing-2.9/test/accept.c:406:9: warning[-Wanalyzer-unsafe-call-within-signal-handler]: call to ‘exit’ from within signal handler
liburing-2.9/test/accept.c:409:12: enter_function: entry to ‘test_accept_pending_on_exit’
liburing-2.9/test/accept.c:417:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:419:14: branch_true: ...to here
liburing-2.9/test/accept.c:419:14: call_function: calling ‘start_accept_listen’ from ‘test_accept_pending_on_exit’
liburing-2.9/test/accept.c:419:14: return_function: returning to ‘test_accept_pending_on_exit’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:421:15: call_function: inlined call to ‘io_uring_get_sqe’ from ‘test_accept_pending_on_exit’
liburing-2.9/test/accept.c:421:15: call_function: inlined call to ‘io_uring_get_sqe’ from ‘test_accept_pending_on_exit’
liburing-2.9/test/accept.c:424:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:426:9: branch_true: ...to here
liburing-2.9/test/accept.c:404:13: enter_function: entry to ‘sig_alrm’
liburing-2.9/test/accept.c:406:9: danger: call to ‘exit’ from within signal handler
#  404|   static void sig_alrm(int sig)
#  405|   {
#  406|-> 	exit(0);
#  407|   }
#  408|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def14]
liburing-2.9/test/accept.c:475:35: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(0, i,  <unknown>)’
liburing-2.9/test/accept.c:446:12: enter_function: entry to ‘test_accept_many’
liburing-2.9/test/accept.c:457:12: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:462:9: branch_false: ...to here
liburing-2.9/test/accept.c:465:12: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:470:15: branch_false: ...to here
liburing-2.9/test/accept.c:471:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:473:15: branch_true: ...to here
liburing-2.9/test/accept.c:475:21: branch_true: following ‘true’ branch (when ‘i < nr_socks’)...
liburing-2.9/test/accept.c:477:46: branch_true: ...to here
liburing-2.9/test/accept.c:476:26: call_function: calling ‘start_accept_listen’ from ‘test_accept_many’
liburing-2.9/test/accept.c:476:26: return_function: returning to ‘test_accept_many’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:475:21: branch_true: following ‘true’ branch (when ‘i < nr_socks’)...
liburing-2.9/test/accept.c:477:46: branch_true: ...to here
liburing-2.9/test/accept.c:476:26: call_function: calling ‘start_accept_listen’ from ‘test_accept_many’
liburing-2.9/test/accept.c:476:26: return_function: returning to ‘test_accept_many’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:475:35: danger: ‘start_accept_listen(0, i,  <unknown>)’ leaks here
#  473|   	fds = t_calloc(nr_socks, sizeof(int));
#  474|   
#  475|-> 	for (i = 0; i < nr_socks; i++)
#  476|   		fds[i] = start_accept_listen(NULL, i,
#  477|   					     args.nonblock ? SOCK_NONBLOCK : 0);

Error: GCC_ANALYZER_WARNING (CWE-775): [#def15]
liburing-2.9/test/accept.c:545:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(0, 0, 0)’
liburing-2.9/test/accept.c:518:12: enter_function: entry to ‘test_accept_cancel’
liburing-2.9/test/accept.c:529:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:531:14: branch_true: ...to here
liburing-2.9/test/accept.c:531:14: call_function: calling ‘start_accept_listen’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:531:14: return_function: returning to ‘test_accept_cancel’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:533:21: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:544:12: branch_false: ...to here
liburing-2.9/test/accept.c:544:12: branch_true: following ‘true’ branch (when ‘usecs != 0’)...
liburing-2.9/test/accept.c:545:17: branch_true: ...to here
liburing-2.9/test/accept.c:545:17: danger: ‘start_accept_listen(0, 0, 0)’ leaks here
#  543|   
#  544|   	if (usecs)
#  545|-> 		usleep(usecs);
#  546|   
#  547|   	for (i = 1; i <= nr; i++) {

Error: GCC_ANALYZER_WARNING (CWE-775): [#def16]
liburing-2.9/test/accept.c:587:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(0, 0, 0)’
liburing-2.9/test/accept.c:518:12: enter_function: entry to ‘test_accept_cancel’
liburing-2.9/test/accept.c:529:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:531:14: branch_true: ...to here
liburing-2.9/test/accept.c:531:14: call_function: calling ‘start_accept_listen’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:531:14: return_function: returning to ‘test_accept_cancel’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:533:21: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:544:12: branch_false: ...to here
liburing-2.9/test/accept.c:547:21: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/accept.c:587:9: danger: ‘start_accept_listen(0, 0, 0)’ leaks here
#  585|   	}
#  586|   
#  587|-> 	io_uring_queue_exit(&m_io_uring);
#  588|   	close(fd);
#  589|   	return 0;

Error: GCC_ANALYZER_WARNING (CWE-775): [#def17]
liburing-2.9/test/accept.c:588:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(0, 0, 0)’
liburing-2.9/test/accept.c:518:12: enter_function: entry to ‘test_accept_cancel’
liburing-2.9/test/accept.c:529:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:531:14: branch_true: ...to here
liburing-2.9/test/accept.c:531:14: call_function: calling ‘start_accept_listen’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:531:14: return_function: returning to ‘test_accept_cancel’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:533:21: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:544:12: branch_false: ...to here
liburing-2.9/test/accept.c:547:21: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/accept.c:588:9: danger: ‘start_accept_listen(0, 0, 0)’ leaks here
#  586|   
#  587|   	io_uring_queue_exit(&m_io_uring);
#  588|-> 	close(fd);
#  589|   	return 0;
#  590|   err:

Error: GCC_ANALYZER_WARNING (CWE-775): [#def18]
liburing-2.9/test/accept.c:591:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(0, 0, 0)’
liburing-2.9/test/accept.c:518:12: enter_function: entry to ‘test_accept_cancel’
liburing-2.9/test/accept.c:529:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:531:14: branch_true: ...to here
liburing-2.9/test/accept.c:531:14: call_function: calling ‘start_accept_listen’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:531:14: return_function: returning to ‘test_accept_cancel’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:533:21: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:544:12: branch_false: ...to here
liburing-2.9/test/accept.c:547:21: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/accept.c:554:21: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:555:23: branch_true: ...to here
liburing-2.9/test/accept.c:555:23: call_function: calling ‘io_uring_wait_cqe’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:555:23: return_function: returning to ‘test_accept_cancel’ from ‘io_uring_wait_cqe’
liburing-2.9/test/accept.c:556:17: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:567:24: branch_true: ...to here
liburing-2.9/test/accept.c:591:9: danger: ‘start_accept_listen(0, 0, 0)’ leaks here
#  589|   	return 0;
#  590|   err:
#  591|-> 	io_uring_queue_exit(&m_io_uring);
#  592|   	close(fd);
#  593|   	return 1;

Error: GCC_ANALYZER_WARNING (CWE-775): [#def19]
liburing-2.9/test/accept.c:592:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘start_accept_listen(0, 0, 0)’
liburing-2.9/test/accept.c:518:12: enter_function: entry to ‘test_accept_cancel’
liburing-2.9/test/accept.c:529:9: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:531:14: branch_true: ...to here
liburing-2.9/test/accept.c:531:14: call_function: calling ‘start_accept_listen’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:531:14: return_function: returning to ‘test_accept_cancel’ from ‘start_accept_listen’
liburing-2.9/test/accept.c:533:21: branch_false: following ‘false’ branch...
liburing-2.9/test/accept.c:544:12: branch_false: ...to here
liburing-2.9/test/accept.c:547:21: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/accept.c:554:21: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:555:23: branch_true: ...to here
liburing-2.9/test/accept.c:555:23: call_function: calling ‘io_uring_wait_cqe’ from ‘test_accept_cancel’
liburing-2.9/test/accept.c:555:23: return_function: returning to ‘test_accept_cancel’ from ‘io_uring_wait_cqe’
liburing-2.9/test/accept.c:556:17: branch_true: following ‘true’ branch...
liburing-2.9/test/accept.c:567:24: branch_true: ...to here
liburing-2.9/test/accept.c:592:9: danger: ‘start_accept_listen(0, 0, 0)’ leaks here
#  590|   err:
#  591|   	io_uring_queue_exit(&m_io_uring);
#  592|-> 	close(fd);
#  593|   	return 1;
#  594|   }

Error: GCC_ANALYZER_WARNING (CWE-775): [#def20]
liburing-2.9/test/fifo-nonblock-read.c:31:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[0]’
liburing-2.9/test/fifo-nonblock-read.c:26:12: branch_false: following ‘false’ branch...
liburing-2.9/test/fifo-nonblock-read.c:31:17: branch_false: ...to here
liburing-2.9/test/fifo-nonblock-read.c:31:17: danger: ‘fds[0]’ leaks here
#   29|   	}
#   30|   
#   31|-> 	flags = fcntl(fds[0], F_GETFL, 0);
#   32|   	if (flags < 0) {
#   33|   		perror("fcntl get");

Error: GCC_ANALYZER_WARNING (CWE-775): [#def21]
liburing-2.9/test/fifo-nonblock-read.c:31:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[1]’
liburing-2.9/test/fifo-nonblock-read.c:26:12: branch_false: following ‘false’ branch...
liburing-2.9/test/fifo-nonblock-read.c:31:17: branch_false: ...to here
liburing-2.9/test/fifo-nonblock-read.c:31:17: danger: ‘fds[1]’ leaks here
#   29|   	}
#   30|   
#   31|-> 	flags = fcntl(fds[0], F_GETFL, 0);
#   32|   	if (flags < 0) {
#   33|   		perror("fcntl get");

Error: GCC_ANALYZER_WARNING (CWE-775): [#def22]
liburing-2.9/test/fifo-nonblock-read.c:37:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[1]’
liburing-2.9/test/fifo-nonblock-read.c:26:12: branch_false: following ‘false’ branch...
liburing-2.9/test/fifo-nonblock-read.c:31:17: branch_false: ...to here
liburing-2.9/test/fifo-nonblock-read.c:32:12: branch_false: following ‘false’ branch...
liburing-2.9/test/fifo-nonblock-read.c:36:9: branch_false: ...to here
liburing-2.9/test/fifo-nonblock-read.c:37:15: danger: ‘fds[1]’ leaks here
#   35|   	}
#   36|   	flags |= O_NONBLOCK;
#   37|-> 	ret = fcntl(fds[0], F_SETFL, flags);
#   38|   	if (ret < 0) {
#   39|   		perror("fcntl set");

Error: GCC_ANALYZER_WARNING (CWE-775): [#def23]
liburing-2.9/test/file-register.c:832:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘reg_fds[0]’
liburing-2.9/test/file-register.c:814:12: branch_false: following ‘false’ branch...
liburing-2.9/test/file-register.c:818:13: branch_false: ...to here
liburing-2.9/test/file-register.c:818:12: branch_false: following ‘false’ branch...
liburing-2.9/test/file-register.c:827:22: branch_false: ...to here
liburing-2.9/test/file-register.c:832:15: danger: ‘reg_fds[0]’ leaks here
#  830|   	reg_fds[3] = ring.ring_fd;
#  831|   	reg_fds[4] = -1;
#  832|-> 	ret = io_uring_register_files(&ring, reg_fds, 5);
#  833|   	if (!ret) {
#  834|   		fprintf(stderr, "file_register unexpectedly succeeded\n");

Error: GCC_ANALYZER_WARNING (CWE-775): [#def24]
liburing-2.9/test/file-register.c:832:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘reg_fds[1]’
liburing-2.9/test/file-register.c:814:12: branch_false: following ‘false’ branch...
liburing-2.9/test/file-register.c:818:13: branch_false: ...to here
liburing-2.9/test/file-register.c:818:12: branch_false: following ‘false’ branch...
liburing-2.9/test/file-register.c:827:22: branch_false: ...to here
liburing-2.9/test/file-register.c:832:15: danger: ‘reg_fds[1]’ leaks here
#  830|   	reg_fds[3] = ring.ring_fd;
#  831|   	reg_fds[4] = -1;
#  832|-> 	ret = io_uring_register_files(&ring, reg_fds, 5);
#  833|   	if (!ret) {
#  834|   		fprintf(stderr, "file_register unexpectedly succeeded\n");

Error: GCC_ANALYZER_WARNING (CWE-457): [#def25]
liburing-2.9/test/fixed-hugepage.c:51:50: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>.iov_len’
liburing-2.9/test/fixed-hugepage.c:342:12: enter_function: entry to ‘test_page_mixture’
liburing-2.9/test/fixed-hugepage.c:348:13: call_function: calling ‘mmap_mixture’ from ‘test_page_mixture’
#   49|   
#   50|   	for (i = 0; i < nr_bufs; i++)
#   51|-> 		munmap(iov[i].iov_base - offset, iov[i].iov_len + offset);
#   52|   }
#   53|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def26]
liburing-2.9/test/min-timeout.c:91:25: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[0][1]’
liburing-2.9/test/min-timeout.c:82:12: branch_false: following ‘false’ branch...
liburing-2.9/test/min-timeout.c:84:15: branch_false: ...to here
liburing-2.9/test/min-timeout.c:84:12: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/min-timeout.c:89:21: branch_true: following ‘true’ branch (when ‘i != 8’)...
liburing-2.9/test/min-timeout.c:90:26: branch_true: ...to here
liburing-2.9/test/min-timeout.c:90:20: branch_false: following ‘false’ branch...
liburing-2.9/test/min-timeout.c:94:27: branch_false: ...to here
liburing-2.9/test/min-timeout.c:89:21: branch_true: following ‘true’ branch (when ‘i != 8’)...
liburing-2.9/test/min-timeout.c:90:26: branch_true: ...to here
liburing-2.9/test/min-timeout.c:90:20: branch_true: following ‘true’ branch...
liburing-2.9/test/min-timeout.c:91:25: branch_true: ...to here
liburing-2.9/test/min-timeout.c:91:25: danger: ‘fds[0][1]’ leaks here
#   89|   	for (i = 0; i < NPIPES; i++) {
#   90|   		if (pipe(fds[i]) < 0) {
#   91|-> 			perror("pipe");
#   92|   			return 1;
#   93|   		}

Error: GCC_ANALYZER_WARNING (CWE-775): [#def27]
liburing-2.9/test/min-timeout.c:91:25: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[1][1]’
liburing-2.9/test/min-timeout.c:82:12: branch_false: following ‘false’ branch...
liburing-2.9/test/min-timeout.c:84:15: branch_false: ...to here
liburing-2.9/test/min-timeout.c:84:12: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/min-timeout.c:89:21: branch_true: following ‘true’ branch (when ‘i != 8’)...
liburing-2.9/test/min-timeout.c:90:26: branch_true: ...to here
liburing-2.9/test/min-timeout.c:90:20: branch_false: following ‘false’ branch...
liburing-2.9/test/min-timeout.c:94:27: branch_false: ...to here
liburing-2.9/test/min-timeout.c:89:21: branch_true: following ‘true’ branch (when ‘i != 8’)...
liburing-2.9/test/min-timeout.c:90:26: branch_true: ...to here
liburing-2.9/test/min-timeout.c:90:20: branch_false: following ‘false’ branch...
liburing-2.9/test/min-timeout.c:94:27: branch_false: ...to here
liburing-2.9/test/min-timeout.c:89:21: branch_true: following ‘true’ branch (when ‘i != 8’)...
liburing-2.9/test/min-timeout.c:90:26: branch_true: ...to here
liburing-2.9/test/min-timeout.c:90:20: branch_true: following ‘true’ branch...
liburing-2.9/test/min-timeout.c:91:25: branch_true: ...to here
liburing-2.9/test/min-timeout.c:91:25: danger: ‘fds[1][1]’ leaks here
#   89|   	for (i = 0; i < NPIPES; i++) {
#   90|   		if (pipe(fds[i]) < 0) {
#   91|-> 			perror("pipe");
#   92|   			return 1;
#   93|   		}

Error: GCC_ANALYZER_WARNING (CWE-775): [#def28]
liburing-2.9/test/min-timeout.c:91:25: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[2][1]’
liburing-2.9/test/min-timeout.c:82:12: branch_false: following ‘false’ branch...
liburing-2.9/test/min-timeout.c:84:15: branch_false: ...to here
liburing-2.9/test/min-timeout.c:84:12: branch_false: following ‘false’ branch...
 branch_false: ...to here
liburing-2.9/test/min-timeout.c:89:21: branch_true: following ‘true’ branch (when ‘i != 8’)...
liburing-2.9/test/min-timeout.c:90:26: branch_true: ...to here
liburing-2.9/test/min-timeout.c:90:20: branch_false: following ‘false’ branch...
liburing-2.9/test/min-timeout.c:94:27: branch_false: ...to here
liburing-2.9/test/min-timeout.c:89:21: branch_true: following ‘true’ branch (when ‘i != 8’)...
liburing-2.9/test/min-timeout.c:90:26: branch_true: ...to here
liburing-2.9/test/min-timeout.c:90:20: branch_false: following ‘false’ branch...
liburing-2.9/test/min-timeout.c:94:27: branch_false: ...to here
liburing-2.9/test/min-timeout.c:89:21: branch_true: following ‘true’ branch (when ‘i != 8’)...
liburing-2.9/test/min-timeout.c:90:26: branch_true: ...to here
liburing-2.9/test/min-timeout.c:90:20: branch_false: following ‘false’ branch...
liburing-2.9/test/min-timeout.c:94:27: branch_false: ...to here
liburing-2.9/test/min-timeout.c:89:21: branch_true: following ‘true’ branch (when ‘i != 8’)...
liburing-2.9/test/min-timeout.c:90:26: branch_true: ...to here
liburing-2.9/test/min-timeout.c:90:20: branch_true: following ‘true’ branch...
liburing-2.9/test/min-timeout.c:91:25: branch_true: ...to here
liburing-2.9/test/min-timeout.c:91:25: danger: ‘fds[2][1]’ leaks here
#   89|   	for (i = 0; i < NPIPES; i++) {
#   90|   		if (pipe(fds[i]) < 0) {
#   91|-> 			perror("pipe");
#   92|   			return 1;
#   93|   		}

Error: GCC_ANALYZER_WARNING (CWE-775): [#def29]
liburing-2.9/test/pipe-bug.c:37:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[1]’
liburing-2.9/test/pipe-bug.c:82:5: enter_function: entry to ‘main’
liburing-2.9/test/pipe-bug.c:86:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
 branch_false: ...to here
liburing-2.9/test/pipe-bug.c:89:21: branch_true: following ‘true’ branch (when ‘i != 10000’)...
liburing-2.9/test/pipe-bug.c:90:21: branch_true: ...to here
liburing-2.9/test/pipe-bug.c:90:21: call_function: calling ‘pipe_bug’ from ‘main’
#   35|   	};
#   36|   
#   37|-> 	CHECK(pipe(fds) == 0);
#   38|   
#   39|   	memset(&p, 0, sizeof(p));

Error: GCC_ANALYZER_WARNING (CWE-775): [#def30]
liburing-2.9/test/pipe-bug.c:37:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[i]’
liburing-2.9/test/pipe-bug.c:82:5: enter_function: entry to ‘main’
liburing-2.9/test/pipe-bug.c:86:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
 branch_false: ...to here
liburing-2.9/test/pipe-bug.c:89:21: branch_true: following ‘true’ branch (when ‘i != 10000’)...
liburing-2.9/test/pipe-bug.c:90:21: branch_true: ...to here
liburing-2.9/test/pipe-bug.c:90:21: call_function: calling ‘pipe_bug’ from ‘main’
#   35|   	};
#   36|   
#   37|-> 	CHECK(pipe(fds) == 0);
#   38|   
#   39|   	memset(&p, 0, sizeof(p));

Error: GCC_ANALYZER_WARNING (CWE-775): [#def31]
liburing-2.9/test/pipe-bug.c:40:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[0]’
liburing-2.9/test/pipe-bug.c:37:9: branch_false: following ‘false’ branch...
liburing-2.9/test/pipe-bug.c:39:9: branch_false: ...to here
liburing-2.9/test/pipe-bug.c:40:9: danger: ‘fds[0]’ leaks here
#   38|   
#   39|   	memset(&p, 0, sizeof(p));
#   40|-> 	CHECK(t_create_ring_params(8, &ring, &p) == 0);
#   41|   
#   42|   	/* WRITE */

Error: GCC_ANALYZER_WARNING (CWE-775): [#def32]
liburing-2.9/test/pipe-bug.c:40:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[1]’
liburing-2.9/test/pipe-bug.c:37:9: branch_false: following ‘false’ branch...
liburing-2.9/test/pipe-bug.c:39:9: branch_false: ...to here
liburing-2.9/test/pipe-bug.c:40:9: danger: ‘fds[1]’ leaks here
#   38|   
#   39|   	memset(&p, 0, sizeof(p));
#   40|-> 	CHECK(t_create_ring_params(8, &ring, &p) == 0);
#   41|   
#   42|   	/* WRITE */

Error: GCC_ANALYZER_WARNING (CWE-775): [#def33]
liburing-2.9/test/pipe-bug.c:40:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘fds[i]’
liburing-2.9/test/pipe-bug.c:82:5: enter_function: entry to ‘main’
liburing-2.9/test/pipe-bug.c:86:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
 branch_false: ...to here
liburing-2.9/test/pipe-bug.c:89:21: branch_true: following ‘true’ branch (when ‘i != 10000’)...
liburing-2.9/test/pipe-bug.c:90:21: branch_true: ...to here
liburing-2.9/test/pipe-bug.c:90:21: call_function: calling ‘pipe_bug’ from ‘main’
#   38|   
#   39|   	memset(&p, 0, sizeof(p));
#   40|-> 	CHECK(t_create_ring_params(8, &ring, &p) == 0);
#   41|   
#   42|   	/* WRITE */

Error: GCC_ANALYZER_WARNING (CWE-775): [#def34]
liburing-2.9/test/pipe-eof.c:50:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘d.fds[0]’
liburing-2.9/test/pipe-eof.c:44:12: branch_false: following ‘false’ branch...
liburing-2.9/test/pipe-eof.c:48:9: branch_false: ...to here
liburing-2.9/test/pipe-eof.c:50:9: danger: ‘d.fds[0]’ leaks here
#   48|   	d.str = buf;
#   49|   
#   50|-> 	io_uring_queue_init(8, &ring, 0);
#   51|   
#   52|   	pthread_create(&thread, NULL, t, &d);

Error: GCC_ANALYZER_WARNING (CWE-775): [#def35]
liburing-2.9/test/pipe-eof.c:50:9: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘d.fds[1]’
liburing-2.9/test/pipe-eof.c:44:12: branch_false: following ‘false’ branch...
liburing-2.9/test/pipe-eof.c:48:9: branch_false: ...to here
liburing-2.9/test/pipe-eof.c:50:9: danger: ‘d.fds[1]’ leaks here
#   48|   	d.str = buf;
#   49|   
#   50|-> 	io_uring_queue_init(8, &ring, 0);
#   51|   
#   52|   	pthread_create(&thread, NULL, t, &d);

Error: GCC_ANALYZER_WARNING (CWE-775): [#def36]
liburing-2.9/test/recv-msgall-stream.c:57:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘sockfd’
liburing-2.9/test/recv-msgall-stream.c:250:14: enter_function: entry to ‘recv_fn’
liburing-2.9/test/recv-msgall-stream.c:254:12: branch_true: following ‘true’ branch...
liburing-2.9/test/recv-msgall-stream.c:255:45: branch_true: ...to here
liburing-2.9/test/recv-msgall-stream.c:255:45: call_function: calling ‘recv_sync’ from ‘recv_fn’
#   55|   	ret = listen(sockfd, 16);
#   56|   	if (ret < 0) {
#   57|-> 		perror("listen");
#   58|   		goto err;
#   59|   	}

Error: GCC_ANALYZER_WARNING (CWE-775): [#def37]
liburing-2.9/test/recv-msgall-stream.c:63:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘sockfd’
liburing-2.9/test/recv-msgall-stream.c:250:14: enter_function: entry to ‘recv_fn’
liburing-2.9/test/recv-msgall-stream.c:254:12: branch_true: following ‘true’ branch...
liburing-2.9/test/recv-msgall-stream.c:255:45: branch_true: ...to here
liburing-2.9/test/recv-msgall-stream.c:255:45: call_function: calling ‘recv_sync’ from ‘recv_fn’
#   61|   	pthread_mutex_unlock(&rd->mutex);
#   62|   
#   63|-> 	ret = accept(sockfd, NULL, NULL);
#   64|   	if (ret < 0) {
#   65|   		perror("accept");

Error: GCC_ANALYZER_WARNING (CWE-775): [#def38]
liburing-2.9/test/send-zerocopy.c:293:24: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘sock’
liburing-2.9/test/send-zerocopy.c:838:12: enter_function: entry to ‘run_basic_tests’
liburing-2.9/test/send-zerocopy.c:844:15: call_function: calling ‘create_socketpair_ip’ from ‘run_basic_tests’
#  291|   	if (sock < 0) {
#  292|   		perror("socket");
#  293|-> 		return 1;
#  294|   	}
#  295|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def39]
liburing-2.9/test/send-zerocopy.c:331:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘sock’
liburing-2.9/test/send-zerocopy.c:838:12: enter_function: entry to ‘run_basic_tests’
liburing-2.9/test/send-zerocopy.c:844:15: call_function: calling ‘create_socketpair_ip’ from ‘run_basic_tests’
#  329|   	}
#  330|   	if (*sock_client < 0) {
#  331|-> 		perror("socket");
#  332|   		return 1;
#  333|   	}

Error: GCC_ANALYZER_WARNING (CWE-775): [#def40]
liburing-2.9/test/send-zerocopy.c:335:23: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘sock_tx’
liburing-2.9/test/send-zerocopy.c:742:12: enter_function: entry to ‘test_sendzc_report’
liburing-2.9/test/send-zerocopy.c:750:15: call_function: calling ‘create_socketpair_ip’ from ‘test_sendzc_report’
#  333|   	}
#  334|   	if (client_connect) {
#  335|-> 		ret = connect(*sock_client, (struct sockaddr *)addr, addr_size);
#  336|   		if (ret < 0) {
#  337|   			perror("connect");

Error: GCC_ANALYZER_WARNING (CWE-775): [#def41]
liburing-2.9/test/send-zerocopy.c:335:23: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘sock’
liburing-2.9/test/send-zerocopy.c:838:12: enter_function: entry to ‘run_basic_tests’
liburing-2.9/test/send-zerocopy.c:844:15: call_function: calling ‘create_socketpair_ip’ from ‘run_basic_tests’
#  333|   	}
#  334|   	if (client_connect) {
#  335|-> 		ret = connect(*sock_client, (struct sockaddr *)addr, addr_size);
#  336|   		if (ret < 0) {
#  337|   			perror("connect");

Error: GCC_ANALYZER_WARNING (CWE-775): [#def42]
liburing-2.9/test/send-zerocopy.c:335:23: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘sp[0]’
liburing-2.9/test/send-zerocopy.c:838:12: enter_function: entry to ‘run_basic_tests’
liburing-2.9/test/send-zerocopy.c:844:15: call_function: calling ‘create_socketpair_ip’ from ‘run_basic_tests’
#  333|   	}
#  334|   	if (client_connect) {
#  335|-> 		ret = connect(*sock_client, (struct sockaddr *)addr, addr_size);
#  336|   		if (ret < 0) {
#  337|   			perror("connect");

Error: GCC_ANALYZER_WARNING (CWE-775): [#def43]
liburing-2.9/test/send-zerocopy.c:337:25: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘sock’
liburing-2.9/test/send-zerocopy.c:838:12: enter_function: entry to ‘run_basic_tests’
liburing-2.9/test/send-zerocopy.c:844:15: call_function: calling ‘create_socketpair_ip’ from ‘run_basic_tests’
#  335|   		ret = connect(*sock_client, (struct sockaddr *)addr, addr_size);
#  336|   		if (ret < 0) {
#  337|-> 			perror("connect");
#  338|   			return 1;
#  339|   		}

Error: GCC_ANALYZER_WARNING (CWE-775): [#def44]
liburing-2.9/test/send-zerocopy.c:359:32: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘sock’
liburing-2.9/test/send-zerocopy.c:838:12: enter_function: entry to ‘run_basic_tests’
liburing-2.9/test/send-zerocopy.c:844:15: call_function: calling ‘create_socketpair_ip’ from ‘run_basic_tests’
#  357|   	}
#  358|   	if (tcp) {
#  359|-> 		*sock_server = accept(listen_sock, NULL, NULL);
#  360|   		if (!*sock_server) {
#  361|   			fprintf(stderr, "can't accept\n");

Error: GCC_ANALYZER_WARNING (CWE-775): [#def45]
liburing-2.9/test/shutdown.c:61:25: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/shutdown.c:35:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/shutdown.c:38:15: branch_false: ...to here
liburing-2.9/test/shutdown.c:40:19: acquire_resource: socket created here
liburing-2.9/test/shutdown.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:44:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:45:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:47:9: branch_true: ...to here
liburing-2.9/test/shutdown.c:51:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:52:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:53:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:55:19: branch_true: ...to here
liburing-2.9/test/shutdown.c:59:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:61:25: branch_true: ...to here
liburing-2.9/test/shutdown.c:61:25: danger: ‘recv_s0’ leaks here
#   59|   	assert(ret != -1);
#   60|   
#   61|-> 	int32_t flags = fcntl(p_fd[1], F_GETFL, 0);
#   62|   	assert(flags != -1);
#   63|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def46]
liburing-2.9/test/shutdown.c:65:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/shutdown.c:35:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/shutdown.c:38:15: branch_false: ...to here
liburing-2.9/test/shutdown.c:40:19: acquire_resource: socket created here
liburing-2.9/test/shutdown.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:44:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:45:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:47:9: branch_true: ...to here
liburing-2.9/test/shutdown.c:51:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:52:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:53:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:55:19: branch_true: ...to here
liburing-2.9/test/shutdown.c:59:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:61:25: branch_true: ...to here
liburing-2.9/test/shutdown.c:62:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:64:9: branch_true: ...to here
liburing-2.9/test/shutdown.c:65:15: danger: ‘recv_s0’ leaks here
#   63|   
#   64|   	flags |= O_NONBLOCK;
#   65|-> 	ret = fcntl(p_fd[1], F_SETFL, flags);
#   66|   	assert(ret != -1);
#   67|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def47]
liburing-2.9/test/shutdown.c:71:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/shutdown.c:35:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/shutdown.c:38:15: branch_false: ...to here
liburing-2.9/test/shutdown.c:40:19: acquire_resource: socket created here
liburing-2.9/test/shutdown.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:44:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:45:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:47:9: branch_true: ...to here
liburing-2.9/test/shutdown.c:51:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:52:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:53:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:55:19: branch_true: ...to here
liburing-2.9/test/shutdown.c:59:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:61:25: branch_true: ...to here
liburing-2.9/test/shutdown.c:62:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:64:9: branch_true: ...to here
liburing-2.9/test/shutdown.c:66:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:68:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:69:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:71:17: branch_true: ...to here
liburing-2.9/test/shutdown.c:71:17: danger: ‘recv_s0’ leaks here
#   69|   	assert(ret == -1);
#   70|   
#   71|-> 	flags = fcntl(p_fd[1], F_GETFL, 0);
#   72|   	assert(flags != -1);
#   73|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def48]
liburing-2.9/test/shutdown.c:75:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/shutdown.c:35:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/shutdown.c:38:15: branch_false: ...to here
liburing-2.9/test/shutdown.c:40:19: acquire_resource: socket created here
liburing-2.9/test/shutdown.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:44:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:45:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:47:9: branch_true: ...to here
liburing-2.9/test/shutdown.c:51:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:52:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:53:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:55:19: branch_true: ...to here
liburing-2.9/test/shutdown.c:59:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/shutdown.c:61:25: branch_true: ...to here
liburing-2.9/test/shutdown.c:62:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:64:9: branch_true: ...to here
liburing-2.9/test/shutdown.c:66:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:68:15: branch_true: ...to here
liburing-2.9/test/shutdown.c:69:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:71:17: branch_true: ...to here
liburing-2.9/test/shutdown.c:72:9: branch_true: following ‘true’ branch...
liburing-2.9/test/shutdown.c:74:9: branch_true: ...to here
liburing-2.9/test/shutdown.c:75:15: danger: ‘recv_s0’ leaks here
#   73|   
#   74|   	flags &= ~O_NONBLOCK;
#   75|-> 	ret = fcntl(p_fd[1], F_SETFL, flags);
#   76|   	assert(ret != -1);
#   77|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def49]
liburing-2.9/test/socket-nb.c:54:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-nb.c:33:19: acquire_resource: socket created here
liburing-2.9/test/socket-nb.c:37:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-nb.c:38:15: branch_true: ...to here
liburing-2.9/test/socket-nb.c:39:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-nb.c:41:9: branch_true: ...to here
liburing-2.9/test/socket-nb.c:44:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-nb.c:45:15: branch_true: ...to here
liburing-2.9/test/socket-nb.c:46:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-nb.c:48:19: branch_true: ...to here
liburing-2.9/test/socket-nb.c:52:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-nb.c:54:17: branch_true: ...to here
liburing-2.9/test/socket-nb.c:54:17: danger: ‘recv_s0’ leaks here
#   52|   	assert(ret != -1);
#   53|   
#   54|-> 	flags = fcntl(p_fd[1], F_GETFL, 0);
#   55|   	assert(flags != -1);
#   56|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def50]
liburing-2.9/test/socket-nb.c:58:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-nb.c:33:19: acquire_resource: socket created here
liburing-2.9/test/socket-nb.c:37:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-nb.c:38:15: branch_true: ...to here
liburing-2.9/test/socket-nb.c:39:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-nb.c:41:9: branch_true: ...to here
liburing-2.9/test/socket-nb.c:44:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-nb.c:45:15: branch_true: ...to here
liburing-2.9/test/socket-nb.c:46:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-nb.c:48:19: branch_true: ...to here
liburing-2.9/test/socket-nb.c:52:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-nb.c:54:17: branch_true: ...to here
liburing-2.9/test/socket-nb.c:55:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-nb.c:57:9: branch_true: ...to here
liburing-2.9/test/socket-nb.c:58:15: danger: ‘recv_s0’ leaks here
#   56|   
#   57|   	flags |= O_NONBLOCK;
#   58|-> 	ret = fcntl(p_fd[1], F_SETFL, flags);
#   59|   	assert(ret != -1);
#   60|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def51]
liburing-2.9/test/socket-rw-eagain.c:56:25: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw-eagain.c:31:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw-eagain.c:34:15: branch_false: ...to here
liburing-2.9/test/socket-rw-eagain.c:36:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw-eagain.c:39:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-eagain.c:40:15: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-eagain.c:43:9: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:46:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-eagain.c:47:15: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:48:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-eagain.c:50:19: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:54:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-eagain.c:56:25: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:56:25: danger: ‘recv_s0’ leaks here
#   54|   	assert(ret != -1);
#   55|   
#   56|-> 	int32_t flags = fcntl(p_fd[1], F_GETFL, 0);
#   57|   	assert(flags != -1);
#   58|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def52]
liburing-2.9/test/socket-rw-eagain.c:60:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw-eagain.c:31:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw-eagain.c:34:15: branch_false: ...to here
liburing-2.9/test/socket-rw-eagain.c:36:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw-eagain.c:39:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-eagain.c:40:15: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-eagain.c:43:9: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:46:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-eagain.c:47:15: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:48:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-eagain.c:50:19: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:54:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-eagain.c:56:25: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:57:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-eagain.c:59:9: branch_true: ...to here
liburing-2.9/test/socket-rw-eagain.c:60:15: danger: ‘recv_s0’ leaks here
#   58|   
#   59|   	flags |= O_NONBLOCK;
#   60|-> 	ret = fcntl(p_fd[1], F_SETFL, flags);
#   61|   	assert(ret != -1);
#   62|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def53]
liburing-2.9/test/socket-rw-offset.c:59:25: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw-offset.c:33:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw-offset.c:36:15: branch_false: ...to here
liburing-2.9/test/socket-rw-offset.c:38:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw-offset.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:42:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:45:9: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:48:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:49:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:50:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:53:19: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:57:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:59:25: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:59:25: danger: ‘recv_s0’ leaks here
#   57|   	assert(ret != -1);
#   58|   
#   59|-> 	int32_t flags = fcntl(p_fd[1], F_GETFL, 0);
#   60|   	assert(flags != -1);
#   61|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def54]
liburing-2.9/test/socket-rw-offset.c:63:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw-offset.c:33:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw-offset.c:36:15: branch_false: ...to here
liburing-2.9/test/socket-rw-offset.c:38:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw-offset.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:42:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:45:9: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:48:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:49:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:50:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:53:19: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:57:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:59:25: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:60:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:62:9: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:63:15: danger: ‘recv_s0’ leaks here
#   61|   
#   62|   	flags |= O_NONBLOCK;
#   63|-> 	ret = fcntl(p_fd[1], F_SETFL, flags);
#   64|   	assert(ret != -1);
#   65|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def55]
liburing-2.9/test/socket-rw-offset.c:69:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw-offset.c:33:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw-offset.c:36:15: branch_false: ...to here
liburing-2.9/test/socket-rw-offset.c:38:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw-offset.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:42:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:45:9: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:48:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:49:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:50:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:53:19: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:57:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:59:25: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:60:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:62:9: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:64:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:66:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:67:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:69:17: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:69:17: danger: ‘recv_s0’ leaks here
#   67|   	assert(ret == -1);
#   68|   
#   69|-> 	flags = fcntl(p_fd[1], F_GETFL, 0);
#   70|   	assert(flags != -1);
#   71|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def56]
liburing-2.9/test/socket-rw-offset.c:73:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw-offset.c:33:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw-offset.c:36:15: branch_false: ...to here
liburing-2.9/test/socket-rw-offset.c:38:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw-offset.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:42:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:45:9: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:48:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:49:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:50:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:53:19: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:57:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw-offset.c:59:25: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:60:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:62:9: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:64:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:66:15: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:67:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:69:17: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:70:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw-offset.c:72:9: branch_true: ...to here
liburing-2.9/test/socket-rw-offset.c:73:15: danger: ‘recv_s0’ leaks here
#   71|   
#   72|   	flags &= ~O_NONBLOCK;
#   73|-> 	ret = fcntl(p_fd[1], F_SETFL, flags);
#   74|   	assert(ret != -1);
#   75|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def57]
liburing-2.9/test/socket-rw.c:59:25: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw.c:33:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw.c:36:15: branch_false: ...to here
liburing-2.9/test/socket-rw.c:38:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:42:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:45:9: branch_true: ...to here
liburing-2.9/test/socket-rw.c:48:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:49:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:50:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:53:19: branch_true: ...to here
liburing-2.9/test/socket-rw.c:57:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:59:25: branch_true: ...to here
liburing-2.9/test/socket-rw.c:59:25: danger: ‘recv_s0’ leaks here
#   57|   	assert(ret != -1);
#   58|   
#   59|-> 	int32_t flags = fcntl(p_fd[1], F_GETFL, 0);
#   60|   	assert(flags != -1);
#   61|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def58]
liburing-2.9/test/socket-rw.c:63:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw.c:33:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw.c:36:15: branch_false: ...to here
liburing-2.9/test/socket-rw.c:38:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:42:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:45:9: branch_true: ...to here
liburing-2.9/test/socket-rw.c:48:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:49:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:50:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:53:19: branch_true: ...to here
liburing-2.9/test/socket-rw.c:57:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:59:25: branch_true: ...to here
liburing-2.9/test/socket-rw.c:60:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:62:9: branch_true: ...to here
liburing-2.9/test/socket-rw.c:63:15: danger: ‘recv_s0’ leaks here
#   61|   
#   62|   	flags |= O_NONBLOCK;
#   63|-> 	ret = fcntl(p_fd[1], F_SETFL, flags);
#   64|   	assert(ret != -1);
#   65|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def59]
liburing-2.9/test/socket-rw.c:69:17: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw.c:33:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw.c:36:15: branch_false: ...to here
liburing-2.9/test/socket-rw.c:38:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:42:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:45:9: branch_true: ...to here
liburing-2.9/test/socket-rw.c:48:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:49:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:50:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:53:19: branch_true: ...to here
liburing-2.9/test/socket-rw.c:57:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:59:25: branch_true: ...to here
liburing-2.9/test/socket-rw.c:60:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:62:9: branch_true: ...to here
liburing-2.9/test/socket-rw.c:64:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:66:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:67:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:69:17: branch_true: ...to here
liburing-2.9/test/socket-rw.c:69:17: danger: ‘recv_s0’ leaks here
#   67|   	assert(ret == -1);
#   68|   
#   69|-> 	flags = fcntl(p_fd[1], F_GETFL, 0);
#   70|   	assert(flags != -1);
#   71|   

Error: GCC_ANALYZER_WARNING (CWE-775): [#def60]
liburing-2.9/test/socket-rw.c:73:15: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘recv_s0’
liburing-2.9/test/socket-rw.c:33:12: branch_false: following ‘false’ branch (when ‘argc <= 1’)...
liburing-2.9/test/socket-rw.c:36:15: branch_false: ...to here
liburing-2.9/test/socket-rw.c:38:19: acquire_resource: socket created here
liburing-2.9/test/socket-rw.c:41:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:42:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:43:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:45:9: branch_true: ...to here
liburing-2.9/test/socket-rw.c:48:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:49:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:50:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:53:19: branch_true: ...to here
liburing-2.9/test/socket-rw.c:57:9: branch_true: following ‘true’ branch (when ‘ret != -1’)...
liburing-2.9/test/socket-rw.c:59:25: branch_true: ...to here
liburing-2.9/test/socket-rw.c:60:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:62:9: branch_true: ...to here
liburing-2.9/test/socket-rw.c:64:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:66:15: branch_true: ...to here
liburing-2.9/test/socket-rw.c:67:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:69:17: branch_true: ...to here
liburing-2.9/test/socket-rw.c:70:9: branch_true: following ‘true’ branch...
liburing-2.9/test/socket-rw.c:72:9: branch_true: ...to here
liburing-2.9/test/socket-rw.c:73:15: danger: ‘recv_s0’ leaks here
#   71|   
#   72|   	flags &= ~O_NONBLOCK;
#   73|-> 	ret = fcntl(p_fd[1], F_SETFL, flags);
#   74|   	assert(ret != -1);
#   75|

Scan Properties

analyzer-version-clippy1.90.0
analyzer-version-cppcheck2.18.3
analyzer-version-gcc15.2.1
analyzer-version-gcc-analyzer16.0.0
analyzer-version-shellcheck0.11.0
analyzer-version-unicontrol0.0.2
diffbase-analyzer-version-clippy1.90.0
diffbase-analyzer-version-cppcheck2.18.3
diffbase-analyzer-version-gcc15.2.1
diffbase-analyzer-version-gcc-analyzer16.0.0
diffbase-analyzer-version-shellcheck0.11.0
diffbase-analyzer-version-unicontrol0.0.2
diffbase-enabled-pluginsclippy, cppcheck, gcc, shellcheck, unicontrol
diffbase-exit-code0
diffbase-hostip-172-16-1-226.us-west-2.compute.internal
diffbase-known-false-positives/usr/share/csmock/known-false-positives.js
diffbase-known-false-positives-rpmknown-false-positives-0.0.0.20250521.132812.g8eff701.main-1.el9.noarch
diffbase-mock-configfedora-rawhide-gcc-latest-x86_64
diffbase-project-nameliburing-2.12-1.fc44
diffbase-store-results-to/tmp/tmp5mu80gjc/liburing-2.12-1.fc44.tar.xz
diffbase-time-created2025-10-28 19:13:06
diffbase-time-finished2025-10-28 19:15:18
diffbase-toolcsmock
diffbase-tool-args'/usr/bin/csmock' '-r' 'fedora-rawhide-gcc-latest-x86_64' '-t' 'gcc,cppcheck,shellcheck,clippy,unicontrol' '-o' '/tmp/tmp5mu80gjc/liburing-2.12-1.fc44.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--install=gcc-latest' '--gcc-analyzer-bin=/opt/gcc-latest/bin/gcc' '/tmp/tmp5mu80gjc/liburing-2.12-1.fc44.src.rpm'
diffbase-tool-versioncsmock-3.8.3.20251027.143044.ge6b947b-1.el9
enabled-pluginsclippy, cppcheck, gcc, shellcheck, unicontrol
exit-code0
hostip-172-16-1-226.us-west-2.compute.internal
known-false-positives/usr/share/csmock/known-false-positives.js
known-false-positives-rpmknown-false-positives-0.0.0.20250521.132812.g8eff701.main-1.el9.noarch
mock-configfedora-rawhide-gcc-latest-x86_64
project-nameliburing-2.9-2.fc43
store-results-to/tmp/tmpxffs5c56/liburing-2.9-2.fc43.tar.xz
time-created2025-10-28 19:10:00
time-finished2025-10-28 19:12:33
titleFixed findings
toolcsmock
tool-args'/usr/bin/csmock' '-r' 'fedora-rawhide-gcc-latest-x86_64' '-t' 'gcc,cppcheck,shellcheck,clippy,unicontrol' '-o' '/tmp/tmpxffs5c56/liburing-2.9-2.fc43.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--install=gcc-latest' '--gcc-analyzer-bin=/opt/gcc-latest/bin/gcc' '/tmp/tmpxffs5c56/liburing-2.9-2.fc43.src.rpm'
tool-versioncsmock-3.8.3.20251027.143044.ge6b947b-1.el9