Skip to content
This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Commit ad53583

Browse files
committed
Remove methods on IP
1 parent a784a25 commit ad53583

File tree

2 files changed

+228
-273
lines changed
  • ql
    • src/semmle/go/frameworks/stdlib
    • test/library-tests/semmle/go/frameworks/StdlibTaintFlow

2 files changed

+228
-273
lines changed

ql/src/semmle/go/frameworks/stdlib/Net.qll

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -62,18 +62,6 @@ module Net {
6262
this.hasQualifiedName("net", "Buffers", "WriteTo") and
6363
(inp.isReceiver() and outp.isParameter(0))
6464
or
65-
// signature: func (IP).MarshalText() ([]byte, error)
66-
this.hasQualifiedName("net", "IP", "MarshalText") and
67-
(inp.isReceiver() and outp.isResult(0))
68-
or
69-
// signature: func (IP).To16() IP
70-
this.hasQualifiedName("net", "IP", "To16") and
71-
(inp.isReceiver() and outp.isResult())
72-
or
73-
// signature: func (IP).To4() IP
74-
this.hasQualifiedName("net", "IP", "To4") and
75-
(inp.isReceiver() and outp.isResult())
76-
or
7765
// signature: func (*IPConn).ReadFrom(b []byte) (int, Addr, error)
7866
this.hasQualifiedName("net", "IPConn", "ReadFrom") and
7967
(inp.isReceiver() and outp.isParameter(0))

0 commit comments

Comments
 (0)