From 6b03130755253625f563155c14bb2f543caa40a3 Mon Sep 17 00:00:00 2001 From: Taus Date: Thu, 18 Dec 2025 12:03:40 +0000 Subject: [PATCH] Python: Fix bad join in `import_points_to` --- python/ql/lib/semmle/python/pointsto/PointsTo.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/ql/lib/semmle/python/pointsto/PointsTo.qll b/python/ql/lib/semmle/python/pointsto/PointsTo.qll index 66b82367de0..8cc400c33b7 100644 --- a/python/ql/lib/semmle/python/pointsto/PointsTo.qll +++ b/python/ql/lib/semmle/python/pointsto/PointsTo.qll @@ -715,7 +715,7 @@ private module InterModulePointsTo { i.getImportedModuleName() = name and PointsToInternal::module_imported_as(value, name) and origin = f and - context.appliesTo(f) + context.appliesTo(pragma[only_bind_into](f)) ) }