Uploaded image for project: 'Qt Safe Renderer'
  1. Qt Safe Renderer
  2. QSR-981

Evaluate Polyspace Code Prover tool

    XMLWordPrintable

Details

    Description

      Evaluate if the code prover could spot issues that are difficult to spot by using:

      • Regular static analysis with Polyspace Bug Finder
      • MISRA C++ 2008 rules compliance check with Polyspace Bug Finder
      • Code review by subjet matter expert
      • Unit test cases with high coverage rate for statements, multiple conditions or MC/DC

      An example of case that might be discovered by the tool:

      https://codereview.qt-project.org/c/tqtc-boot2qt/qtsaferenderer/+/327278

      Evaluate the usefulness. Now that issue was spotted by professional exploratory testing.

      Attachments

        No reviews matched the request. Check your Options in the drop-down menu of this sections header.

        Activity

          People

            teemu.holappa Teemu Holappa
            assaarel Asmo Saarela (Inactive)
            Miao Luo Miao Luo
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved:

              Gerrit Reviews

                There are no open Gerrit changes