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

Commit 1578a66

Browse files
committed
Remove models for net.Parse*
1 parent e14f857 commit 1578a66

File tree

2 files changed

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

2 files changed

+274
-330
lines changed

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

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -31,18 +31,6 @@ module Net {
3131
hasQualifiedName("net", "JoinHostPort") and
3232
(inp.isParameter(_) and outp.isResult())
3333
or
34-
// signature: func ParseCIDR(s string) (IP, *IPNet, error)
35-
hasQualifiedName("net", "ParseCIDR") and
36-
(inp.isParameter(0) and outp.isResult([0, 1]))
37-
or
38-
// signature: func ParseIP(s string) IP
39-
hasQualifiedName("net", "ParseIP") and
40-
(inp.isParameter(0) and outp.isResult())
41-
or
42-
// signature: func ParseMAC(s string) (hw HardwareAddr, err error)
43-
hasQualifiedName("net", "ParseMAC") and
44-
(inp.isParameter(0) and outp.isResult(0))
45-
or
4634
// signature: func Pipe() (Conn, Conn)
4735
hasQualifiedName("net", "Pipe") and
4836
(

0 commit comments

Comments
 (0)