REDMOND\brodes 74ce7cd188 Crypto: Moving all data flow analyses to taint tracking.

2025-08-28 20:40:05 -04:00

..

AlgToAVCFlow.qll

Crypto: Moving all data flow analyses to taint tracking.

2025-08-28 20:40:05 -04:00

BlockAlgorithmInstance.qll

Crypto: Continued refactoring of operation steps and bug fixes.

2025-08-26 11:49:26 -04:00

CipherAlgorithmInstance.qll

Crypto: Continued refactoring of operation steps and bug fixes.

2025-08-26 11:49:26 -04:00

EllipticCurveAlgorithmInstance.qll

Crypto: Continued refactoring of operation steps and bug fixes.

2025-08-26 11:49:26 -04:00

HashAlgorithmInstance.qll

Crypto: Continued refactoring of operation steps and bug fixes.

2025-08-26 11:49:26 -04:00

KeyAgreementAlgorithmInstance.qll

Crypto: Continued refactoring of operation steps and bug fixes.

2025-08-26 11:49:26 -04:00

KnownAlgorithmConstants.qll

Crypto: Debug missing hashes associated with HMAC. EVP_PKEY_get1_RSA is now just a passthrough, it is not a known implicit operation call. Some final operations generating null outputs are now removed from possible final operartions (typically used to determine buffer lenghth and not actually performing the operation). Misc. false positive/error fixes and code clean up, and added missing models.

2025-08-26 16:07:04 -04:00

MACAlgorithmInstance.qll

Crypto: Continued refactoring of operation steps and bug fixes.

2025-08-26 11:49:26 -04:00

OpenSSLAlgorithmInstanceBase.qll

Crypto: Acronym change from OpenSSL to OpenSsl, AVC to Avc and EVP to Evp.

2025-06-16 10:56:31 -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: Continued refactoring of operation steps and bug fixes.

2025-08-26 11:49:26 -04:00

SignatureAlgorithmInstance.qll

Crypto: Continued refactoring of operation steps and bug fixes.

2025-08-26 11:49:26 -04:00