Skip to content

Commit 6b03130

Browse files
committed
Python: Fix bad join in import_points_to
1 parent 4d45b58 commit 6b03130

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

python/ql/lib/semmle/python/pointsto/PointsTo.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -715,7 +715,7 @@ private module InterModulePointsTo {
715715
i.getImportedModuleName() = name and
716716
PointsToInternal::module_imported_as(value, name) and
717717
origin = f and
718-
context.appliesTo(f)
718+
context.appliesTo(pragma[only_bind_into](f))
719719
)
720720
}
721721

0 commit comments

Comments
 (0)