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

add CSV models of append

Browse Source
This commit is contained in:
Sauyon Lee
2021-11-22 01:18:03 -08:00
committed by Owen Mansel-Chan
parent 070e383516
commit a632a58221
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
ql/lib/semmle/go/dataflow/internal/ContainerFlow.qll
View File

@@ -4,6 +4,16 @@ import go
private import DataFlowNodes
private import DataFlowPrivate
private import DataFlowUtil
private import semmle.go.dataflow.ExternalFlow
private class BuiltinModel extends SummaryModelCsv {
override predicate row(string row) {
row = [
";;false;append;;;ArrayElement of Argument[0];ArrayElement of ReturnValue;value",
";;false;append;;;Argument[1];ArrayElement of ReturnValue;value"
]
}
}
/**
* Holds if the step from `node1` to `node2` stores a value in a slice or array.