Paweł Płatek 328cf798bf Apply docs suggestions ...

Co-authored-by: Ben Rodes <benjaminrodes@gmail.com>

2025-06-03 16:27:50 +02:00

..

AlgorithmInstances

Crypto: Revert CODEOWNERS change and remove redundant cast.

2025-06-02 13:07:31 -04:00

AlgorithmValueConsumers

Crypto: Add openssl key agreement instances and consumers (KEM and KEY_EXCH). Fix for raw algorithm names in all current instances. Update constants to include key agreement algorithms, previously missing. Note added in model for the possibility of ESDH.

2025-05-30 11:29:34 -04:00

Operations

Apply docs suggestions

2025-06-03 16:27:50 +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-05-27 15:23:53 -04: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