Uploaded image for project: 'SonarJava'
  1. SonarJava
  2. SONARJAVA-2555

Add symbolic execution engine debugging tools

    XMLWordPrintable

    Details

    • Type: New Feature
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 5.0
    • Component/s: Rules, Symbolic Execution
    • Labels:
      None

      Description

      Add new property sonar.java.debug allowing to enable debugging tools for Symbolic Execution engine. Once enabled, it will play debugging rules on files to help identify the following problems. First rule to be implemented as test case:

      • Display what are the method yields produced once methods are completely explored;

        Attachments

          Issue Links

          is depended upon by

          New Feature - A new feature of the product, which has yet to be developed. SONARJAVA-2567 Debugging rule: Display which method does not complete SE, for what reason

          • Major - Major loss of function.
          • Closed

          New Feature - A new feature of the product, which has yet to be developed. SONARJAVA-2568 Debugging rule: Display what method yields which available for each method invocation

          • Major - Major loss of function.
          • Closed
          is related to

          Task - A task that needs to be done. SONARJAVA-3622 Drop unused Symbolic Execution debugging rules

          • Major - Major loss of function.
          • Closed

            Activity

              People

              Assignee:
              michael.gumowski Michael Gumowski
              Reporter:
              michael.gumowski Michael Gumowski
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

                Dates

                Due:
                Created:
                Updated:
                Resolved: