hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 22:32:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

Comment on why summaryDataFlowCall is none()

Browse Source
This commit is contained in:
Owen Mansel-Chan
2021-12-03 06:20:35 -05:00
parent adf3dc0c61
commit 2d8fd71189
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -21,7 +21,10 @@ predicate parameterPosition(int i) {
Node summaryNode(SummarizedCallable c, SummaryNodeState state) { result = getSummaryNode(c, state) }
/** Gets the synthesized data-flow call for `receiver`. */
DataFlowCall summaryDataFlowCall(Node receiver) { none() }
DataFlowCall summaryDataFlowCall(Node receiver) {
// We do not currently have support for callback-based library models.
none()
}
/** Gets the type of content `c`. */
DataFlowType getContentType(Content c) { result = c.getType() }