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

fixup model changes

Browse Source
This commit is contained in:
Sauyon Lee
2021-08-19 12:36:33 -07:00
parent d4aa572109
commit 4a1daf173c
1 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -42,13 +42,21 @@ module ArchiveZip {
hasQualifiedName("archive/zip", "File", "Open") and
(inp.isReceiver() and outp.isResult(0))
or
// signature: func (*File) OpenRaw() (io.Reader, error)
hasQualifiedName("archive/zip", "File", "OpenRaw") and
(inp.isReceiver() and outp.isResult(0))
or
// signature: func (*Writer) Copy(f *File) error
hasQualifiedName("archive/zip", "Writer", "Copy") and
(inp.isParameter(0) and outp.isReceiver())
or
// signature: func (*Writer) Create(name string) (io.Writer, error)
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())
// signature: func (*Writer) CreateRaw(fh *FileHeader) (io.Writer, error)
hasQualifiedName("archive/zip", "Writer", "CreateRaw") and
(inp.isResult(0) and outp.isReceiver())
or
// signature: func (*Writer) CreateHeader(fh *FileHeader) (io.Writer, error)
hasQualifiedName("archive/zip", "Writer", "CreateHeader") and