Format query

trailofbits · Nov 19, 2024 · f3dbae7 · f3dbae7
1 parent 512a659
commit f3dbae7
Showing 1 changed file with 18 additions and 20 deletions.
diff --git a/java/src/security/Recursion/Recursion.ql b/java/src/security/Recursion/Recursion.ql
@@ -25,20 +25,19 @@ class RecursionSource extends MethodCall {
   override string toString() {
     result = this.getCaller().toString() + " clls " + this.getCallee().toString()
   }
-
 }
 
 /**
  * Check if the Expr uses directly an argument of the enclosing function
  */
 class ParameterOperation extends Expr {
   ParameterOperation() {
-      this instanceof BinaryExpr or this instanceof UnaryAssignExpr
-      and exists(
-        VarAccess va |
-        va.getVariable() = this.getEnclosingCallable().getAParameter() |
-        this.getAChildExpr+() = va
-      )
+    this instanceof BinaryExpr
+    or
+    this instanceof UnaryAssignExpr and
+    exists(VarAccess va | va.getVariable() = this.getEnclosingCallable().getAParameter() |
+      this.getAChildExpr+() = va
+    )
   }
 }
 
@@ -57,25 +56,24 @@ module RecursiveConfig implements DataFlow::StateConfigSig {
   }
 
   predicate isBarrier(DataFlow::Node node) {
-    exists(MethodCall ma  |
-      ma = node.asExpr()
-      and (
-        exists(Expr e | e = ma.getAnArgument() and e instanceof ParameterOperation)
-        // or exists(
-        //   VarAccess e| 
-        //   e = ma.getAnArgument() |
-        //   e.getVariable().getAnAssignedValue().getAChildExpr() instanceof ParameterOperation
-        // )
-      )
+    exists(MethodCall ma |
+      ma = node.asExpr() and
+      exists(Expr e | e = ma.getAnArgument() and e instanceof ParameterOperation)
+      // or exists(
+      //   VarAccess e|
+      //   e = ma.getAnArgument() |
+      //   e.getVariable().getAnAssignedValue().getAChildExpr() instanceof ParameterOperation
+      // )
     )
   }
 
   /**
    * Weird but useful deduplication logic
    */
   predicate isBarrierIn(DataFlow::Node node, FlowState state) {
-    not node.asExpr() instanceof MethodCall
-    or node.asExpr().(MethodCall).getCaller().getLocation().getStartLine() > state.getLocation().getStartLine()
+    not node.asExpr() instanceof MethodCall or
+    node.asExpr().(MethodCall).getCaller().getLocation().getStartLine() >
+      state.getLocation().getStartLine()
   }
 }
 
@@ -93,4 +91,4 @@ import RecursiveFlow::PathGraph
 from RecursiveFlow::PathNode source, RecursiveFlow::PathNode sink
 where RecursiveFlow::flowPath(source, sink)
 // TODO(dm): de-duplicate results
-select sink.getNode(), source, sink, "Found a recursion: "
+select sink.getNode(), source, sink, "Found a recursion: "