Python: Autoformat (4 spaces) pyramid library

Author: RasmusWL

python/ql/src/semmle/python/web/pyramid/Redirect.qll

@@ -1,16 +1,16 @@
-/** Provides class representing the `pyramid.redirect` function.
+/**
+ * Provides class representing the `pyramid.redirect` function.
  * This module is intended to be imported into a taint-tracking query
  * to extend `TaintSink`.
  */
-import python
 
+import python
 import semmle.python.security.TaintTracking
 import semmle.python.security.strings.Basic
 import semmle.python.web.Http
 
 private ClassValue redirectClass() {
-    exists(ModuleValue ex |
-        ex.getName() = "pyramid.httpexceptions" |
+    exists(ModuleValue ex | ex.getName() = "pyramid.httpexceptions" |
         ex.attr("HTTPFound") = result
         or
         ex.attr("HTTPTemporaryRedirect") = result
@@ -21,19 +21,13 @@ private ClassValue redirectClass() {
  * Represents an argument to the `tornado.redirect` function.
  */
 class PyramidRedirect extends HttpRedirectTaintSink {
-
-    override string toString() {
-        result = "pyramid.redirect"
-    }
+    override string toString() { result = "pyramid.redirect" }
 
     PyramidRedirect() {
-        exists(CallNode call |
-            call.getFunction().pointsTo(redirectClass()) 
-            |
+        exists(CallNode call | call.getFunction().pointsTo(redirectClass()) |
             call.getArg(0) = this
             or
             call.getArgByName("location") = this
         )
     }
-
 }

python/ql/src/semmle/python/web/pyramid/Request.qll

@@ -1,39 +1,25 @@
 import python
-
 import semmle.python.security.TaintTracking
 import semmle.python.web.Http
 private import semmle.python.web.webob.Request
 private import semmle.python.web.pyramid.View
 
 class PyramidRequest extends BaseWebobRequest {
+    PyramidRequest() { this = "pyramid.request" }
 
-    PyramidRequest() {
-        this = "pyramid.request"
-    }
-
-    override ClassValue getType() {
-        result = Value::named("pyramid.request.Request")
-    }
-
+    override ClassValue getType() { result = Value::named("pyramid.request.Request") }
 }
 
 /** Source of pyramid request objects */
 class PyramidViewArgument extends TaintSource {
-
     PyramidViewArgument() {
         exists(Function view_func |
             is_pyramid_view_function(view_func) and
             this.(ControlFlowNode).getNode() = view_func.getArg(0)
         )
     }
 
-    override predicate isSourceOf(TaintKind kind) {
-        kind instanceof PyramidRequest
-    }
-
-    override string toString() {
-        result = "pyramid.view.argument"
-    }
+    override predicate isSourceOf(TaintKind kind) { kind instanceof PyramidRequest }
 
+    override string toString() { result = "pyramid.view.argument" }
 }
-

python/ql/src/semmle/python/web/pyramid/Response.qll

@@ -1,37 +1,28 @@
 import python
-
-
 import semmle.python.security.TaintTracking
 import semmle.python.security.strings.Basic
 import semmle.python.web.Http
-
 private import semmle.python.web.pyramid.View
 private import semmle.python.web.Http
 
-/** A pyramid response, which is vulnerable to any sort of 
- * http response malice. */
+/**
+ * A pyramid response, which is vulnerable to any sort of
+ * http response malice.
+ */
 class PyramidRoutedResponse extends HttpResponseTaintSink {
-
     PyramidRoutedResponse() {
         exists(PyFunctionObject view |
             is_pyramid_view_function(view.getFunction()) and
             this = view.getAReturnedNode()
         )
     }
 
-    override predicate sinks(TaintKind kind) {
-        kind instanceof StringKind
-    }
-
-    override string toString() {
-        result = "pyramid.routed.response"
-    }
+    override predicate sinks(TaintKind kind) { kind instanceof StringKind }
 
+    override string toString() { result = "pyramid.routed.response" }
 }
 
-
 class PyramidCookieSet extends CookieSet, CallNode {
-
     PyramidCookieSet() {
         exists(ControlFlowNode f |
             f = this.getFunction().(AttrNode).getObject("set_cookie") and
@@ -44,5 +35,4 @@ class PyramidCookieSet extends CookieSet, CallNode {
     override ControlFlowNode getKey() { result = this.getArg(0) }
 
     override ControlFlowNode getValue() { result = this.getArg(1) }
-
 }

python/ql/src/semmle/python/web/pyramid/View.qll

@@ -1,14 +1,9 @@
 import python
 
-ModuleValue thePyramidViewModule() {
-    result.getName() = "pyramid.view"
-}
+ModuleValue thePyramidViewModule() { result.getName() = "pyramid.view" }
 
-Value thePyramidViewConfig() {
-    result = thePyramidViewModule().attr("view_config")
-}
+Value thePyramidViewConfig() { result = thePyramidViewModule().attr("view_config") }
 
 predicate is_pyramid_view_function(Function func) {
     func.getADecorator().pointsTo().getClass() = thePyramidViewConfig()
 }
-