Uploaded image for project: 'MariaDB Foundation Development'
  1. MariaDB Foundation Development
  2. MDBF-143

Evaluate if static analysis with "Infer" is worth adding to buildbot tests

    XMLWordPrintable

Details

    • Bug
    • Status: Open (View Workflow)
    • Minor
    • Resolution: Unresolved
    • None
    • None
    • Buildbot

    Description

      With the static analysis tool known as Infer, an scan was performed on client and mysys folders, within the error report we found correct detections of dead stores in different files.

      These errors are detailed in the attached files.

      Attachments

        1. deadStore_clientFolder.txt
          2 kB
          Diego Medina
        2. deadStore_mysysFolder.txt
          2 kB
          Diego Medina
        3. report.txt
          1.04 MB
          Daniel Black

        Issue Links

          Activity

            People

              danblack Daniel Black
              diego200052 Diego Medina
              Votes:
              0 Vote for this issue
              Watchers:
              7 Start watching this issue

              Dates

                Created:
                Updated:

                Time Tracking

                  Estimated:
                  Original Estimate - Not Specified
                  Not Specified
                  Remaining:
                  Remaining Estimate - 0d
                  0d
                  Logged:
                  Time Spent - 7h
                  7h