@@ -19,22 +19,20 @@ private predicate re_module_function(string name, int flags) {
19
19
predicate used_as_regex ( Expr s , string mode ) {
20
20
( s instanceof Bytes or s instanceof Unicode )
21
21
and
22
- exists ( ModuleValue re | re = Module:: named ( "re" ) |
23
- /* Call to re.xxx(regex, ... [mode]) */
24
- exists ( CallNode call , string name |
25
- call .getArg ( 0 ) .refersTo ( _, _, s .getAFlowNode ( ) ) and
26
- call .getFunction ( ) .pointsTo ( re .attr ( name ) ) |
27
- mode = "None"
28
- or
29
- exists ( Value obj |
30
- mode = mode_from_mode_object ( obj ) |
31
- exists ( int flags_arg |
32
- re_module_function ( name , flags_arg ) and
33
- call .getArg ( flags_arg ) .pointsTo ( obj )
34
- )
35
- or
36
- call .getArgByName ( "flags" ) .pointsTo ( obj )
22
+ /* Call to re.xxx(regex, ... [mode]) */
23
+ exists ( CallNode call , string name |
24
+ call .getArg ( 0 ) .refersTo ( _, _, s .getAFlowNode ( ) ) and
25
+ call .getFunction ( ) .pointsTo ( Module:: named ( "re" ) .attr ( name ) ) |
26
+ mode = "None"
27
+ or
28
+ exists ( Value obj |
29
+ mode = mode_from_mode_object ( obj ) |
30
+ exists ( int flags_arg |
31
+ re_module_function ( name , flags_arg ) and
32
+ call .getArg ( flags_arg ) .pointsTo ( obj )
37
33
)
34
+ or
35
+ call .getArgByName ( "flags" ) .pointsTo ( obj )
38
36
)
39
37
)
40
38
}
0 commit comments