hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Crypto: Added Signature algorithm instance and consumer

Browse Source
This commit is contained in:
REDMOND\brodes
2025-06-04 15:42:55 -04:00
parent 39583abade
commit 952bc266b1
4 changed files with 137 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
shared/quantum/codeql/quantum/experimental/Model.qll
View File

@@ -597,8 +597,7 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
newtype TSignatureAlgorithmType =
DSA() or
ECDSA() or
Ed25519() or
Ed448() or
EDDSA() or // e.g., ED25519 or ED448
OtherSignatureAlgorithmType()
newtype TKEMAlgorithmType =
@@ -703,9 +702,7 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
or
type = TSignature(ECDSA()) and name = "ECDSA"
or
type = TSignature(Ed25519()) and name = "Ed25519"
or
type = TSignature(Ed448()) and name = "Ed448"
type = TSignature(EDDSA()) and name = "EDSA"
or
type = TSignature(OtherSignatureAlgorithmType()) and name = "UnknownSignature"
or