Skip to content

Commit b248ae2

Browse files
committed
change model.qll - KeyArtifactNode getAKnownAlgorithm fix
1 parent ab04385 commit b248ae2

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
@@ -1657,14 +1657,19 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
16571657
result = this.getAKnownAlgorithm() or
16581658
result =
16591659
instance
1660-
.(KeyCreationOperationInstance)
1660+
.(KeyArtifactOutputInstance)
1661+
.getCreator()
16611662
.getAnAlgorithmValueConsumer()
16621663
.getAGenericSourceNode()
16631664
}
16641665

16651666
KeyCreationCandidateAlgorithmNode getAKnownAlgorithm() {
16661667
result =
1667-
instance.(KeyCreationOperationInstance).getAnAlgorithmValueConsumer().getAKnownSourceNode()
1668+
instance
1669+
.(KeyArtifactOutputInstance)
1670+
.getCreator()
1671+
.getAnAlgorithmValueConsumer()
1672+
.getAKnownSourceNode()
16681673
}
16691674

16701675
override NodeBase getChild(string edgeName) {

0 commit comments

Comments
 (0)