Skip to content

Commit 218f553

Browse files
committed
Go: Convert remaining CSV production models to use data extensions.
1 parent ebb3485 commit 218f553

File tree

4 files changed

+19
-24
lines changed

4 files changed

+19
-24
lines changed

go/ql/lib/ext/archive_tar.model.yml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/go-all
4+
extensible: summaryModel
5+
data:
6+
- ["archive/tar", "", True, "FileInfoHeader", "", "", "Argument[0]", "ReturnValue[0]", "taint", "manual"]

go/ql/lib/ext/net_http.model.yml

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/go-all
4+
extensible: sourceModel
5+
data:
6+
- ["net/http", "Request", True, "Cookie", "", "", "ReturnValue[0]", "remote", "manual"]
7+
- ["net/http", "Request", True, "Cookies", "", "", "ReturnValue.ArrayElement", "remote", "manual"]
8+
- ["net/http", "Request", True, "FormFile", "", "", "ReturnValue[0..1]", "remote", "manual"]
9+
- ["net/http", "Request", True, "FormValue", "", "", "ReturnValue", "remote", "manual"]
10+
- ["net/http", "Request", True, "MultipartReader", "", "", "ReturnValue[0]", "remote", "manual"]
11+
- ["net/http", "Request", True, "PostFormValue", "", "", "ReturnValue", "remote", "manual"]
12+
- ["net/http", "Request", True, "Referer", "", "", "ReturnValue", "remote", "manual"]
13+
- ["net/http", "Request", True, "UserAgent", "", "", "ReturnValue", "remote", "manual"]

go/ql/lib/semmle/go/frameworks/stdlib/ArchiveTar.qll

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,6 @@
33
*/
44

55
import go
6-
private import semmle.go.dataflow.ExternalFlow
7-
8-
private class FlowSummaries extends SummaryModelCsv {
9-
override predicate row(string row) {
10-
row = ["archive/tar;;true;FileInfoHeader;;;Argument[0];ReturnValue[0];taint"]
11-
}
12-
}
136

147
/** Provides models of commonly used functions in the `archive/tar` package. */
158
module ArchiveTar {

go/ql/lib/semmle/go/frameworks/stdlib/NetHttp.qll

Lines changed: 0 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -3,23 +3,6 @@
33
*/
44

55
import go
6-
private import semmle.go.dataflow.ExternalFlow
7-
8-
private class FlowSources extends SourceModelCsv {
9-
override predicate row(string row) {
10-
row =
11-
[
12-
"net/http;Request;true;Cookie;;;ReturnValue[0];remote",
13-
"net/http;Request;true;Cookies;;;ReturnValue.ArrayElement;remote",
14-
"net/http;Request;true;FormFile;;;ReturnValue[0..1];remote",
15-
"net/http;Request;true;FormValue;;;ReturnValue;remote",
16-
"net/http;Request;true;MultipartReader;;;ReturnValue[0];remote",
17-
"net/http;Request;true;PostFormValue;;;ReturnValue;remote",
18-
"net/http;Request;true;Referer;;;ReturnValue;remote",
19-
"net/http;Request;true;UserAgent;;;ReturnValue;remote"
20-
]
21-
}
22-
}
236

247
/** Provides models of commonly used functions in the `net/http` package. */
258
module NetHttp {

0 commit comments

Comments
 (0)