Python: Fix extractor/experimental tests

This commit is contained in:
Taus
2025-10-30 23:08:43 +00:00
parent 665104e626
commit b3b87c968b
3 changed files with 3 additions and 0 deletions

View File

@@ -1,6 +1,7 @@
import python import python
import utils.test.InlineExpectationsTest import utils.test.InlineExpectationsTest
private import semmle.python.dataflow.new.internal.DataFlowDispatch as TT private import semmle.python.dataflow.new.internal.DataFlowDispatch as TT
private import LegacyPointsTo
/** Holds when `call` is resolved to `callable` using points-to based call-graph. */ /** Holds when `call` is resolved to `callable` using points-to based call-graph. */
predicate pointsToCallEdge(CallNode call, Function callable) { predicate pointsToCallEdge(CallNode call, Function callable) {

View File

@@ -1,4 +1,5 @@
import python import python
private import LegacyPointsTo
from Container path, string name from Container path, string name
where exists(ModuleValue m | m.getPath() = path and m.getName() = name) where exists(ModuleValue m | m.getPath() = path and m.getName() = name)

View File

@@ -1,4 +1,5 @@
import python import python
private import LegacyPointsTo
from Object o, string s from Object o, string s
where where