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

Adapt SE engine to Switch Expressions

    Details

    • Type: Improvement
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 6.7
    • Component/s: CFG, Symbolic Execution
    • Labels:

      Description

      Symbolic Execution engine should be adapted in order to correctly deduce constraints when using switch expressions.

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                quentin.jaquier Quentin Jaquier
                Reporter:
                michael.gumowski Michael Gumowski
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Due:
                  Created:
                  Updated:
                  Resolved: