Skip to content

Commit 855edda

Browse files
authored
Merge pull request github#11174 from github/tiferet/non-sink-endpoint-characteristics
Non-sink endpoint characteristics
2 parents 7bf55c5 + dbcdc22 commit 855edda

File tree

3 files changed

+357
-11
lines changed

3 files changed

+357
-11
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)