Autoformat QL.

This commit is contained in:
Max Schaefer
2020-05-20 14:35:01 +01:00
parent b871f54e4d
commit ed3a06ea5d

View File

@@ -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)
)
}