File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -40,15 +40,15 @@ predicate mutates_globals(ModuleValue m) {
40
40
(
41
41
// In Python < 3.8, Enum._convert can be found with points-to
42
42
exists ( Value enum_convert |
43
- enum_convert = enum_class .attr ( [ "_convert" ] ) and
43
+ enum_convert = enum_class .attr ( "_convert" ) and
44
44
exists ( CallNode call | call .getScope ( ) = m .getScope ( ) |
45
45
enum_convert .getACall ( ) = call or
46
46
call .getFunction ( ) .pointsTo ( enum_convert )
47
47
)
48
48
)
49
49
or
50
50
// In Python 3.8, Enum._convert_ is implemented using a metaclass, and our points-to
51
- // analysis doesn't handle that good enough. So we need special case for this
51
+ // analysis doesn't handle that well enough. So we need a special case for this
52
52
not exists ( Value enum_convert | enum_convert = enum_class .attr ( "_convert" ) ) and
53
53
exists ( CallNode call | call .getScope ( ) = m .getScope ( ) |
54
54
call .getFunction ( ) .( AttrNode ) .getObject ( [ "_convert" , "_convert_" ] ) .pointsTo ( ) =
You can’t perform that action at this time.
0 commit comments