Crypto: Fix bug in weak symmetric cipher query#20690

Merged

nicolaswill merged 1 commit intogithub:mainfrom

bdrodes:weak_symmetric_cipher_bug

Oct 24, 2025

Commits on Oct 24, 2025

Crypto: Fixed bug in WeakSymmetricCipher.qll, forgot to not only filter if !=AES but the algorithm must still be a SymmetriCipher algorithm.
bdrodes
committed