From b0259632e1be8558d67765489fe0f1b2d434a1d8 Mon Sep 17 00:00:00 2001 From: Slavomir Date: Wed, 5 Aug 2020 18:37:35 +0200 Subject: [PATCH] Remove Read method --- ql/src/semmle/go/frameworks/stdlib/CompressGzip.qll | 4 ---- 1 file changed, 4 deletions(-) diff --git a/ql/src/semmle/go/frameworks/stdlib/CompressGzip.qll b/ql/src/semmle/go/frameworks/stdlib/CompressGzip.qll index d9cd38e9673..6f0254c9196 100644 --- a/ql/src/semmle/go/frameworks/stdlib/CompressGzip.qll +++ b/ql/src/semmle/go/frameworks/stdlib/CompressGzip.qll @@ -34,10 +34,6 @@ module CompressGzip { FunctionOutput outp; MethodModels() { - // signature: func (*Reader).Read(p []byte) (n int, err error) - this.hasQualifiedName("compress/gzip", "Reader", "Read") and - (inp.isReceiver() and outp.isParameter(0)) - or // signature: func (*Reader).Reset(r io.Reader) error this.hasQualifiedName("compress/gzip", "Reader", "Reset") and (inp.isParameter(0) and outp.isReceiver())