Skip to content

Commit ffd191d

Browse files
committed
Crypto: missing new endpoint to get the creating operation for a key if known.
1 parent 3667365 commit ffd191d

File tree

1 file changed

+4
-0
lines changed
  • shared/quantum/codeql/quantum/experimental

1 file changed

+4
-0
lines changed

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1497,6 +1497,10 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
14971497
.getAGenericSourceNode()
14981498
}
14991499

1500+
KeyCreationOperationNode getCreatingOperation() {
1501+
instance.(KeyArtifactOutputInstance).getCreator() = result.asElement()
1502+
}
1503+
15001504
KeyCreationCandidateAlgorithmNode getAKnownAlgorithm() {
15011505
result =
15021506
instance

0 commit comments

Comments
 (0)