From 006ce9dd68b8832b93a61bd028b10ad5107dd734 Mon Sep 17 00:00:00 2001 From: eternalsakura Date: Tue, 15 Dec 2020 16:36:47 +0800 Subject: [PATCH] condition is redundant and should be removed --- CodeQL_Queries/cpp/Chrome/callbacks.qll | 1 - 1 file changed, 1 deletion(-) diff --git a/CodeQL_Queries/cpp/Chrome/callbacks.qll b/CodeQL_Queries/cpp/Chrome/callbacks.qll index 6602fb7..eeed98f 100644 --- a/CodeQL_Queries/cpp/Chrome/callbacks.qll +++ b/CodeQL_Queries/cpp/Chrome/callbacks.qll @@ -104,7 +104,6 @@ predicate reach(Function f, Function g) { else overrides*(g, gc.getTarget()) | - g = gc.getTarget() and gc.getEnclosingFunction() = f ) or exists(CallbackSinks sink | sink.getEnclosingCallable() = f and