hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-30 14:52:57 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add model for net/http.Error

Browse Source
This commit is contained in:
Sauyon Lee
2020-12-15 11:03:12 -08:00
parent bf9bba79c2
commit b0ddf4b68b
1 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
ql/src/semmle/go/frameworks/stdlib/NetHttp.qll
View File

@@ -108,8 +108,6 @@ module NetHttp {
override string getHeaderName() { result = "status" }
override string getHeaderValue() { result = this.getValue().getIntValue().toString() }
override DataFlow::Node getName() { none() }
override DataFlow::Node getValue() { result = this.getArgument(0) }
@@ -117,6 +115,18 @@ module NetHttp {
override HTTP::ResponseWriter getResponseWriter() { result.getANode() = this.getReceiver() }
}
private class ResponseErrorCall extends HTTP::HeaderWrite::Range, DataFlow::CallNode {
ResponseErrorCall() { this.getTarget().hasQualifiedName("net/http", "Error") }
override string getHeaderName() { result = "status" }
override DataFlow::Node getName() { none() }
override DataFlow::Node getValue() { result = this.getArgument(2) }
override HTTP::ResponseWriter getResponseWriter() { result.getANode() = this.getArgument(0) }
}
private class RequestBody extends HTTP::RequestBody::Range, DataFlow::ExprNode {
RequestBody() {
exists(Function newRequest |