Skip to content

Commit 37d3b88

Browse files
committed
Added LMS and ML-DSA names to Model.qll
1 parent 28a8e80 commit 37d3b88

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
@@ -729,6 +729,10 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
729729
or
730730
type = TSignature(Ed448()) and name = "Ed448"
731731
or
732+
type = TSignature(LMS()) and name = "LMS"
733+
or
734+
type = TSignature(MLDSA()) and name = "MLDSA"
735+
or
732736
type = TSignature(OtherSignatureAlgorithmType()) and name = "UnknownSignature"
733737
or
734738
// Key Encapsulation Mechanisms

0 commit comments

Comments
 (0)