Uploaded image for project: 'SonarCFamily'
  1. SonarCFamily
  2. CPP-2690

Provide clearer and more actionable logs when symbolic execution is disabled

    Details

    • Type: Improvement
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 6.17
    • Component/s: None
    • Labels:
      None

      Description

      • Improve the debug message introduced in CPP-2583 when the symbolic execution is disabled. This should help users understand what does it mean when symbolic execution is disabled by mentioning the rule with the newly introduced by CPP-2858 'symbolic execution' tag.
      • When the symbolic execution is disabled on a significant number of compilation units warn the users and guide them by pointing to the ParsingError rule.
      • Improve the ParsingError description to be user-oriented.

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                abbas.sabra Abbas Sabra
                Reporter:
                abbas.sabra Abbas Sabra
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Due:
                  Created:
                  Updated:
                  Resolved: