This commit is contained in:
tiferet
2023-02-06 13:23:04 -08:00
parent be9c6500b8
commit 66c77e890c

View File

@@ -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 |