diff --git a/ql/src/semmle/go/frameworks/stdlib/ArchiveZip.qll b/ql/src/semmle/go/frameworks/stdlib/ArchiveZip.qll index 36e3f611f56..8b25fd334fc 100644 --- a/ql/src/semmle/go/frameworks/stdlib/ArchiveZip.qll +++ b/ql/src/semmle/go/frameworks/stdlib/ArchiveZip.qll @@ -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