diff --git a/python/ql/lib/semmle/python/dataflow/new/TestSummaries.qll b/python/ql/lib/semmle/python/dataflow/new/TestSummaries.qll index c73e61c905b..7174e123d07 100644 --- a/python/ql/lib/semmle/python/dataflow/new/TestSummaries.qll +++ b/python/ql/lib/semmle/python/dataflow/new/TestSummaries.qll @@ -82,7 +82,7 @@ private class SummarizedCallableJsonLoads extends SummarizedCallable { } override DataFlow::ArgumentNode getACallback() { - result = API::moduleImport("json").getMember("loads").getAUse() + result = API::moduleImport("json").getMember("loads").getAValueReachableFromSource() } override predicate propagatesFlowExt(string input, string output, boolean preservesValue) { diff --git a/python/ql/test/experimental/dataflow/summaries/TestSummaries.qll b/python/ql/test/experimental/dataflow/summaries/TestSummaries.qll index 55446d71748..a4ab6d2d01c 100644 --- a/python/ql/test/experimental/dataflow/summaries/TestSummaries.qll +++ b/python/ql/test/experimental/dataflow/summaries/TestSummaries.qll @@ -77,7 +77,7 @@ private class SummarizedCallableJsonLoads extends SummarizedCallable { } override DataFlow::ArgumentNode getACallback() { - result = API::moduleImport("json").getMember("loads").getAUse() + result = API::moduleImport("json").getMember("loads").getAValueReachableFromSource() } override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {