REDMOND\brodes 45fa2c94da Crypto: Code review cleanup.

2025-06-16 09:22:11 -04:00

..

AlgToAVCFlow.qll

Crypto: Update KnownAlgoirthmConstants to make a distinction between calls that return a known algorithm and calls that operate on a known algorithm. update KnownAlgorithmConstants to correct algType for signature algorithms. Update all instances and prior uses of the old mechanic to KnownAlgorithmConstants.

2025-06-04 15:41:24 -04:00

BlockAlgorithmInstance.qll

Crypto: Update KnownAlgoirthmConstants to make a distinction between calls that return a known algorithm and calls that operate on a known algorithm. update KnownAlgorithmConstants to correct algType for signature algorithms. Update all instances and prior uses of the old mechanic to KnownAlgorithmConstants.

2025-06-04 15:41:24 -04:00

CipherAlgorithmInstance.qll

Crypto: Update KnownAlgoirthmConstants to make a distinction between calls that return a known algorithm and calls that operate on a known algorithm. update KnownAlgorithmConstants to correct algType for signature algorithms. Update all instances and prior uses of the old mechanic to KnownAlgorithmConstants.

2025-06-04 15:41:24 -04:00

EllipticCurveAlgorithmInstance.qll

Crypto: Update KnownAlgoirthmConstants to make a distinction between calls that return a known algorithm and calls that operate on a known algorithm. update KnownAlgorithmConstants to correct algType for signature algorithms. Update all instances and prior uses of the old mechanic to KnownAlgorithmConstants.

2025-06-04 15:41:24 -04:00

HashAlgorithmInstance.qll

Crypto: Nop out signature operations for now until complete. Minor model update. Remove setting RSA bits as an RSA algorithm. Fix bug in hash algorithm. Add missing PKey encryption to cipher ops. Consolidate ctx initializers. Add unit tests, and alter unit test directory structure to allow for application to other APIs. Update expected files for unit tests (not all updated yet, a work in progress).

2025-06-10 13:37:17 -04:00

KeyAgreementAlgorithmInstance.qll

Crypto: Code review cleanup.

2025-06-16 09:22:11 -04:00

KnownAlgorithmConstants.qll

Crypto: Further simplify test caes to only use edges/nodes/properties. Update model to account for MAC algorithms.

2025-06-12 15:36:59 -04:00

MACAlgorithmInstance.qll

Crypto: Code review cleanup.

2025-06-16 09:22:11 -04:00

OpenSSLAlgorithmInstanceBase.qll

Switching to private imports.

2025-05-19 15:44:15 -04:00

OpenSSLAlgorithmInstances.qll

Crypto: Initial model of signatures. Still incomplete for verification and correct handling of MACs.

2025-06-13 11:52:37 -04:00

PaddingAlgorithmInstance.qll

Crypto: Update KnownAlgoirthmConstants to make a distinction between calls that return a known algorithm and calls that operate on a known algorithm. update KnownAlgorithmConstants to correct algType for signature algorithms. Update all instances and prior uses of the old mechanic to KnownAlgorithmConstants.

2025-06-04 15:41:24 -04:00

SignatureAlgorithmInstance.qll

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