Skip to content

Commit de727bf

Browse files
committed
Revert "python: remove a use of points-to"
This reverts commit 5cb71ce.
1 parent 5cb71ce commit de727bf

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

python/ql/lib/semmle/python/Module.qll

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
import python
22
private import semmle.python.objects.Modules
33
private import semmle.python.internal.CachedStages
4-
private import semmle.python.dataflow.new.internal.ImportResolution
54

65
/**
76
* A module. This is the top level element in an AST, corresponding to a source file.
@@ -71,7 +70,9 @@ class Module extends Module_, Scope, AstNode {
7170
string getAnExport() {
7271
py_exports(this, result)
7372
or
74-
ImportResolution::module_export(this, result, _)
73+
exists(ModuleObjectInternal mod | mod.getSource() = this.getEntryNode() |
74+
mod.(ModuleValue).exports(result)
75+
)
7576
}
7677

7778
/** Gets the source file for this module */

0 commit comments

Comments
 (0)