Crypto: Improve literal filtering for OpenSSL for algorithms and generic sources#19553

Merged

nicolaswill merged 8 commits intogithub:mainfrom

bdrodes:generic_constant_filtering

May 22, 2025

Commits on May 21, 2025

Crypto: Advanced literal filtering for OpenSSL, used for both unknown and known algorithm literals to improve dataflow performance.
bdrodes
committed
a36fd2c
Copy full SHA for a36fd2c
Crypto: optimizing out the "getPossibleNidFromLiteral" predicate, and now relying on the charpred of OpenSSLAlgorithmCandidateLiteral.
bdrodes
committed
100045d
Copy full SHA for 100045d

Commits on May 22, 2025

Crypto: Making generic literal filter more explicit that it is for filtering all constants, not just for algorithms.
bdrodes
committed
09170e5
Copy full SHA for 09170e5
Merge branch 'main' into generic_constant_filtering
Show description for a5b57d3
bdrodes
committed
a5b57d3
Copy full SHA for a5b57d3
Crypto: Code Cleanup (+1 squashed commits)
Show description for 570fdeb
bdrodes
committed
570fdeb
Copy full SHA for 570fdeb
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 …
Show description for ca1d4e2
bdrodes
committed
ca1d4e2
Copy full SHA for ca1d4e2
Crypto: Adding signature constant support, and fixing key exchange and signature mapping for ED and X elliptic curve variants.
bdrodes
committed
28f4824
Copy full SHA for 28f4824
Crypto: Simplifying constant comparisons.
bdrodes
committed
007683f
Copy full SHA for 007683f