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

2025-10-24 08:16:22 -04:00

..

automodel/src

Merge branch 'main' into henrymercer/merge-back-rc-3.16

2024-12-04 13:39:10 +00:00

consistency-queries

Java: Enable SSA consistency queries.

2025-03-06 12:47:38 +01:00

examples

…

integration-tests

Crypto: Fixed alphabetical ordering issue in not_included_in_qls.expected

2025-10-22 15:56:14 -04:00

lib

ControlFlowReachability: Align the SSA signature with the one from shared SSA.

2025-10-23 10:57:21 +02:00

src

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

2025-10-24 08:16:22 -04:00

test

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

2025-10-24 08:16:22 -04:00

test-kotlin1

Java: accept new test results after extractor update

2025-09-02 20:19:38 +02:00

test-kotlin2

Java: accept new test results after extractor update

2025-09-02 20:19:38 +02:00