Uploaded image for project: 'WiredTiger'
  1. WiredTiger
  2. WT-7763

Coverity issues found in the stress testing framework



    • Type: Bug
    • Status: Closed
    • Priority: Major - P3
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: WT10.0.1, 4.4.8, 5.0.2, 5.1.0-rc0
    • Component/s: None
    • Labels:


      Error 1:

      Uninitialized pointer read

      Incorrect values could be read from, or even written to, an arbitrary memory location, causing incorrect computations. Reads an uninitialized pointer or its target
      /test/cppsuite/test_harness/workload/workload_validation.h:279: UNINIT 120246 Declaring variable "cursor" without initializer.
      /test/cppsuite/test_harness/workload/workload_validation.h:283: UNINIT 120246 Using uninitialized value "cursor".

      EDIT: Set as False Positive on Coverity, see comments for more details.

      Error 2:

      Parse warning

      variable "expected_collection_id" was declared but never referenced

      Error 3:

      Parse warning

      variable "collection_counter" was declared but never referenced

      Error 4:

      Field not initialized

      The compiler-generated constructor for this class does not initialize exist (struct key_state)

      Error 5:

      Using invalid iterator

      Dereferencing iterator it though it is already past the end of its container.

      Error 6:

      Parse warning

      class "collection_cursor" defines no constructor to initialize the following reference member "collection_cursor::coll"

      Error 7:

      Indentation does not match nesting level

      This 'if' statement is indented to column 17, as if it were nested within the preceding parent statement, but it is not.

      Error 8:

      Dereference null return value

      If the function actually returns a null value, a null pointer dereference will occur.

      In test_harness::​get_time(char *, unsigned long): Return value of function which returns null is dereferenced without checking (CWE-476)

      Error 9:

      Parse warning

      variable "tsp" was declared but never referenced


        1. Screen Shot 2021-07-01 at 9.39.04 am.png
          154 kB
          Etienne Petrel
        2. Screen Shot 2021-07-01 at 9.40.03 am.png
          116 kB
          Etienne Petrel
        3. Screen Shot 2021-07-01 at 9.40.26 am.png
          139 kB
          Etienne Petrel
        4. Screen Shot 2021-07-01 at 9.40.52 am.png
          72 kB
          Etienne Petrel
        5. Screen Shot 2021-07-01 at 9.41.42 am.png
          178 kB
          Etienne Petrel
        6. Screen Shot 2021-07-01 at 9.42.41 am.png
          118 kB
          Etienne Petrel
        7. Screen Shot 2021-07-05 at 9.25.55 am.png
          154 kB
          Etienne Petrel
        8. Screen Shot 2021-07-12 at 9.04.55 am.png
          199 kB
          Etienne Petrel
        9. Screen Shot 2021-07-12 at 9.07.23 am.png
          168 kB
          Etienne Petrel



            alex.cameron Alex Cameron (Inactive)
            xgen-internal-coverity Coverity Collector User
            0 Vote for this issue
            2 Start watching this issue