Merge pull request #13299 from asgerf/rb/meta-query-summarised-callable-sites

Ruby/Python: add meta-queries for calls to summarised callables
This commit is contained in:
yoff
2023-05-26 13:27:56 +02:00
committed by GitHub
2 changed files with 40 additions and 0 deletions

View File

@@ -0,0 +1,16 @@
/**
* @name Summarized callable call sites
* @description A call site for which we have a summarized callable
* @kind problem
* @problem.severity recommendation
* @id rb/meta/summarized-callable-call-sites
* @tags meta
* @precision very-low
*/
import codeql.ruby.AST
import codeql.ruby.dataflow.FlowSummary
from Call invoke, SummarizedCallable f
where f.getACall() = invoke or f.getACallSimple() = invoke
select invoke, "Call to " + f