github-actions[bot]
|
2de4a01c86
|
Release preparation for version 2.21.3
|
2025-05-13 21:14:27 +00:00 |
|
Mathias Vorreiter Pedersen
|
fa7942393d
|
Merge pull request #19477 from MathiasVP/fix-infinite-range-analysis-on-incomplete-ssa
C++: Fix infinite range analysis loop on invalid SSA
|
2025-05-13 16:59:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
f255fc2fd5
|
C++: Drive-by join order fix. Before:
```
Evaluated relational algebra for predicate SsaInternals::getDefImpl/1#1ed4f567@65628fbv with tuple counts:
4935102 ~5% {4} r1 = SCAN `SsaInternals::SsaImpl::Definition.definesAt/3#dispred#7eea4c8f` OUTPUT In.2, In.3, In.0, In.1
104274503 ~1% {3} | JOIN WITH `SsaInternals::DefImpl.hasIndexInBlock/2#dispred#30a6c29f_120#join_rhs` ON FIRST 2 OUTPUT Rhs.2, Lhs.3, Lhs.2
4921319 ~2% {2} | JOIN WITH `SsaInternals::DefImpl.getSourceVariable/0#dispred#72437659` ON FIRST 2 OUTPUT Lhs.2, Lhs.0
return r1
```
After:
```
Evaluated relational algebra for predicate SsaInternals::SsaImpl::Definition.definesAt/3#dispred#7eea4c8f_1230#join_rhs@b280fb5h with tuple counts:
4935102 ~3% {4} r1 = SCAN `SsaInternals::SsaImpl::Definition.definesAt/3#dispred#7eea4c8f` OUTPUT In.1, In.2, In.3, In.0
return r1
Evaluated relational algebra for predicate SsaInternals::DefImpl.hasIndexInBlock/3#dispred#31d295aa_1230#join_rhs@2be655s4 with tuple counts:
5634706 ~1% {4} r1 = SCAN `SsaInternals::DefImpl.hasIndexInBlock/3#dispred#31d295aa` OUTPUT In.1, In.2, In.3, In.0
return r1
Evaluated relational algebra for predicate SsaInternals::getDefImpl/1#1ed4f567@8afa36uu with tuple counts:
4921319 ~2% {2} r1 = JOIN `SsaInternals::SsaImpl::Definition.definesAt/3#dispred#7eea4c8f_1230#join_rhs` WITH `SsaInternals::DefImpl.hasIndexInBlock/3#dispred#31d295aa_1230#join_rhs` ON FIRST 3 OUTPUT Lhs.3, Rhs.3
return r1
```
|
2025-05-13 14:21:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
0836f0b413
|
C++: Cache and fix join order in 'hasIncompleteSsa'.
|
2025-05-13 13:41:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
c3c18bdbd2
|
C++: Add change note.
|
2025-05-13 11:28:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
9d2eb3d9b8
|
C++: Filter out instructions with incomplete SSA in range analysis.
|
2025-05-13 10:54:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
510df38da2
|
C++: Add an 'hasIncompleteSsa' predicate to check whether a function has correctly modelled SSA information.
|
2025-05-13 10:54:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
f1b4e05579
|
C++: Expose 'isBusyDef'.
|
2025-05-12 19:45:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
e51cb478af
|
C++: Expose 'MemoryLocation0'.
|
2025-05-12 19:43:19 +01:00 |
|
Nicolas Will
|
cd59ce5b04
|
Rename shared pack to quantum from experimental
|
2025-05-09 14:36:12 +02:00 |
|
Nicolas Will
|
1135fbe950
|
Fix EVP_Hash_Initializer typo
|
2025-05-08 02:58:43 +02:00 |
|
Nicolas Will
|
1d8a57e7da
|
Fix EVP Cipher class, predicate, and comment typos
|
2025-05-08 02:56:52 +02:00 |
|
Nicolas Will
|
e956d041dc
|
Format LibraryDetector.qll
|
2025-05-08 02:51:53 +02:00 |
|
Nicolas Will
|
7339dd0077
|
Rename "Quantum" to "quantum" in dir structure
|
2025-05-08 02:39:40 +02:00 |
|
Nicolas Will
|
ac72abd3a6
|
Refactor directory structure (shared experimental)
|
2025-05-08 02:35:09 +02:00 |
|
Nicolas Will
|
c19291be88
|
Refactor 'cryptography' and 'Quantum' to 'quantum'
|
2025-05-08 01:38:53 +02:00 |
|
REDMOND\brodes
|
4042081539
|
Missing files, should have been part of last commit.
|
2025-05-02 16:35:27 -04:00 |
|
REDMOND\brodes
|
0a0be41527
|
Intermediate progress towards getting hashing upgraded. Still need to handle the final and update mechanics, matching the JCA. Similarly need to update cipher to follow the JCA for update/final as well.
|
2025-05-02 16:33:52 -04:00 |
|
REDMOND\brodes
|
94632931ba
|
Clean up
|
2025-05-02 14:11:10 -04:00 |
|
REDMOND\brodes
|
09d473674b
|
Working refactor for cipher, padding, block mode. Still haven't completed connecting padding to algorithm instances if through a set padding interface.
|
2025-05-02 14:10:38 -04:00 |
|
REDMOND\brodes
|
c08525ad81
|
Additional cleanup
|
2025-05-02 14:07:13 -04:00 |
|
REDMOND\brodes
|
5694f029de
|
Misc. cleanup
|
2025-05-02 14:03:50 -04:00 |
|
Nicolas Will
|
83617e099f
|
Merge pull request #2 from nicolaswill/knewbury01/JCA-sample
Implement first stage cryptography modelling and queries
|
2025-04-30 16:39:56 +02:00 |
|
Nicolas Will
|
27c7bf3047
|
Merge branch 'github:main' into crypto-test
|
2025-04-30 16:35:26 +02:00 |
|
Jeroen Ketema
|
c7e4853c38
|
Merge pull request #19269 from jketema/non-second-level-limits
C++: Do not limit second level scopes to the top-level
|
2025-04-30 13:50:36 +02:00 |
|
github-actions[bot]
|
2e0699ab2b
|
Post-release preparation for codeql-cli-2.21.2
|
2025-04-28 14:03:28 +00:00 |
|
github-actions[bot]
|
625354c46e
|
Release preparation for version 2.21.2
|
2025-04-28 10:55:22 +00:00 |
|
Jeroen Ketema
|
9396f0ee55
|
C++: Set defaultFieldFlowBranchLimit to 3
|
2025-04-25 13:10:42 +02:00 |
|
Jeroen Ketema
|
ac3c3ae13a
|
C++: Do not limit second level scopes to the top-level
|
2025-04-25 13:10:40 +02:00 |
|
Jeroen Ketema
|
4093afbaab
|
Merge pull request #19290 from jketema/typeof
C++: Support C23 `typeof` and `typeof_unqual`
|
2025-04-24 10:12:46 +02:00 |
|
Jeroen Ketema
|
cad695868d
|
C++: Add change note
|
2025-04-23 17:51:06 +02:00 |
|
Jeroen Ketema
|
0c313463b4
|
C++: Update stats file
|
2025-04-23 16:56:59 +02:00 |
|
Jeroen Ketema
|
a3e0c15c10
|
C++: Add upgrade and downgrade scripts
|
2025-04-23 16:56:57 +02:00 |
|
Jeroen Ketema
|
df3282c204
|
C++: Support C23 typeof and typeof_unqual
|
2025-04-23 16:56:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
07d8f8dd0d
|
C++: Add an empty model to prevent a warning.
|
2025-04-23 10:24:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
3fd760c632
|
C++: Move 'InlineMadTest.qll' out of 'lib/utils/test' and into 'test' since C++ has no external packs depending on MaD testing.
|
2025-04-20 16:49:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
9cba91c682
|
C++: Add another entry to 'qlpack' for external models.
|
2025-04-20 16:48:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
1f43e51be4
|
C++: Fix ql-for-ql findings.
|
2025-04-20 16:48:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
09ebd6e87d
|
C++: Instantiate inline expectation test framework to test model generation.
|
2025-04-20 16:48:45 +01:00 |
|
Jeroen Ketema
|
0bcee84117
|
C++: Minor textual fixes
|
2025-04-17 12:33:27 +02:00 |
|
idrissrio
|
15fe2fbba6
|
C++: update stats file
|
2025-04-16 20:45:33 +02:00 |
|
idrissrio
|
36a425715c
|
C++: add upgrade and downgrade scripts
|
2025-04-16 17:07:25 +02:00 |
|
idrissrio
|
d8afd2a786
|
C++: add change note for designator-based initializations
|
2025-04-16 16:23:32 +02:00 |
|
idrissrio
|
49183bb82a
|
C++: add predicate to distinguish between array/field designators
|
2025-04-16 16:19:26 +02:00 |
|
Ian Lynagh
|
bdd3207752
|
Merge branch 'main' into post-release-prep/codeql-cli-2.21.1
|
2025-04-16 11:54:23 +01:00 |
|
github-actions[bot]
|
d78736b1bf
|
Post-release preparation for codeql-cli-2.21.1
|
2025-04-15 16:33:15 +00:00 |
|
idrissrio
|
202040fad4
|
C++: update stats file
|
2025-04-15 13:36:24 +02:00 |
|
idrissrio
|
ae07272c44
|
C++: add upgrade and downgrade scripts
|
2025-04-15 11:09:31 +02:00 |
|
idrissrio
|
15ba9e0c66
|
C++: add change note for VLAs
|
2025-04-15 11:06:19 +02:00 |
|
idrissrio
|
033bade0ab
|
C++: add isVLA() to ArrayType to identify variable-length arrays
|
2025-04-15 11:03:26 +02:00 |
|