Skip to content

Commit 403f3ca

Browse files
committed
Merge branch 'main' into optionals2
2 parents ae5689b + 4b9b35d commit 403f3ca

File tree

27 files changed

+1393
-3522
lines changed

27 files changed

+1393
-3522
lines changed

javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/ATMConfig.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,8 @@ abstract class AtmConfig extends string {
5050
// known sink for the class.
5151
exists(EndpointCharacteristic characteristic |
5252
characteristic.getEndpoints(sink) and
53-
characteristic.getImplications(this.getASinkEndpointType(), true, 1.0)
53+
characteristic
54+
.getImplications(this.getASinkEndpointType(), true, characteristic.maximalConfidence())
5455
)
5556
}
5657

0 commit comments

Comments
 (0)