Merge pull request #8540 from tausbn/python-add-points-to-call-graph-meta-query

Python: Add call graph meta-query
This commit is contained in:
Taus
2022-03-25 15:36:33 +01:00
committed by GitHub

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()