From ed3a06ea5ddb38d9f2a33ca27656a622c79c48ab Mon Sep 17 00:00:00 2001 From: Max Schaefer Date: Wed, 20 May 2020 14:35:01 +0100 Subject: [PATCH] Autoformat QL. --- .../go/security/AllocationSizeOverflowCustomizations.qll | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll b/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll index dd4502e059a..0dbc26bd70e 100644 --- a/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll +++ b/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll @@ -51,9 +51,7 @@ module AllocationSizeOverflow { exists(MarshalingFunction marshal, DataFlow::CallNode call | call = marshal.getACall() and // rule out cases where we can tell that the result will always be small - exists(FunctionInput inp | inp = marshal.getAnInput() | - isBig(inp.getNode(call).asExpr()) - ) and + exists(FunctionInput inp | inp = marshal.getAnInput() | isBig(inp.getNode(call).asExpr())) and this = marshal.getOutput().getNode(call) ) }