Skip to content

Commit aa0749e

Browse files
committed
Use package grouping for go-jose/jwt models
1 parent e6c7e1a commit aa0749e

File tree

3 files changed

+21
-28
lines changed

3 files changed

+21
-28
lines changed
Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/go-all
4+
extensible: packageGrouping
5+
data:
6+
- ["go-jose/jwt", "github.com/go-jose/go-jose/jwt"]
7+
- ["go-jose/jwt", "gopkg.in/square/go-jose/jwt"]
8+
- ["go-jose/jwt", "github.com/square/go-jose/jwt"]
9+
- addsTo:
10+
pack: codeql/go-all
11+
extensible: sinkModel
12+
data:
13+
- ["group:go-jose/jwt", "JSONWebToken", True, "UnsafeClaimsWithoutVerification", "", "", "Argument[receiver]", "jwt", "manual"]
14+
- addsTo:
15+
pack: codeql/go-all
16+
extensible: summaryModel
17+
data:
18+
- ["group:go-jose/jwt", "", True, "ParseEncrypted", "", "", "Argument[0]", "ReturnValue[0]", "taint", "manual"]
19+
- ["group:go-jose/jwt", "", True, "ParseSigned", "", "", "Argument[0]", "ReturnValue[0]", "taint", "manual"]
20+
- ["group:go-jose/jwt", "NestedJSONWebToken", True, "ParseSignedAndEncrypted", "", "", "Argument[0]", "ReturnValue[0]", "taint", "manual"]
21+
- ["group:go-jose/jwt", "NestedJSONWebToken", True, "Decrypt", "", "", "Argument[receiver]", "ReturnValue[0]", "taint", "manual"]

go/ql/lib/ext/github.com.go-jose.go-jose.model.yml

Lines changed: 0 additions & 14 deletions
This file was deleted.

go/ql/lib/ext/gopkg.in.square.go-jose.model.yml

Lines changed: 0 additions & 14 deletions
This file was deleted.

0 commit comments

Comments
 (0)