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

Add models for library changes

Browse Source
This commit is contained in:
Sauyon Lee
2021-08-17 10:03:17 -07:00
parent 040b166eb2
commit b1e91e578b
3 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ql/src/semmle/go/frameworks/stdlib/ArchiveZip.qll
View File

@@ -46,6 +46,10 @@ module ArchiveZip {
hasQualifiedName("archive/zip", "Writer", "Create") and
(inp.isResult(0) and outp.isReceiver())
or
// signature: func (*Writer) Copy(f *File) error
hasQualifiedName("archive/zip", "Writer", "Create") and
(inp.isParameter(0) and outp.isReceiver())
or
// signature: func (*Writer) CreateHeader(fh *FileHeader) (io.Writer, error)
hasQualifiedName("archive/zip", "Writer", "CreateHeader") and
(inp.isResult(0) and outp.isReceiver())

4
ql/src/semmle/go/frameworks/stdlib/IoFs.qll
View File

@@ -16,6 +16,10 @@ module IoFs {
FunctionOutput outp;
FunctionModels() {
//signature: func FileInfoToDirEntry(info FileInfo) DirEntry
this.hasQualifiedName(packagePath(), "FileInfoToDirEntry") and
(inp.isParameter(0) and outp.isResult())
or
//signature: func Glob(fsys FS, pattern string) (matches []string, err error)
this.hasQualifiedName(packagePath(), "Glob") and
(inp.isParameter(0) and outp.isResult(0))

4
ql/src/semmle/go/frameworks/stdlib/Strconv.qll
View File

@@ -56,6 +56,10 @@ module Strconv {
hasQualifiedName("strconv", "Quote") and
(inp.isParameter(0) and outp.isResult())
or
// signature: func QuotedPrefix(s string) (string, error)
hasQualifiedName("strconv", "QuotedPrefix") and
(inp.isParameter(0) and outp.isResult(0))
or
// signature: func QuoteToASCII(s string) string
hasQualifiedName("strconv", "QuoteToASCII") and
(inp.isParameter(0) and outp.isResult())