REDMOND\brodes 729467ccd6 Crypto: Separate out CTX parameter initialization, and add additional initializer subclasses.

2025-06-09 16:49:54 -04:00

..

AlgorithmInstances

Crypto: Add EVP key gen and signature operation (work in progress). Add initial signature tests (no expected files yet). Add new openssl .h stubs. Clean up of OperationBase and associated uses. Update test case stubs to be closer to the actual stubs. Fix unncessary instanceof check in signatures.

2025-06-05 16:43:58 -04:00

AlgorithmValueConsumers

Crypto: Separate out CTX parameter initialization, and add additional initializer subclasses.

2025-06-09 16:49:54 -04:00

Operations

Crypto: Separate out CTX parameter initialization, and add additional initializer subclasses.

2025-06-09 16:49:54 -04:00

CtxFlow.qll

Crypto: CtxFlow now uses an interface for additional steps. Add CTX step to handle paramgen. Remove redundant test. Overhaul of EVP update/initializer/final mechanics. Misc. updates for new API and refactoring EVPKeyGenOperation. Clean up of keygen_operaitons.ql.

2025-06-09 15:07:00 -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