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

Commit e742525

Browse files
committed
Fix (*Logger).Writer() model
1 parent bff19d5 commit e742525

File tree

2 files changed

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

2 files changed

+4
-6
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,7 @@ module Log {
9797
or
9898
// signature: func (*Logger).Writer() io.Writer
9999
this.hasQualifiedName("log", "Logger", "Writer") and
100-
(inp.isResult() and outp.isReceiver())
100+
(inp.isReceiver() and outp.isResult())
101101
}
102102

103103
override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {

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

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

0 commit comments

Comments
 (0)