Scan Results

List of Findings

Error: RESOURCE_LEAK (CWE-404): [#def1]
/kronosnet/libnozzle/tests/int_execute_bin_sh_command.c:30: alloc_arg: "execute_bin_sh_command" allocates memory that is stored into "error_string".
/kronosnet/libnozzle/internals.c:83: path: Condition "command == NULL", taking false branch.
/kronosnet/libnozzle/internals.c:83: path: Condition "!error_string", taking false branch.
/kronosnet/libnozzle/internals.c:91: path: Condition "err", taking false branch.
/kronosnet/libnozzle/internals.c:95: path: Condition "pid < 0", taking false branch.
/kronosnet/libnozzle/internals.c:100: path: Condition "pid", taking true branch.
/kronosnet/libnozzle/internals.c:103: alloc_arg: "read_pipe" allocates memory that is stored into "*error_string".
/kronosnet/libnozzle/internals.c:38: path: Condition "!done", taking true branch.
/kronosnet/libnozzle/internals.c:42: path: Condition "n < 0", taking false branch.
/kronosnet/libnozzle/internals.c:52: path: Condition "n == 0", taking false branch.
/kronosnet/libnozzle/internals.c:55: path: Condition "n == 0", taking false branch.
/kronosnet/libnozzle/internals.c:58: path: Condition "*file", taking false branch.
/kronosnet/libnozzle/internals.c:63: path: Condition "!*file", taking false branch.
/kronosnet/libnozzle/internals.c:68: path: Jumping back to the beginning of the loop.
/kronosnet/libnozzle/internals.c:38: path: Condition "!done", taking true branch.
/kronosnet/libnozzle/internals.c:42: path: Condition "n < 0", taking false branch.
/kronosnet/libnozzle/internals.c:52: path: Condition "n == 0", taking false branch.
/kronosnet/libnozzle/internals.c:55: path: Condition "n == 0", taking false branch.
/kronosnet/libnozzle/internals.c:58: path: Condition "*file", taking true branch.
/kronosnet/libnozzle/internals.c:59: path: Falling through to end of if statement.
/kronosnet/libnozzle/internals.c:63: path: Condition "!*file", taking false branch.
/kronosnet/libnozzle/internals.c:68: path: Jumping back to the beginning of the loop.
/kronosnet/libnozzle/internals.c:38: path: Condition "!done", taking true branch.
/kronosnet/libnozzle/internals.c:42: path: Condition "n < 0", taking false branch.
/kronosnet/libnozzle/internals.c:52: path: Condition "n == 0", taking true branch.
/kronosnet/libnozzle/internals.c:52: path: Condition "!*length", taking false branch.
/kronosnet/libnozzle/internals.c:55: path: Condition "n == 0", taking true branch.
/kronosnet/libnozzle/internals.c:58: path: Condition "*file", taking true branch.
/kronosnet/libnozzle/internals.c:59: alloc_fn: Storage is returned from allocation function "realloc".
/kronosnet/libnozzle/internals.c:59: assign: Assigning: "*file" = "realloc(*file, *length + n + done)".
/kronosnet/libnozzle/internals.c:59: path: Falling through to end of if statement.
/kronosnet/libnozzle/internals.c:63: path: Condition "!*file", taking false branch.
/kronosnet/libnozzle/internals.c:68: path: Jumping back to the beginning of the loop.
/kronosnet/libnozzle/internals.c:38: path: Condition "!done", taking false branch.
/kronosnet/libnozzle/internals.c:104: path: Condition "err", taking false branch.
/kronosnet/libnozzle/internals.c:108: path: Condition "!((status & 0x7f) == 0)", taking true branch.
/kronosnet/libnozzle/internals.c:110: path: Jumping to label "out_clean0".
/kronosnet/libnozzle/tests/int_execute_bin_sh_command.c:30: path: Condition "(_foe_res = execute_bin_sh_command("true", &error_string)) != 0", taking true branch.
/kronosnet/libnozzle/tests/int_execute_bin_sh_command.c:30: path: Jumping to label "out_clean".
/kronosnet/libnozzle/tests/int_execute_bin_sh_command.c:63: leaked_storage: Variable "error_string" going out of scope leaks the storage it points to.