Python: add meta-query for calls to summarized callables · github/codeql@75fd20b · GitHub

github / codeql Public

• Notifications You must be signed in to change notification settings
• Fork 2.1k
• Star 10.1k

• Code
• Issues 1k
• Pull requests 470
• Discussions
• Actions
• Projects
• Security and quality
• Insights

Additional navigation options

Commit 75fd20b

Browse filesBrowse the repository at this point in the historyBrowse files

asgerf

committed

Python: add meta-query for calls to summarized callables

1 parent 1c7f6dc commit 75fd20b
Copy full SHA for 75fd20b

1 file changed

+24Lines changed: 24 additions & 0 deletions

File tree

Expand file treeCollapse file tree

Open diff view settings

Filter options

• python/ql/src/meta/analysis-quality
  • SummarizedCallableCallSites.ql

Expand file treeCollapse file tree

Open diff view settings

Collapse file

‎python/ql/src/meta/analysis-quality/SummarizedCallableCallSites.ql‎

Copy file name to clipboard

+24Lines changed: 24 additions & 0 deletions

Original file line number	Diff line number	Diff line change
@@ -0,0 +1,24 @@
	1	+ /**
	2	+ * @name Summarized callable call sites
	3	+ * @description A call site for which we have a summarized callable
	4	+ * @kind problem
	5	+ * @problem.severity recommendation
	6	+ * @id py/meta/summarized-callable-call-sites
	7	+ * @tags meta
	8	+ * @precision very-low
	9	+ */
	10	+
	11	+ import python
	12	+ import semmle.python.dataflow.new.DataFlow
	13	+ import semmle.python.dataflow.new.FlowSummary
	14	+ import meta.MetaMetrics
	15	+
	16	+ from DataFlow::Node useSite, SummarizedCallable target, string kind
	17	+ where
	18	+ (
	19	+ useSite = target.getACall() and kind = "Call"
	20	+ or
	21	+ useSite = target.getACallback() and kind = "Callback"
	22	+ ) and
	23	+ not useSite.getLocation().getFile() instanceof IgnoredFile
	24	+ select useSite, kind + " to " + target

0 commit comments

Comments

0 (0)