Scan Results

List of Findings

Error: SECURE_TEMP (CWE-377): [#def1]
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:70: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:72: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:72: path: Condition "(_fos_res = knet_handle_add_datafd(NULL, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:72: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:72: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:72: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:72: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:72: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:72: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:77: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:78: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:78: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, NULL, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:78: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:78: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:78: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:78: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:78: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:78: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:80: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:81: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:81: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, NULL, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:81: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:81: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:81: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:81: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:81: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:81: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:83: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:86: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:86: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:86: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:86: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:86: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:86: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:86: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:86: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:89: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:92: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:92: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:92: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:92: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:92: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:92: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:92: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:92: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:94: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:95: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:95: path: Condition "(_foe_res = knet_handle_enable_sock_notify(knet_h1, &private_data, sock_notify)) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:95: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:95: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:95: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:95: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:95: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:100: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:100: path: Condition "(_foe_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:100: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:100: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:100: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:100: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:100: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:101: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:103: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:104: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:104: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:104: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:104: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:104: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:104: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:104: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:104: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:106: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:108: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:108: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:108: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:108: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:108: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:108: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:108: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:108: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:112: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:112: path: Condition "(_foe_res = knet_handle_remove_datafd(knet_h1, datafd)) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:112: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:112: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:112: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:112: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:112: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:114: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:115: path: Condition "i < 32", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "(_foe_res = knet_handle_add_datafd(knet_h1, &datafdmax[i], &channels[i], 0)) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:119: path: Jumping back to the beginning of the loop.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:115: path: Condition "i < 32", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "(_foe_res = knet_handle_add_datafd(knet_h1, &datafdmax[i], &channels[i], 0)) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:118: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:119: path: Jumping back to the beginning of the loop.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:115: path: Condition "i < 32", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:124: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:124: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:124: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:124: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:124: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:124: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:124: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:124: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:126: path: Condition "i < 32", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "(_foe_res = knet_handle_remove_datafd(knet_h1, datafdmax[i])) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:128: path: Jumping back to the beginning of the loop.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:126: path: Condition "i < 32", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "(_foe_res = knet_handle_remove_datafd(knet_h1, datafdmax[i])) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:127: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:128: path: Jumping back to the beginning of the loop.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:126: path: Condition "i < 32", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:130: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:131: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:131: path: Condition "(_foe_res = socketpair(1, SOCK_SEQPACKET, 0, sp)) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:131: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:131: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:131: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:131: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:131: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:134: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:134: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:134: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:134: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:134: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:134: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:134: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:134: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:137: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:139: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:140: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:140: path: Condition "(_foe_res = socketpair(1, SOCK_DGRAM, 0, sp)) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:140: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:140: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:140: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:140: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:140: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:143: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:143: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:143: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:143: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:143: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:143: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:143: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:143: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:146: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:148: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:149: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:149: path: Condition "(_foeo_res = unconnected_sock = socket(1, SOCK_STREAM, 0)) == -1", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:149: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:149: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:149: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:149: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:149: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:152: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:152: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:152: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:152: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:152: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:152: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:152: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:152: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:154: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:156: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:157: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:157: path: Condition "(_foeo_res = unconnected_sock = socket(1, SOCK_DGRAM, 0)) == -1", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:157: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:157: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:157: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:157: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:157: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:160: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:160: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:160: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:160: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:160: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:160: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:160: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:160: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:162: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:164: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:165: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:165: path: Condition "(_foe_res = pipe(pipefd)) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:165: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:165: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:165: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:165: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:165: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:168: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:168: path: Condition "(_fos_res = knet_handle_add_datafd(knet_h1, &datafd, &channel, 0)) == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:168: path: Condition "_fos_res == -2", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:168: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:168: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:168: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:168: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:168: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:171: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:173: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:174: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:174: path: Condition "(_foeo_res = chardev_fd = open("/dev/null", 2)) == -1", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:174: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:174: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:174: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:174: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:174: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:182: path: Condition "add_result == 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:183: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:184: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:184: path: Condition "(_foe_res = knet_handle_remove_datafd(knet_h1, datafd)) != 0", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:184: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:184: path: Condition "0 /* -1 == 101 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:184: path: Condition "0 /* -1 == 0 */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:184: path: Condition "1 /* -1 == -1 */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:184: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:186: path: Falling through to end of if statement.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:195: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:204: path: Condition "socket_path_len >= 108 /* (int)sizeof (unix_addr.sun_path) */", taking false branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:207: path: Condition "write(logfd, &_log_msg, 264UL /* sizeof (_log_msg) */) != 264UL /* sizeof (_log_msg) */", taking true branch.
/kronosnet/libknet/tests/api_knet_handle_add_datafd.c:207: secure_temp: Calling "mkstemp" without securely setting umask first.