hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 22:32:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

Simplify HTTP::HeaderWrite

Browse Source
This commit is contained in:
Slavomir
2021-02-05 23:23:14 +01:00
committed by Chris Smowton
parent 7edf739602
commit 8c18aa6cbd
1 changed files with 5 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
ql/src/semmle/go/frameworks/CleverGo.qll
View File

@@ -287,26 +287,18 @@ private module CleverGo {
}
/**
* Models HTTP header writes.
* Models HTTP header writers model for package: clevergo.tech/clevergo@v0.5.2
*/
private class HeaderWrite extends HTTP::HeaderWrite::Range, DataFlow::CallNode {
DataFlow::Node nameNode;
DataFlow::Node valueNode;
HeaderWrite() {
// HTTP header write model for package: clevergo.tech/clevergo@v0.5.2
// Receiver type: Context
(
// signature: func (*Context).SetHeader(key string, value string)
this = any(Method m | m.hasQualifiedName(packagePath(), "Context", "SetHeader")).getACall() and
nameNode = this.getArgument(0) and
valueNode = this.getArgument(1)
)
// signature: func (*Context).SetHeader(key string, value string)
this = any(Method m | m.hasQualifiedName(packagePath(), "Context", "SetHeader")).getACall()
}
override DataFlow::Node getName() { result = nameNode }
override DataFlow::Node getName() { result = this.getArgument(0) }
override DataFlow::Node getValue() { result = valueNode }
override DataFlow::Node getValue() { result = this.getArgument(1) }
override HTTP::ResponseWriter getResponseWriter() { none() }
}