Attachment 649630 Details for Bug 879189 – List of all defects added in libtdb-1.2.10-1.el6

List of all defects added in libtdb-1.2.10-1.el6

libtdb.added.err (text/plain), 93.06 KB, created by Ondrej Oprala on 2012-11-22 10:09:40 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Ondrej Oprala

Created: 2012-11-22 10:09:40 UTC

Size: 93.06 KB

patch

obsolete

>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:431: cond_true: Condition "timelimit == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:443: check_return: Calling function "tdb_store(struct tdb_context *, TDB_DATA, TDB_DATA, int)" without checking return value (as is done elsewhere 37 out of 41 times).
>/builddir/build/BUILD/tdb-1.2.10/common/tdb.c:909: example_checked: "tdb_store(state->dest_db, key, data, 2)" has its value checked in "tdb_store(state->dest_db, key, data, 2) != 0".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:526: example_assign: Assigning: "ret" = return value from "tdb_store(self->ctx, tkey, tval, 1)".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:529: example_checked: "ret" has its value checked in "ret != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/external-agent.c:76: example_checked: "tdb_store(tdb, k, k, 0)" has its value checked in "tdb_store(tdb, k, k, 0) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-3G-file.c:109: example_checked: "tdb_store(tdb, key, orig_data, 2)" has its value checked in "tdb_store(tdb, key, orig_data, 2) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-check.c:34: example_checked: "tdb_store(tdb, key, data, 2)" has its value checked in "tdb_store(tdb, key, data, 2) == 0".
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:443: unchecked_value: No check of the return value of "tdb_store(tdb, key, dbuf, 1)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:431: cond_true: Condition "timelimit == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:446: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:436: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:446: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:436: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:446: cond_false: Condition "t < timelimit", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:459: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:452: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:459: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:452: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:459: cond_false: Condition "t < timelimit", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:473: check_return: Calling function "tdb_store(struct tdb_context *, TDB_DATA, TDB_DATA, int)" without checking return value (as is done elsewhere 37 out of 41 times).
>/builddir/build/BUILD/tdb-1.2.10/common/tdb.c:909: example_checked: "tdb_store(state->dest_db, key, data, 2)" has its value checked in "tdb_store(state->dest_db, key, data, 2) != 0".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:526: example_assign: Assigning: "ret" = return value from "tdb_store(self->ctx, tkey, tval, 1)".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:529: example_checked: "ret" has its value checked in "ret != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/external-agent.c:76: example_checked: "tdb_store(tdb, k, k, 0)" has its value checked in "tdb_store(tdb, k, k, 0) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-3G-file.c:109: example_checked: "tdb_store(tdb, key, orig_data, 2)" has its value checked in "tdb_store(tdb, key, orig_data, 2) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-check.c:34: example_checked: "tdb_store(tdb, key, data, 2)" has its value checked in "tdb_store(tdb, key, data, 2) == 0".
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:473: unchecked_value: No check of the return value of "tdb_store(tdb, key, dbuf, 1)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:431: cond_true: Condition "timelimit == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:446: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:436: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:446: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:436: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:446: cond_false: Condition "t < timelimit", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:459: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:452: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:459: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:452: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:459: cond_false: Condition "t < timelimit", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:474: check_return: Calling function "tdb_transaction_commit(struct tdb_context *)" without checking return value (as is done elsewhere 13 out of 16 times).
>/builddir/build/BUILD/tdb-1.2.10/common/tdb.c:981: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:119: example_assign: Assigning: "ret" = return value from "tdb_transaction_commit(self->ctx)".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:120: example_checked: "ret" has its value checked in "ret != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/external-agent.c:79: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-3G-file.c:139: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-die-during-transaction.c:182: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:474: unchecked_value: No check of the return value of "tdb_transaction_commit(tdb)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:431: cond_true: Condition "timelimit == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:446: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:436: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:446: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:436: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:446: cond_false: Condition "t < timelimit", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:459: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:452: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:459: cond_true: Condition "t < timelimit", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:452: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:459: cond_false: Condition "t < timelimit", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:472: check_return: Calling function "tdb_transaction_start(struct tdb_context *)" without checking return value (as is done elsewhere 17 out of 20 times).
>/builddir/build/BUILD/tdb-1.2.10/common/tdb.c:926: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:133: example_assign: Assigning: "ret" = return value from "tdb_transaction_start(self->ctx)".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:134: example_checked: "ret" has its value checked in "ret != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/external-agent.c:58: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-3G-file.c:132: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-die-during-transaction.c:176: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:472: unchecked_value: No check of the return value of "tdb_transaction_start(tdb)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:179: cond_false: Condition "!(tdb = (struct tdb_context *)calloc(1, 352UL /* sizeof (*tdb) */))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:183: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:193: cond_true: Condition "log_ctx", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:195: if_fallthrough: Falling through to end of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:198: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:200: cond_true: Condition "name == NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:200: cond_true: Condition "tdb_flags & 2", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:204: cond_false: Condition "name == NULL", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:210: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:213: cond_false: Condition "0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:213: cond_false: Condition "!(tdb->name = (char *)((0 && (size_t)(void const *)(name + 1) - (size_t)(void const *)name == 1) ? ((char const *)name[0] == 0) ? (char *)calloc(1UL /* (size_t)1 */, 1UL /* (size_t)1 */) : ({...}) : __strdup(name)))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:224: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:226: cond_true: Condition "hash_fn", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:229: if_fallthrough: Falling through to end of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:237: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:241: cond_true: Condition "tdb->page_size <= 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:245: cond_true: Condition "tdb_flags & 0x100", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:247: cond_false: Condition "(open_flags & 3) == 1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:252: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:254: cond_true: Condition "hash_size == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:256: cond_true: Condition "(open_flags & 3) == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:263: cond_true: Condition "tdb->flags & 512", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:263: cond_false: Condition "tdb->flags & 1024", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:270: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:272: cond_true: Condition "getenv("TDB_NO_FSYNC")", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:280: cond_true: Condition "!(tdb->flags & 1024)", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:285: cond_false: Condition "tdb->flags & 2", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:293: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:295: cond_false: Condition "(tdb->fd = open(name, open_flags, mode)) == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:299: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:303: check_return: Calling function "fcntl_with_lockcheck(tdb->fd, 2, v | 1U)" without checking return value. It wraps a library function that may fail and return an error code.
>/builddir/build/BUILD/tdb-1.2.10/test/lock-tracking.c:30:2: cond_true: Condition "cmd != 6", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/test/lock-tracking.c:30:2: cond_true: Condition "cmd != 7", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/test/lock-tracking.c:36:3: return_wrapper: The function wraps and returns the value of "fcntl(fd, cmd, arg3)"
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:303: unchecked_value: No check of the return value of "fcntl_with_lockcheck(tdb->fd, 2, v | 1U)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/test/run-open-during-transaction.c:72: check_return: Calling function "fstat(fd, &st)" without checking return value. This library function may fail and return an error code.
>/builddir/build/BUILD/tdb-1.2.10/test/run-open-during-transaction.c:72: unchecked_value: No check of the return value of "fstat(fd, &st)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:567: cond_true: Condition "cmdname", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:567: cond_false: Condition "strlen(cmdname) == 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:569: else_branch: Reached else branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:570: cond_true: Condition "ctp->name", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:572: cond_true: Condition "__coverity_strncmp(ctp->name, cmdname, cmd_len) == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:574: break: Breaking from loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:577: loop_end: Reached end of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:580: switch: Switch case default
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:597: switch_default: Reached default
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:599: cond_false: Condition "!tdb", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:604: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:605: switch: Switch case value "CMD_TRANSACTION_COMMIT"
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:610: switch_case: Reached case "CMD_TRANSACTION_COMMIT"
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:612: check_return: Calling function "tdb_transaction_commit(struct tdb_context *)" without checking return value (as is done elsewhere 13 out of 16 times).
>/builddir/build/BUILD/tdb-1.2.10/common/tdb.c:981: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:119: example_assign: Assigning: "ret" = return value from "tdb_transaction_commit(self->ctx)".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:120: example_checked: "ret" has its value checked in "ret != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/external-agent.c:79: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-3G-file.c:139: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-die-during-transaction.c:182: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:612: unchecked_value: No check of the return value of "tdb_transaction_commit(tdb)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:567: cond_true: Condition "cmdname", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:567: cond_false: Condition "strlen(cmdname) == 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:569: else_branch: Reached else branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:570: cond_true: Condition "ctp->name", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:572: cond_true: Condition "__coverity_strncmp(ctp->name, cmdname, cmd_len) == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:574: break: Breaking from loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:577: loop_end: Reached end of loop
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:580: switch: Switch case default
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:597: switch_default: Reached default
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:599: cond_false: Condition "!tdb", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:604: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:605: switch: Switch case value "CMD_TRANSACTION_START"
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:606: switch_case: Reached case "CMD_TRANSACTION_START"
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:608: check_return: Calling function "tdb_transaction_start(struct tdb_context *)" without checking return value (as is done elsewhere 17 out of 20 times).
>/builddir/build/BUILD/tdb-1.2.10/common/tdb.c:926: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:133: example_assign: Assigning: "ret" = return value from "tdb_transaction_start(self->ctx)".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:134: example_checked: "ret" has its value checked in "ret != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/external-agent.c:58: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-3G-file.c:132: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-die-during-transaction.c:176: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/tools/tdbtool.c:608: unchecked_value: No check of the return value of "tdb_transaction_start(tdb)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:179: cond_false: Condition "!(tdb = (struct tdb_context *)calloc(1, 352UL /* sizeof (*tdb) */))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:183: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:193: cond_true: Condition "log_ctx", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:195: if_fallthrough: Falling through to end of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:198: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:200: cond_true: Condition "name == NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:200: cond_true: Condition "tdb_flags & 2", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:204: cond_false: Condition "name == NULL", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:210: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:213: cond_false: Condition "0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:213: cond_false: Condition "!(tdb->name = (char *)((0 && (size_t)(void const *)(name + 1) - (size_t)(void const *)name == 1) ? ((char const *)name[0] == 0) ? (char *)calloc(1UL /* (size_t)1 */, 1UL /* (size_t)1 */) : ({...}) : __strdup(name)))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:224: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:226: cond_true: Condition "hash_fn", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:229: if_fallthrough: Falling through to end of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:237: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:241: cond_true: Condition "tdb->page_size <= 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:245: cond_true: Condition "tdb_flags & 0x100", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:247: cond_false: Condition "(open_flags & 3) == 1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:252: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:254: cond_true: Condition "hash_size == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:256: cond_true: Condition "(open_flags & 3) == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:263: cond_true: Condition "tdb->flags & 512", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:263: cond_false: Condition "tdb->flags & 1024", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:270: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:272: cond_true: Condition "getenv("TDB_NO_FSYNC")", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:280: cond_true: Condition "!(tdb->flags & 1024)", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:285: cond_false: Condition "tdb->flags & 2", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:293: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:295: cond_false: Condition "(tdb->fd = open(name, open_flags, mode)) == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:299: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:303: check_return: Calling function "fcntl_with_lockcheck(tdb->fd, 2, v | 1U)" without checking return value. It wraps a library function that may fail and return an error code.
>/builddir/build/BUILD/tdb-1.2.10/test/lock-tracking.c:30:2: cond_true: Condition "cmd != 6", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/test/lock-tracking.c:30:2: cond_true: Condition "cmd != 7", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/test/lock-tracking.c:36:3: return_wrapper: The function wraps and returns the value of "fcntl(fd, cmd, arg3)"
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:303: unchecked_value: No check of the return value of "fcntl_with_lockcheck(tdb->fd, 2, v | 1U)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/test/run-transaction-expand.c:50: check_return: Calling function "tdb_store(struct tdb_context *, TDB_DATA, TDB_DATA, int)" without checking return value (as is done elsewhere 37 out of 41 times).
>/builddir/build/BUILD/tdb-1.2.10/common/tdb.c:909: example_checked: "tdb_store(state->dest_db, key, data, 2)" has its value checked in "tdb_store(state->dest_db, key, data, 2) != 0".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:526: example_assign: Assigning: "ret" = return value from "tdb_store(self->ctx, tkey, tval, 1)".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:529: example_checked: "ret" has its value checked in "ret != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/external-agent.c:76: example_checked: "tdb_store(tdb, k, k, 0)" has its value checked in "tdb_store(tdb, k, k, 0) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-3G-file.c:109: example_checked: "tdb_store(tdb, key, orig_data, 2)" has its value checked in "tdb_store(tdb, key, orig_data, 2) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-check.c:34: example_checked: "tdb_store(tdb, key, data, 2)" has its value checked in "tdb_store(tdb, key, data, 2) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-transaction-expand.c:50: unchecked_value: No check of the return value of "tdb_store(tdb, key, *data, 1)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/test/run-transaction-expand.c:51: check_return: Calling function "tdb_transaction_commit(struct tdb_context *)" without checking return value (as is done elsewhere 13 out of 16 times).
>/builddir/build/BUILD/tdb-1.2.10/common/tdb.c:981: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:119: example_assign: Assigning: "ret" = return value from "tdb_transaction_commit(self->ctx)".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:120: example_checked: "ret" has its value checked in "ret != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/external-agent.c:79: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-3G-file.c:139: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-die-during-transaction.c:182: example_checked: "tdb_transaction_commit(tdb)" has its value checked in "tdb_transaction_commit(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-transaction-expand.c:51: unchecked_value: No check of the return value of "tdb_transaction_commit(tdb)".
>
>Error: CHECKED_RETURN (CWE-252):
>/builddir/build/BUILD/tdb-1.2.10/test/run-transaction-expand.c:49: check_return: Calling function "tdb_transaction_start(struct tdb_context *)" without checking return value (as is done elsewhere 17 out of 20 times).
>/builddir/build/BUILD/tdb-1.2.10/common/tdb.c:926: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:133: example_assign: Assigning: "ret" = return value from "tdb_transaction_start(self->ctx)".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:134: example_checked: "ret" has its value checked in "ret != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/external-agent.c:58: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-3G-file.c:132: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) == 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-die-during-transaction.c:176: example_checked: "tdb_transaction_start(tdb)" has its value checked in "tdb_transaction_start(tdb) != 0".
>/builddir/build/BUILD/tdb-1.2.10/test/run-transaction-expand.c:49: unchecked_value: No check of the return value of "tdb_transaction_start(tdb)".
>
>Error: NEGATIVE_RETURNS (CWE-394):
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:179: cond_false: Condition "!(tdb = (struct tdb_context *)calloc(1, 352UL /* sizeof (*tdb) */))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:183: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:185: var_tested_neg: Assigning: "tdb->fd" = a negative value.
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:193: cond_true: Condition "log_ctx", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:195: if_fallthrough: Falling through to end of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:198: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:200: cond_true: Condition "name == NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:200: cond_true: Condition "tdb_flags & 2", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:204: cond_false: Condition "name == NULL", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:210: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:213: cond_false: Condition "0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:213: cond_false: Condition "!(tdb->name = (char *)((0 && (size_t)(void const *)(name + 1) - (size_t)(void const *)name == 1) ? ((char const *)name[0] == 0) ? (char *)calloc(1UL /* (size_t)1 */, 1UL /* (size_t)1 */) : ({...}) : __strdup(name)))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:224: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:226: cond_true: Condition "hash_fn", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:229: if_fallthrough: Falling through to end of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:237: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:241: cond_true: Condition "tdb->page_size <= 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:245: cond_true: Condition "tdb_flags & 0x100", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:247: cond_false: Condition "(open_flags & 3) == 1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:252: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:254: cond_true: Condition "hash_size == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:256: cond_true: Condition "(open_flags & 3) == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:263: cond_true: Condition "tdb->flags & 512", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:263: cond_false: Condition "tdb->flags & 1024", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:270: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:272: cond_true: Condition "getenv("TDB_NO_FSYNC")", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:280: cond_true: Condition "!(tdb->flags & 1024)", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:285: cond_true: Condition "tdb->flags & 2", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:288: negative_returns: "tdb->fd" is passed to a parameter that cannot be negative.
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:62:2: cond_false: Condition "!(newdb = (struct tdb_header *)calloc(size, 1))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:65:2: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:75:2: cond_true: Condition "tdb->flags & 2048", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:78:2: cond_false: Condition "tdb->flags & 2", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:85:2: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:86:2: neg_sink_parm_call: Passing "tdb->fd" to "lseek(int, __off_t, int)", which cannot accept a negative number.
>
>Error: NEGATIVE_RETURNS (CWE-394):
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:179: cond_false: Condition "!(tdb = (struct tdb_context *)calloc(1, 352UL /* sizeof (*tdb) */))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:183: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:185: var_tested_neg: Assigning: "tdb->fd" = a negative value.
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:193: cond_true: Condition "log_ctx", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:195: if_fallthrough: Falling through to end of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:198: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:200: cond_true: Condition "name == NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:200: cond_true: Condition "tdb_flags & 2", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:204: cond_false: Condition "name == NULL", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:210: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:213: cond_false: Condition "0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:213: cond_false: Condition "!(tdb->name = (char *)((0 && (size_t)(void const *)(name + 1) - (size_t)(void const *)name == 1) ? ((char const *)name[0] == 0) ? (char *)calloc(1UL /* (size_t)1 */, 1UL /* (size_t)1 */) : ({...}) : __strdup(name)))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:224: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:226: cond_true: Condition "hash_fn", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:229: if_fallthrough: Falling through to end of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:237: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:241: cond_true: Condition "tdb->page_size <= 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:245: cond_true: Condition "tdb_flags & 0x100", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:247: cond_false: Condition "(open_flags & 3) == 1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:252: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:254: cond_true: Condition "hash_size == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:256: cond_true: Condition "(open_flags & 3) == 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:263: cond_true: Condition "tdb->flags & 512", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:263: cond_false: Condition "tdb->flags & 1024", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:270: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:272: cond_true: Condition "getenv("TDB_NO_FSYNC")", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:280: cond_true: Condition "!(tdb->flags & 1024)", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:285: cond_true: Condition "tdb->flags & 2", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:288: negative_returns: "tdb->fd" is passed to a parameter that cannot be negative.
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:62:2: cond_false: Condition "!(newdb = (struct tdb_header *)calloc(size, 1))", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:65:2: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:75:2: cond_true: Condition "tdb->flags & 2048", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:78:2: cond_false: Condition "tdb->flags & 2", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:85:2: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:86:2: neg_sink_parm_call: Passing "tdb->fd" to "lseek(int, __off_t, int)", which cannot accept a negative number.
>
>Error: NEGATIVE_RETURNS (CWE-394):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:47: cond_true: Condition "i < 700", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:52: cond_true: Condition "fd < 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:55: cond_false: Condition "close(fd) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:57: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:58: loop: Jumping back to the beginning of the loop
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:47: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:47: cond_true: Condition "i < 700", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:52: cond_true: Condition "fd < 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:55: cond_false: Condition "close(fd) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:57: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:58: loop: Jumping back to the beginning of the loop
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:47: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:47: cond_true: Condition "i < 700", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:52: cond_true: Condition "fd < 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:55: cond_true: Condition "close(fd) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:58: loop: Jumping back to the beginning of the loop
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:47: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:47: cond_true: Condition "i < 700", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:52: cond_true: Condition "fd < 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:55: cond_false: Condition "close(fd) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:57: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:58: loop: Jumping back to the beginning of the loop
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:47: loop_begin: Jumped back to beginning of loop
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:47: cond_true: Condition "i < 700", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:51: negative_return_fn: Function "open(fname, 66, 384)" returns a negative number.
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:51: var_assign: Assigning: signed variable "fd" = "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:52: cond_true: Condition "fd < 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:55: negative_returns: "fd" is passed to a parameter that cannot be negative.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: cond_true: Condition "1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: cond_true: Condition "(size_t)(void const *)&"bla"[1] - (size_t)(void const *)"bla" == 1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: cond_false: Condition "(char const *)"bla"[0] == 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: alloc_fn: Storage is returned from allocation function "malloc(size_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: var_assign: Assigning: "__retval" = storage returned from "malloc(__len)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: cond_true: Condition "__retval != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: identity_transfer: Passing variable "__retval" as argument 1 to function "memcpy(void * restrict, void const * restrict, size_t)", which returns that argument.
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: noescape: Resource "__retval" is not freed or pointed-to in function "memcpy(void * restrict, void const * restrict, size_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: var_assign: Assigning: "__retval" = storage returned from "memcpy(__retval, "bla", __len)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: leaked_storage: Variable "__retval" going out of scope leaks the storage it points to.
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:165: var_assign: Assigning: "x" = "({...})".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:166: noescape: Resource "x" is not freed or pointed-to in function "__coverity_strcmp(char const *, char const *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:166: cond_true: Condition "__coverity_strcmp("bla", x) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:167: noescape: Resource "x" is not freed or pointed-to in function "printf(char const * restrict, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:169: leaked_storage: Variable "x" going out of scope leaks the storage it points to.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "(size_t)(void const *)&"bla"[1] - (size_t)(void const *)"bla" == 1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_false: Condition "(char const *)"bla"[0] == 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "__n < __len", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: alloc_fn: Storage is returned from allocation function "malloc(size_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: var_assign: Assigning: "__retval" = storage returned from "malloc(__len)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "__retval != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: identity_transfer: Passing variable "__retval" as argument 1 to function "memcpy(void * restrict, void const * restrict, size_t)", which returns that argument.
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: noescape: Resource "__retval" is not freed or pointed-to in function "memcpy(void * restrict, void const * restrict, size_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: var_assign: Assigning: "__retval" = storage returned from "memcpy(__retval, "bla", __len - 1UL)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: leaked_storage: Variable "__retval" going out of scope leaks the storage it points to.
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: var_assign: Assigning: "x" = "({...})".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:261: noescape: Resource "x" is not freed or pointed-to in function "__coverity_strcmp(char const *, char const *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:261: cond_true: Condition "__coverity_strcmp(x, "") != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:263: leaked_storage: Variable "x" going out of scope leaks the storage it points to.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "(size_t)(void const *)&"bla"[1] - (size_t)(void const *)"bla" == 1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_false: Condition "(char const *)"bla"[0] == 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "__n < __len", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "__retval != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:261: cond_false: Condition "__coverity_strcmp(x, "") != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:264: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_true: Condition "1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_true: Condition "(size_t)(void const *)&"bla"[1] - (size_t)(void const *)"bla" == 1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_false: Condition "(char const *)"bla"[0] == 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_true: Condition "__n < __len", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: alloc_fn: Storage is returned from allocation function "malloc(size_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: var_assign: Assigning: "__retval" = storage returned from "malloc(__len)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_true: Condition "__retval != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: identity_transfer: Passing variable "__retval" as argument 1 to function "memcpy(void * restrict, void const * restrict, size_t)", which returns that argument.
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: noescape: Resource "__retval" is not freed or pointed-to in function "memcpy(void * restrict, void const * restrict, size_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: var_assign: Assigning: "__retval" = storage returned from "memcpy(__retval, "bla", __len - 1UL)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: leaked_storage: Variable "__retval" going out of scope leaks the storage it points to.
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: var_assign: Assigning: "x" = "({...})".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:267: noescape: Resource "x" is not freed or pointed-to in function "__coverity_strcmp(char const *, char const *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:267: cond_true: Condition "__coverity_strcmp(x, "bl") != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:269: leaked_storage: Variable "x" going out of scope leaks the storage it points to.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "(size_t)(void const *)&"bla"[1] - (size_t)(void const *)"bla" == 1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_false: Condition "(char const *)"bla"[0] == 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "__n < __len", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:260: cond_true: Condition "__retval != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:261: cond_false: Condition "__coverity_strcmp(x, "") != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:264: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_true: Condition "1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_true: Condition "(size_t)(void const *)&"bla"[1] - (size_t)(void const *)"bla" == 1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_false: Condition "(char const *)"bla"[0] == 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_true: Condition "__n < __len", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:266: cond_true: Condition "__retval != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:267: cond_false: Condition "__coverity_strcmp(x, "bl") != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:270: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: cond_true: Condition "1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: cond_true: Condition "(size_t)(void const *)&"bla"[1] - (size_t)(void const *)"bla" == 1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: cond_false: Condition "(char const *)"bla"[0] == 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: cond_false: Condition "__n < __len", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: alloc_fn: Storage is returned from allocation function "malloc(size_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: var_assign: Assigning: "__retval" = storage returned from "malloc(__len)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: cond_true: Condition "__retval != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: identity_transfer: Passing variable "__retval" as argument 1 to function "memcpy(void * restrict, void const * restrict, size_t)", which returns that argument.
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: noescape: Resource "__retval" is not freed or pointed-to in function "memcpy(void * restrict, void const * restrict, size_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: var_assign: Assigning: "__retval" = storage returned from "memcpy(__retval, "bla", __len - 1UL)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: leaked_storage: Variable "__retval" going out of scope leaks the storage it points to.
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:272: var_assign: Assigning: "x" = "({...})".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:273: noescape: Resource "x" is not freed or pointed-to in function "__coverity_strcmp(char const *, char const *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:273: cond_true: Condition "__coverity_strcmp(x, "bla") != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:275: leaked_storage: Variable "x" going out of scope leaks the storage it points to.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:64: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:64: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:65: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:69: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:70: noescape: Resource "fd" is not freed or pointed-to in function "ftruncate(int, __off_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:70: cond_true: Condition "ftruncate(fd, 1234L /* size */) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:72: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:64: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:64: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:65: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:69: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:70: noescape: Resource "fd" is not freed or pointed-to in function "ftruncate(int, __off_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:70: cond_false: Condition "ftruncate(fd, 1234L /* size */) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:73: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:74: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:74: cond_true: Condition "fstat(fd, &st) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:76: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:64: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:64: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:65: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:69: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:70: noescape: Resource "fd" is not freed or pointed-to in function "ftruncate(int, __off_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:70: cond_false: Condition "ftruncate(fd, 1234L /* size */) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:73: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:74: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:74: cond_false: Condition "fstat(fd, &st) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:77: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:78: cond_true: Condition "st.st_size != 1234L /* size */", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:81: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:64: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:64: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:65: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:69: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:70: noescape: Resource "fd" is not freed or pointed-to in function "ftruncate(int, __off_t)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:70: cond_false: Condition "ftruncate(fd, 1234L /* size */) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:73: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:74: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:74: cond_false: Condition "fstat(fd, &st) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:77: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:78: cond_false: Condition "st.st_size != 1234L /* size */", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:82: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:85: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_true: Condition "fstat(fd, &st1) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:898: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:899: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:903: cond_true: Condition "utime("testfile.dat", &u) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:907: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:899: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:903: cond_false: Condition "utime("testfile.dat", &u) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:908: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: cond_true: Condition "fstat(fd, &st2) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:914: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:899: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:903: cond_false: Condition "utime("testfile.dat", &u) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:908: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:915: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:917: cond_true: Condition "utime("testfile.dat", NULL) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:921: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:899: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:903: cond_false: Condition "utime("testfile.dat", &u) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:908: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:915: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:917: cond_false: Condition "utime("testfile.dat", NULL) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:922: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: cond_true: Condition "fstat(fd, &st3) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:928: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:899: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:903: cond_false: Condition "utime("testfile.dat", &u) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:908: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:915: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:917: cond_false: Condition "utime("testfile.dat", NULL) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:922: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: cond_false: Condition "fstat(fd, &st3) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:929: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: cond_true: Condition "st2.st_atim.tv_sec != st1.st_atim.tv_sec + 300", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:899: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:903: cond_false: Condition "utime("testfile.dat", &u) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:908: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:915: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:917: cond_false: Condition "utime("testfile.dat", NULL) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:922: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: cond_false: Condition "fstat(fd, &st3) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:929: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: cond_false: Condition "st2.st_atim.tv_sec != st1.st_atim.tv_sec + 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:945: cond_true: Condition "st2.st_mtim.tv_sec != st1.st_mtim.tv_sec - 300", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:945: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:899: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:903: cond_false: Condition "utime("testfile.dat", &u) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:908: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:915: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:917: cond_false: Condition "utime("testfile.dat", NULL) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:922: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: cond_false: Condition "fstat(fd, &st3) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:929: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: cond_false: Condition "st2.st_atim.tv_sec != st1.st_atim.tv_sec + 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:945: cond_false: Condition "st2.st_mtim.tv_sec != st1.st_mtim.tv_sec - 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:945: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:946: cond_true: Condition "st3.st_atim.tv_sec >= st2.st_atim.tv_sec", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:946: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:899: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:903: cond_false: Condition "utime("testfile.dat", &u) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:908: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:915: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:917: cond_false: Condition "utime("testfile.dat", NULL) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:922: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: cond_false: Condition "fstat(fd, &st3) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:929: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: cond_false: Condition "st2.st_atim.tv_sec != st1.st_atim.tv_sec + 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:945: cond_false: Condition "st2.st_mtim.tv_sec != st1.st_mtim.tv_sec - 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:945: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:946: cond_false: Condition "st3.st_atim.tv_sec >= st2.st_atim.tv_sec", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:946: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:947: cond_true: Condition "st3.st_mtim.tv_sec <= st2.st_mtim.tv_sec", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:947: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:886: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:887: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:892: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:894: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:899: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:903: cond_false: Condition "utime("testfile.dat", &u) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:908: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:910: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:915: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:917: cond_false: Condition "utime("testfile.dat", NULL) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:922: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:924: cond_false: Condition "fstat(fd, &st3) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:929: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: cond_false: Condition "st2.st_atim.tv_sec != st1.st_atim.tv_sec + 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:944: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:945: cond_false: Condition "st2.st_mtim.tv_sec != st1.st_mtim.tv_sec - 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:945: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:946: cond_false: Condition "st3.st_atim.tv_sec >= st2.st_atim.tv_sec", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:946: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:947: cond_false: Condition "st3.st_mtim.tv_sec <= st2.st_mtim.tv_sec", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:947: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:956: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:969: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:974: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: cond_true: Condition "fstat(fd, &st1) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:980: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:969: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:974: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:981: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:986: cond_true: Condition "utimes("testfile.dat", tv) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:990: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:969: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:974: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:981: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:986: cond_false: Condition "utimes("testfile.dat", tv) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:991: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:993: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:993: cond_true: Condition "fstat(fd, &st2) != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:997: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:969: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:974: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:981: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:986: cond_false: Condition "utimes("testfile.dat", tv) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:991: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:993: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:993: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:998: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1010: cond_true: Condition "st2.st_atim.tv_sec != st1.st_atim.tv_sec + 300", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1010: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:969: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:974: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:981: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:986: cond_false: Condition "utimes("testfile.dat", tv) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:991: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:993: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:993: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:998: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1010: cond_false: Condition "st2.st_atim.tv_sec != st1.st_atim.tv_sec + 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1010: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1011: cond_true: Condition "st2.st_mtim.tv_sec != st1.st_mtim.tv_sec - 300", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1011: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:968: var_assign: Assigning: "fd" = handle returned from "open("testfile.dat", 66, 384)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:969: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:974: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:976: cond_false: Condition "fstat(fd, &st1) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:981: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:986: cond_false: Condition "utimes("testfile.dat", tv) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:991: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:993: noescape: Resource "fd" is not freed or pointed-to in function "fstat(int, struct stat *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:993: cond_false: Condition "fstat(fd, &st2) != 0", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:998: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1010: cond_false: Condition "st2.st_atim.tv_sec != st1.st_atim.tv_sec + 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1010: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1011: cond_false: Condition "st2.st_mtim.tv_sec != st1.st_mtim.tv_sec - 300", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1011: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:1017: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/test/run-open-during-transaction.c:73: alloc_fn: Storage is returned from allocation function "malloc(size_t)".
>/builddir/build/BUILD/tdb-1.2.10/test/run-open-during-transaction.c:73: var_assign: Assigning: "contents" = storage returned from "malloc(st.st_size)".
>/builddir/build/BUILD/tdb-1.2.10/test/run-open-during-transaction.c:74: noescape: Resource "contents" is not freed or pointed-to in function "pread(int, void *, size_t, __off_t)".
>/builddir/build/BUILD/tdb-1.2.10/test/run-open-during-transaction.c:74: cond_true: Condition "pread(fd, contents, st.st_size, 0) != st.st_size", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/test/run-open-during-transaction.c:77: leaked_storage: Variable "contents" going out of scope leaks the storage it points to.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:105: alloc_fn: Storage is returned from allocation function "opendir(char const *)".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:105: var_assign: Assigning: "d" = storage returned from "opendir("test.dir/test0.txt")".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:106: cond_true: Condition "d != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:107: cond_true: Condition "*__errno_location() != 20", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:109: overwrite_var: Overwriting "d" in "d = opendir("test.dir")" leaks the storage that "d" points to.
>
>Error: RESOURCE_LEAK (CWE-404):
>/builddir/build/BUILD/tdb-1.2.10/test/run-incompatible.c:32: open_fn: Returning handle opened by function "open(char const *, int, ...)".
>/builddir/build/BUILD/tdb-1.2.10/test/run-incompatible.c:32: var_assign: Assigning: "fd" = handle returned from "open(fname, 0)".
>/builddir/build/BUILD/tdb-1.2.10/test/run-incompatible.c:33: cond_false: Condition "fd == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/test/run-incompatible.c:34: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/test/run-incompatible.c:36: noescape: Resource "fd" is not freed or pointed-to in function "read(int, void *, size_t)".
>/builddir/build/BUILD/tdb-1.2.10/test/run-incompatible.c:36: cond_true: Condition "read(fd, &hdr, 168UL /* sizeof (hdr) */) != 168UL /* sizeof (hdr) */", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/test/run-incompatible.c:37: leaked_handle: Handle variable "fd" going out of scope leaks the handle.
>
>Error: STRING_NULL (CWE-170):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:821: cond_false: Condition "socketpair(1, SOCK_STREAM, 0, sock) == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:826: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:828: cond_false: Condition "write(sock[1], "automatisch", 12) == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:833: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:835: string_null_argument: Function "read(int, void *, size_t)" does not terminate string "*buf".
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:835: cond_false: Condition "read(sock[0], buf, 12) == -1", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:840: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:842: cond_true: Condition "__coverity_strcmp(buf, "automatisch") != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/testsuite.c:843: string_null: Passing unterminated string "buf" to "printf(char const * restrict, ...)".
>
>Error: STRING_OVERFLOW (CWE-120):
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:69: cond_true: Condition "de", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:69: cond_true: Condition "i < 100", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/lib/replace/test/os2_delete.c:73: string_overflow: You might overrun the 30 byte destination string "names[i]" by writing 256 bytes from "de->d_name".
>
>Error: USE_AFTER_FREE (CWE-416):
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:140: freed_arg: "tdb_reopen(struct tdb_context *)" frees "self->ctx".
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:615:2: cond_true: Condition "tdb->flags & 1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:615:2: freed_arg: "tdb_reopen_internal(struct tdb_context *, bool)" frees parameter "tdb".
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:554:2: cond_false: Condition "tdb->flags & 2", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:556:2: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:558:2: cond_true: Condition "tdb_have_extra_locks(tdb)", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:560:3: goto: Jumping to label "fail"
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:606:1: label: Reached label "fail"
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:607:2: freed_arg: "tdb_close(struct tdb_context *)" frees parameter "tdb".
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:500:2: cond_true: Condition "tdb->transaction", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:505:2: cond_true: Condition "tdb->map_ptr", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:506:3: cond_true: Condition "tdb->flags & 2", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:507:4: cond_true: Condition "tdb->map_ptr != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:507:4: if_fallthrough: Falling through to end of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:509:4: if_end: End of if statement
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:511:2: cond_true: Condition "tdb->name != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:512:2: cond_true: Condition "tdb->fd != -1", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:516:2: cond_true: Condition "tdb->lockrecs != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:519:2: cond_false: Condition "*i", taking false branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:524:2: loop_end: Reached end of loop
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:530:2: cond_true: Condition "tdb != NULL", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/common/open.c:530:2: freed_arg: "free(void *)" frees parameter "tdb".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:141: cond_true: Condition "ret != 0", taking true branch
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:141: deref_arg: Calling "PyErr_SetTDBError(TDB_CONTEXT *)" dereferences freed pointer "self->ctx".
>/builddir/build/BUILD/tdb-1.2.10/pytdb.c:48:2: deref_parm_in_call: Function "tdb_error(struct tdb_context *)" dereferences "tdb".
>/builddir/build/BUILD/tdb-1.2.10/common/error.c:32:2: deref_parm: Directly dereferencing parameter "tdb".

Actions: View

Attachments on bug 879189: 649630 | 663011 | 663012