Revert "python: remove a use of points-to"

This reverts commit 5cb71ce7e5.
This commit is contained in:
Rasmus Lerchedahl Petersen
2024-02-20 10:23:31 +01:00
parent 5cb71ce7e5
commit de727bf1b5

View File

@@ -1,7 +1,6 @@
import python
private import semmle.python.objects.Modules
private import semmle.python.internal.CachedStages
private import semmle.python.dataflow.new.internal.ImportResolution
/**
* 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 {
string getAnExport() {
py_exports(this, result)
or
ImportResolution::module_export(this, result, _)
exists(ModuleObjectInternal mod | mod.getSource() = this.getEntryNode() |
mod.(ModuleValue).exports(result)
)
}
/** Gets the source file for this module */