Scan Results

List of Findings

Error: DEADCODE (CWE-561): [#def1]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:53: dead_error_condition: The "switch" governing value "nlerr" cannot be "5".
/kronosnet/libnozzle/libnozzle_linux.c:53: dead_error_begin: Execution cannot reach this statement: "case 5:".

Error: DEADCODE (CWE-561): [#def2]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:55: dead_error_condition: The "switch" governing value "nlerr" cannot be "6".
/kronosnet/libnozzle/libnozzle_linux.c:55: dead_error_begin: Execution cannot reach this statement: "case 6:".

Error: DEADCODE (CWE-561): [#def3]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:57: dead_error_condition: The "switch" governing value "nlerr" cannot be "19".
/kronosnet/libnozzle/libnozzle_linux.c:57: dead_error_begin: Execution cannot reach this statement: "case 19:".

Error: DEADCODE (CWE-561): [#def4]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:59: dead_error_condition: The "switch" governing value "nlerr" cannot be "12".
/kronosnet/libnozzle/libnozzle_linux.c:59: dead_error_begin: Execution cannot reach this statement: "case 12:".

Error: DEADCODE (CWE-561): [#def5]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:61: dead_error_condition: The "switch" governing value "nlerr" cannot be "7".
/kronosnet/libnozzle/libnozzle_linux.c:61: dead_error_begin: Execution cannot reach this statement: "case 7:".

Error: DEADCODE (CWE-561): [#def6]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:63: dead_error_condition: The "switch" governing value "nlerr" cannot be "25".
/kronosnet/libnozzle/libnozzle_linux.c:63: dead_error_begin: Execution cannot reach this statement: "case 25:".

Error: DEADCODE (CWE-561): [#def7]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:65: dead_error_condition: The "switch" governing value "nlerr" cannot be "4".
/kronosnet/libnozzle/libnozzle_linux.c:65: dead_error_begin: Execution cannot reach this statement: "case 4:".

Error: DEADCODE (CWE-561): [#def8]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:67: dead_error_condition: The "switch" governing value "nlerr" cannot be "31".
/kronosnet/libnozzle/libnozzle_linux.c:67: dead_error_begin: Execution cannot reach this statement: "case 31:".

Error: DEADCODE (CWE-561): [#def9]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:69: dead_error_condition: The "switch" governing value "nlerr" cannot be "10".
/kronosnet/libnozzle/libnozzle_linux.c:69: dead_error_begin: Execution cannot reach this statement: "case 10:".

Error: DEADCODE (CWE-561): [#def10]
/kronosnet/libnozzle/libnozzle_linux.c:38: cond_at_most: Condition "nlerr >= 0", taking false branch. Now the value of "nlerr" is at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:52: at_most: When switching on "nlerr", the value of "nlerr" must be at most -1.
/kronosnet/libnozzle/libnozzle_linux.c:71: dead_error_condition: The "switch" governing value "nlerr" cannot be "28".
/kronosnet/libnozzle/libnozzle_linux.c:71: dead_error_begin: Execution cannot reach this statement: "case 28:".