hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-18 13:34:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Use any() to stub getSyntheticGlobalType

Browse Source 
This is used in all other languages not currently using dataflow type
pruning.
This commit is contained in:
Owen Mansel-Chan
2022-12-15 12:13:30 +00:00
parent 1a1b6a1b93
commit 76a3fa856f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll
View File

@@ -56,7 +56,7 @@ DataFlowType getCallbackParameterType(DataFlowType t, ArgumentPosition pos) { an
DataFlowType getCallbackReturnType(DataFlowType t, ReturnKind rk) { any() }
/** Gets the type of synthetic global `sg`. */
DataFlowType getSyntheticGlobalType(SummaryComponent::SyntheticGlobal sg) { none() }
DataFlowType getSyntheticGlobalType(SummaryComponent::SyntheticGlobal sg) { any() }
/**
* Holds if an external flow summary exists for `c` with input specification