Openssl ec key gen#19540

Closed

bdrodes wants to merge 10 commits intogithub:mainfrom

bdrodes:openssl_ec_key_gen

Commits on May 20, 2025

Alterations to OpenSSL cipher algorithms to use new fixed keysize predicate.
bdrodes
committed
Modeled EC key gen for openssl.
bdrodes
committed
Crypto: Modeled EC key gen for openssl.
bdrodes
committed
Merge branch 'openssl_ec_key_gen' of https://github.com/bdrodes/codeql into openssl_ec_key_gen
bdrodes
committed
Changing fixed key size for the key gen operation for EC key gen to be none, and rely implicitly on the connected algorithm length.
bdrodes
committed
Crypto: Changing fixed key size for the key gen operation for EC key gen to be none, and rely implicitly on the connected algorithm length.
bdrodes
committed
Merge branch 'openssl_ec_key_gen' of https://github.com/bdrodes/codeql into openssl_ec_key_gen
bdrodes
committed
Crypto: Modeled EC key gen for openssl. (+1 squashed commits)
bdrodes
committed
Crypto: Changing fixed key size for the key gen operation for EC key gen to be none, and rely implicitly on the connected algorithm length. (+1 squashed commits)
bdrodes
committed
Merge branch 'openssl_ec_key_gen' of https://github.com/bdrodes/codeql into openssl_ec_key_gen
bdrodes
committed