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

            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: