REDMOND\brodes 0de6647927 Crypto: Adding initial openssl tests, fixing a bug in hash modeling found through tests, and updating CODEOWNERS for quantum tests

2025-06-02 16:10:35 +02:00

..

AlgorithmInstances

Crypto: Simplifying constant comparisons.

2025-05-22 14:06:13 -04:00

AlgorithmValueConsumers

Crypto: Further code cleanup

2025-05-21 15:25:04 -04:00

Operations

Crypto: Adding initial openssl tests, fixing a bug in hash modeling found through tests, and updating CODEOWNERS for quantum tests

2025-06-02 16:10:35 +02:00

CtxFlow.qll

Crypto: Adding initial openssl tests, fixing a bug in hash modeling found through tests, and updating CODEOWNERS for quantum tests

2025-06-02 16:10:35 +02:00

GenericSourceCandidateLiteral.qll

Crypto: Separating out an IntLiteral class so it is clearer that some constraints for generic input sources are heuristics to filter sources, and other constraints narrow the literals to a general type (ints). Also adding fixes in KnownAlgorithmConstants to classify some algorithms as key exchange and signature correctly, and added support for a signature constant wrapper.

2025-05-22 12:53:11 -04:00

LibraryDetector.qll

Format LibraryDetector.qll

2025-05-08 02:51:53 +02:00

OpenSSL.qll

Merge branch 'main' into generic_constant_filtering

2025-05-22 10:37:10 -04:00

Random.qll

Rename "Quantum" to "quantum" in dir structure

2025-05-08 02:39:40 +02:00