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

Commit dc159ee

Browse files
committed
Remove io.Writer model from io/ioutil
1 parent f1cdfff commit dc159ee

File tree

2 files changed

+0
-27
lines changed

2 files changed

+0
-27
lines changed

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

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -38,19 +38,4 @@ module IoIoutil {
3838
input = inp and output = outp
3939
}
4040
}
41-
42-
private class MethodModels extends TaintTracking::FunctionModel, Method {
43-
FunctionInput inp;
44-
FunctionOutput outp;
45-
46-
MethodModels() {
47-
// signature: func (Writer).Write(p []byte) (n int, err error)
48-
this.implements("io", "Writer", "Write") and
49-
(inp.isParameter(0) and outp.isReceiver())
50-
}
51-
52-
override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
53-
input = inp and output = outp
54-
}
55-
}
5641
}

ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/IoIoutil.go

Lines changed: 0 additions & 12 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)