We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Cached::call
1 parent 6c8dfb2 commit 78cb534Copy full SHA for 78cb534
python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll
@@ -527,10 +527,9 @@ private module Cached {
527
*/
528
cached
529
predicate call(LocalSourceNode func, Node call) {
530
- exists(CfgNode n, CallNode call_node |
531
- call.asCfgNode() = call_node and n.asCfgNode() = call_node.getFunction()
532
- |
533
- func.flowsTo(n)
+ exists(CfgNode n |
+ func.flowsTo(n) and
+ n.asCfgNode() = call.asCfgNode().(CallNode).getFunction()
534
)
535
}
536
0 commit comments