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

Remove taint-tracking for objects that implement io.Reader

Browse Source
This commit is contained in:
Slavomir
2020-08-04 16:01:30 +03:00
parent 72254b7682
commit 6b1bbf16aa
2 changed files with 0 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -69,10 +69,6 @@ module Bufio {
this.(Method).hasQualifiedName("bufio", "Reader", "Peek") and
(inp.isReceiver() and outp.isResult(0))
or
// signature: func (*Reader).Read(p []byte) (n int, err error)
this.(Method).hasQualifiedName("bufio", "Reader", "Read") and
(inp.isReceiver() and outp.isParameter(0))
or
// signature: func (*Reader).ReadByte() (byte, error)
this.(Method).hasQualifiedName("bufio", "Reader", "ReadByte") and
(inp.isReceiver() and outp.isResult(0))

8
ql/src/semmle/go/frameworks/stdlib/Bytes.qll
View File

@@ -159,10 +159,6 @@ module Bytes {
this.(Method).hasQualifiedName("bytes", "Buffer", "Next") and
(inp.isReceiver() and outp.isResult())
or
// signature: func (*Buffer).Read(p []byte) (n int, err error)
this.(Method).hasQualifiedName("bytes", "Buffer", "Read") and
(inp.isReceiver() and outp.isParameter(0))
or
// signature: func (*Buffer).ReadByte() (byte, error)
this.(Method).hasQualifiedName("bytes", "Buffer", "ReadByte") and
(inp.isReceiver() and outp.isResult(0))
@@ -207,10 +203,6 @@ module Bytes {
this.(Method).hasQualifiedName("bytes", "Buffer", "WriteTo") and
(inp.isReceiver() and outp.isParameter(0))
or
// signature: func (*Reader).Read(b []byte) (n int, err error)
this.(Method).hasQualifiedName("bytes", "Reader", "Read") and
(inp.isReceiver() and outp.isParameter(0))
or
// signature: func (*Reader).ReadAt(b []byte, off int64) (n int, err error)
this.(Method).hasQualifiedName("bytes", "Reader", "ReadAt") and
(inp.isReceiver() and outp.isParameter(0))