Skip to content

Commit c6b2165

Browse files
committed
change model.qll - KeyArtifactNode getAKnownAlgorithm fix
1 parent e618097 commit c6b2165

File tree

1 file changed

+7
-2
lines changed
  • shared/quantum/codeql/quantum/experimental

1 file changed

+7
-2
lines changed

shared/quantum/codeql/quantum/experimental/Model.qll

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1655,14 +1655,19 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
16551655
result = this.getAKnownAlgorithm() or
16561656
result =
16571657
instance
1658-
.(KeyCreationOperationInstance)
1658+
.(KeyArtifactOutputInstance)
1659+
.getCreator()
16591660
.getAnAlgorithmValueConsumer()
16601661
.getAGenericSourceNode()
16611662
}
16621663

16631664
KeyCreationCandidateAlgorithmNode getAKnownAlgorithm() {
16641665
result =
1665-
instance.(KeyCreationOperationInstance).getAnAlgorithmValueConsumer().getAKnownSourceNode()
1666+
instance
1667+
.(KeyArtifactOutputInstance)
1668+
.getCreator()
1669+
.getAnAlgorithmValueConsumer()
1670+
.getAKnownSourceNode()
16661671
}
16671672

16681673
override NodeBase getChild(string edgeName) {

0 commit comments

Comments
 (0)