From 66c77e890cd4dd24f51f795c3d9cae00048aa05e Mon Sep 17 00:00:00 2001 From: tiferet Date: Mon, 6 Feb 2023 13:23:04 -0800 Subject: [PATCH] Bug fix --- .../lib/experimental/adaptivethreatmodeling/ATMConfig.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/ATMConfig.qll b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/ATMConfig.qll index c6ff581439d..b722b493d77 100644 --- a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/ATMConfig.qll +++ b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/ATMConfig.qll @@ -69,6 +69,7 @@ abstract class AtmConfig extends TaintTracking::Configuration { * Holds if `sink` is a known sink for this query of type `sinkType`. */ final predicate isKnownSink(DataFlow::Node sink, EndpointType sinkType) { + sinkType = this.getASinkEndpointType() and // If the list of characteristics includes positive indicators with maximal confidence for this class, then it's a // known sink for the class. exists(EndpointCharacteristics::EndpointCharacteristic characteristic |