From 93ff2459d1bf763f0f9bb350d4686d69cbd506c6 Mon Sep 17 00:00:00 2001 From: Slavomir Date: Wed, 27 Jan 2021 17:33:13 +0100 Subject: [PATCH] Use docs instead of comments for classes. --- ql/src/semmle/go/frameworks/CleverGo.qll | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/ql/src/semmle/go/frameworks/CleverGo.qll b/ql/src/semmle/go/frameworks/CleverGo.qll index a04b0feb9fb..596cb7d5a38 100644 --- a/ql/src/semmle/go/frameworks/CleverGo.qll +++ b/ql/src/semmle/go/frameworks/CleverGo.qll @@ -99,7 +99,9 @@ private module CleverGo { } } - // Models taint-tracking through functions. + /** + * Models taint-tracking through functions. + */ private class TaintTrackingFunctionModels extends TaintTracking::FunctionModel { FunctionInput inp; FunctionOutput out; @@ -119,7 +121,9 @@ private module CleverGo { } } - // Models taint-tracking through method calls. + /** + * Models taint-tracking through method calls. + */ private class TaintTrackingMethodModels extends TaintTracking::FunctionModel, Method { FunctionInput inp; FunctionOutput out; @@ -152,7 +156,9 @@ private module CleverGo { } } - // Models HTTP redirects. + /** + * Models HTTP redirects. + */ private class HttpRedirect extends HTTP::Redirect::Range, DataFlow::CallNode { string package; DataFlow::Node urlNode; @@ -173,7 +179,9 @@ private module CleverGo { override HTTP::ResponseWriter getResponseWriter() { none() } } - // Models HTTP ResponseBody. + /** + * Models HTTP ResponseBody. + */ private class HttpResponseBody extends HTTP::ResponseBody::Range { string package; DataFlow::CallNode call;