Details
Description
Implement S6019 by finding all reluctantly quantified expressions using a visitor and then use the linked helper method to find out whether its continuation can match the empty string.
Attachments
Issue Links
- depends upon
-
SONARJAVA-3549 Add support for automata-based analyses for regular expressions
-
- Closed
-
-
SONARJAVA-3551 Implement helper to find whether state in regex automaton is reachable without consuming input
-
- Closed
-
- implements
-
RSPEC-6019 Reluctant quantifiers in regular expressions should be followed by an expression that can't match the empty string
- Active
- supercedes
-
SONARJAVA-3475 Expand the scope of S5840
-
- Closed
-