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

Rule S6002: Regex lookahead assertions should not be contradictory

    Details

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

      Description

      Using an AST-vistor find all lookahead assertions and for each one report an issue if the sub-automaton spanned by lookahead.element and lookahead.endOfLookaheadState does not intersect the prefix of the continuation automaton and the continuation automaton does not intersect the prefix of the sub-automaton (the latter should not be considered if we know that the regex is only used as a full match).

        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

          Task - A task that needs to be done. SONARJAVA-3564 Implement intersects and supersetOf helper for regex automata

          • Major - Major loss of function.
          • Closed
          implements

          Bug Detection - RSPEC-6002 Regex lookahead assertions should not be contradictory

          • Active
          supercedes

          Improvement - An improvement or enhancement to an existing feature or task. SONARJAVA-3475 Expand the scope of S5840

          • Major - Major loss of function.
          • Closed

            Activity

              People

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

                Dates

                • Due:
                  Created:
                  Updated:
                  Resolved: