File tree Expand file tree Collapse file tree 1 file changed +2
-6
lines changed
python/ql/src/semmle/python Expand file tree Collapse file tree 1 file changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -396,9 +396,7 @@ abstract class RegexString extends Expr {
396
396
}
397
397
398
398
pragma [ inline]
399
- private predicate isOctal ( int index ) {
400
- this .getChar ( index ) in [ 0 ..7 ] .toString ( )
401
- }
399
+ private predicate isOctal ( int index ) { this .getChar ( index ) = [ 0 .. 7 ] .toString ( ) }
402
400
403
401
/** Holds if `index` is inside a character set. */
404
402
predicate inCharSet ( int index ) {
@@ -708,9 +706,7 @@ abstract class RegexString extends Expr {
708
706
svalue = text .substring ( start + 1 , start + len ) and
709
707
value = svalue .toInt ( ) and
710
708
// value is composed of digits
711
- forall ( int i | i in [ start + 1 .. start + len - 1 ] |
712
- this .getChar ( i ) in [ 0 ..9 ] .toString ( )
713
- ) and
709
+ forall ( int i | i in [ start + 1 .. start + len - 1 ] | this .getChar ( i ) = [ 0 .. 9 ] .toString ( ) ) and
714
710
// a longer reference is not possible
715
711
not (
716
712
len = 2 and
You can’t perform that action at this time.
0 commit comments