Skip to content

Commit 782e0d1

Browse files
committed
Added LMS and ML-DSA names to Model.qll
1 parent f6f04cf commit 782e0d1

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
@@ -716,6 +716,10 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
716716
or
717717
type = TSignature(Ed448()) and name = "Ed448"
718718
or
719+
type = TSignature(LMS()) and name = "LMS"
720+
or
721+
type = TSignature(MLDSA()) and name = "MLDSA"
722+
or
719723
type = TSignature(OtherSignatureAlgorithmType()) and name = "UnknownSignature"
720724
or
721725
// Key Encapsulation Mechanisms

0 commit comments

Comments
 (0)