From 810baad63ffce5d94eab63ae6553629fbd8b1a4d Mon Sep 17 00:00:00 2001 From: Joe Date: Thu, 17 Sep 2020 17:13:55 +0100 Subject: [PATCH] Java: Fix formatting --- .../semmle/code/java/security/CommandArguments.qll | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/java/ql/src/semmle/code/java/security/CommandArguments.qll b/java/ql/src/semmle/code/java/security/CommandArguments.qll index f0b94d7b482..fa659d1694c 100644 --- a/java/ql/src/semmle/code/java/security/CommandArguments.qll +++ b/java/ql/src/semmle/code/java/security/CommandArguments.qll @@ -137,11 +137,9 @@ private class CommandArgumentArray extends SsaExplicitUpdate { /** Gets an expression that is written to the given index of this array. */ Expr getAWrite(int index) { result = getAWrite(index, _) } - predicate isNotShell() { - exists(Expr e | e = this.(CommandArgArrayImmutableFirst).getFirstElement() | - not isShell(e) - ) - } + predicate isNotShell() { + exists(Expr e | e = this.(CommandArgArrayImmutableFirst).getFirstElement() | not isShell(e)) + } } /** @@ -186,7 +184,8 @@ private class ImmutableFirstArrayExpr extends Expr { ma.getArgument(0) instanceof ImmutableFirstArrayExpr ) or - exists(Field f | this = f.getAnAccess() and + exists(Field f | + this = f.getAnAccess() and f.isFinal() and f.getInitializer() instanceof ImmutableFirstArrayExpr )