Python: Add call graph meta-query

This commit is contained in:
Taus
2022-03-23 16:36:28 +00:00
committed by GitHub
parent ac29d5f51b
commit af888f7604

View File

@@ -0,0 +1,16 @@
/**
* @name Call graph
* @description An edge in the points-to call graph.
* @kind problem
* @problem.severity recommendation
* @id py/meta/points-to-call-graph
* @tags meta
* @precision very-low
*/
import python
import semmle.python.dataflow.new.internal.DataFlowPrivate
from DataFlowCall c, DataFlowCallableValue f
where c.getCallable() = f
select c, "Call to $@", f.getScope(), f.toString()