From c8cbae37d93bd2bc6134677070af5cfbf6d3e81c Mon Sep 17 00:00:00 2001 From: Taus Brock-Nannestad Date: Thu, 25 Apr 2019 16:48:47 +0200 Subject: [PATCH] Python: Add missing `override` annotations. --- python/ql/src/Variables/Undefined.qll | 2 +- python/ql/src/semmle/python/security/SensitiveData.qll | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/python/ql/src/Variables/Undefined.qll b/python/ql/src/Variables/Undefined.qll index eca28fe9aa5..9def40f752f 100644 --- a/python/ql/src/Variables/Undefined.qll +++ b/python/ql/src/Variables/Undefined.qll @@ -127,7 +127,7 @@ private predicate maybe_call_to_exiting_function(CallNode call) { /** Prune edges where the predecessor block looks like it might contain a call to an exit function. */ class ExitFunctionGuardedEdge extends DataFlowExtension::DataFlowVariable { - predicate prunedSuccessor(EssaVariable succ) { + override predicate prunedSuccessor(EssaVariable succ) { exists(CallNode exit_call | succ.(PhiFunction).getInput(exit_call.getBasicBlock()) = this and maybe_call_to_exiting_function(exit_call) diff --git a/python/ql/src/semmle/python/security/SensitiveData.qll b/python/ql/src/semmle/python/security/SensitiveData.qll index 6786c2498f5..32e65d7aaba 100644 --- a/python/ql/src/semmle/python/security/SensitiveData.qll +++ b/python/ql/src/semmle/python/security/SensitiveData.qll @@ -91,11 +91,11 @@ class SensitiveDataSource extends TaintSource { this.(ControlFlowNode).getNode() instanceof SensitiveExpr } - string toString() { + override string toString() { result = "sensitive.data.source" } - predicate isSourceOf(TaintKind kind) { + override predicate isSourceOf(TaintKind kind) { kind instanceof SensitiveData }