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

Implement helper to find whether state in regex automaton is reachable without consuming input

    Details

    • Type: Task
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 6.10
    • Component/s: Rules
    • Labels:

      Description

      Since multiple rules require finding whether a state can reach another state without consuming input, there should be a common helper to accomplish this. This method should perform a simple DFS that only traverses epsilon edges.

      We could also calculate the length of the shortest path and check that it's zero, but this is simpler and more efficient.

        Attachments

          Issue Links

          contributes to

          MMF - Minimum Marketable Feature MMF-2182 Help Java developers writing regexp running fast, with the correct amount of resources and really doing what developers intended

          • Major - Major loss of function.
          • Resolved
          depends upon

          Task - A task that needs to be done. SONARJAVA-3549 Add support for automata-based analyses for regular expressions

          • Major - Major loss of function.
          • Closed
          is depended upon by

          New Feature - A new feature of the product, which has yet to be developed. SONARJAVA-3552 Rule S5996: Regex boundaries should not be used in a way that can never match

          • Major - Major loss of function.
          • Closed

          New Feature - A new feature of the product, which has yet to be developed. SONARJAVA-3567 Rule S6019: Reluctant quantifiers in regular expressions should be followed by an expression that can't match the empty string

          • Major - Major loss of function.
          • Closed

          Improvement - An improvement or enhancement to an existing feature or task. SONARJAVA-3568 S5852 should use automata to increase its accuracy

          • Major - Major loss of function.
          • In Progress

            Activity

              People

              • Assignee:
                sebastian.hungerecker Sebastian Hungerecker
                Reporter:
                sebastian.hungerecker Sebastian Hungerecker
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Due:
                  Created:
                  Updated:
                  Resolved: