From 9ef4bf5441daea13951bc62e5120809d540868a0 Mon Sep 17 00:00:00 2001 From: tombolton Date: Thu, 12 May 2022 11:36:29 +0100 Subject: [PATCH] fix case in CodeInjectionATM.qll --- .../adaptivethreatmodeling/CodeInjectionATM.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/CodeInjectionATM.qll b/javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/CodeInjectionATM.qll index 222c2963f7c..0cb594fe82d 100644 --- a/javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/CodeInjectionATM.qll +++ b/javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/CodeInjectionATM.qll @@ -29,8 +29,8 @@ module SinkEndpointFilter { } } -class CodeInjectionATMConfig extends ATMConfig { - CodeInjectionATMConfig() { this = "CodeInjectionATMConfig" } +class CodeInjectionAtmConfig extends ATMConfig { + CodeInjectionAtmConfig() { this = "CodeInjectionATMConfig" } override predicate isKnownSource(DataFlow::Node source) { source instanceof Source } @@ -52,7 +52,7 @@ class Configuration extends TaintTracking::Configuration { override predicate isSource(DataFlow::Node source) { source instanceof Source } override predicate isSink(DataFlow::Node sink) { - (sink instanceof Sink or any(CodeInjectionATMConfig cfg).isEffectiveSink(sink)) + (sink instanceof Sink or any(CodeInjectionAtmConfig cfg).isEffectiveSink(sink)) } override predicate isSanitizer(DataFlow::Node node) {