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

Removed duplicate condition in Model.qll

Browse Source 
Co-authored-by: Arthur Baars <aibaars@github.com>
This commit is contained in:
Fredrik Dahlgren
2025-06-04 10:36:28 +02:00
parent 99b4cb1b7d
commit 2eecda3501
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2704,8 +2704,6 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
or
curveName = "CURVE448" and keySize = 448 and curveFamily = CURVE448()
or
curveName = "CURVE448" and keySize = 448 and curveFamily = CURVE448()
or
// TODO: separate these into key agreement logic or sign/verify (ECDSA / ECDH)
// or
// curveName = "X25519" and keySize = 255 and curveFamily = CURVE25519()