From 535db988239430f8fa6d9209117351d8ea2686a6 Mon Sep 17 00:00:00 2001 From: Rasmus Wriedt Larsen Date: Mon, 23 Sep 2024 11:21:55 +0200 Subject: [PATCH] Python: Minor simplification of `ActiveThreatModelSource` Co-authored-by: Taus --- python/ql/lib/semmle/python/Concepts.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/python/ql/lib/semmle/python/Concepts.qll b/python/ql/lib/semmle/python/Concepts.qll index a5a7b8f5b9ac..50506439dfba 100644 --- a/python/ql/lib/semmle/python/Concepts.qll +++ b/python/ql/lib/semmle/python/Concepts.qll @@ -58,11 +58,11 @@ module ThreatModelSource { /** * A data flow source that is enabled in the current threat model configuration. */ -class ActiveThreatModelSource extends DataFlow::Node { +class ActiveThreatModelSource extends ThreatModelSource { ActiveThreatModelSource() { exists(string kind | currentThreatModel(kind) and - this.(ThreatModelSource).getThreatModel() = kind + this.getThreatModel() = kind ) } }