Jeroen Ketema
|
438cc961da
|
C++: Document TranslatedSizeofExpr
|
2025-09-02 12:29:21 +02:00 |
|
Jeroen Ketema
|
8a7553232f
|
C++: Add more sizeof VLA tests
|
2025-09-02 12:29:19 +02:00 |
|
Jeroen Ketema
|
f68d3477d4
|
C++: Output necessary conversions in the sizeof VLA IR
|
2025-09-02 12:29:17 +02:00 |
|
Jeroen Ketema
|
f0f66c6d58
|
C++: Minor refactor
* Introduce new instruction tag for the base size
* Introduce some convenience predicates on `VlaDeclStmt`
|
2025-09-02 12:29:15 +02:00 |
|
Jeroen Ketema
|
6a9324fab0
|
C++: Fix obtaining the base type of a VLA
|
2025-09-02 12:29:13 +02:00 |
|
Jeroen Ketema
|
ffbc83deeb
|
C++: Update expected test results
|
2025-09-02 12:29:10 +02:00 |
|
Jeroen Ketema
|
6e8f44da42
|
C++: Handle sizeof VLAs with typedefs
|
2025-09-02 12:29:09 +02:00 |
|
Jeroen Ketema
|
74f5687660
|
C++: Update expected test results
|
2025-09-02 12:29:07 +02:00 |
|
Jeroen Ketema
|
fdab63fd5f
|
C++: Handle ArrayExprs in sizeof VLAs
|
2025-09-02 12:29:04 +02:00 |
|
Jeroen Ketema
|
5bd08e8174
|
C++: Add more sizeof VLA tests
|
2025-09-02 12:29:02 +02:00 |
|
Jeroen Ketema
|
dc78330529
|
C++: Update expected test results
|
2025-09-02 12:29:00 +02:00 |
|
Jeroen Ketema
|
d9320b3c16
|
C++: Support sizeof VLAs in the IR
|
2025-09-02 12:28:59 +02:00 |
|
Jeroen Ketema
|
60845001dd
|
C++: Add sizeof VLA IR test cases
|
2025-09-02 12:28:56 +02:00 |
|
Anders Schack-Mulligen
|
144e34c669
|
Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.
|
2025-09-01 13:43:32 +02:00 |
|
Anders Schack-Mulligen
|
70a871c1e5
|
Merge pull request #20253 from aschackmull/shared/basicblock-signature2
Shared: Add and use a signature for basic blocks
|
2025-09-01 12:39:33 +02:00 |
|
Jeroen Ketema
|
93f4721418
|
Merge pull request #20316 from jketema/stats
C++: Update dbscheme stats file
|
2025-09-01 11:54:43 +02:00 |
|
Anders Schack-Mulligen
|
09b2c5abf0
|
BasicBlock: Replace entryBlock predicate with subclass.
|
2025-09-01 11:48:44 +02:00 |
|
Anders Schack-Mulligen
|
6ffb9b129f
|
C++: Extend final IRBlock
|
2025-09-01 11:26:36 +02:00 |
|
Anders Schack-Mulligen
|
a7b2a2fa9f
|
C++: Sync files.
|
2025-09-01 11:26:35 +02:00 |
|
Anders Schack-Mulligen
|
f459ddc40a
|
Languages: Adapt to api changes.
|
2025-09-01 11:26:33 +02:00 |
|
Anders Schack-Mulligen
|
bb3abc815f
|
SSA: Update input to use member predicates.
|
2025-09-01 11:19:48 +02:00 |
|
Jeroen Ketema
|
b361b0f3c3
|
Merge pull request #20310 from MathiasVP/add-comptr-model-now-with-more-models
C++: Add `ComPtr` conversion operators
|
2025-08-29 16:45:39 +02:00 |
|
Jeroen Ketema
|
277f5efa9c
|
C++: Update dbscheme stats file
|
2025-08-29 11:13:59 +02:00 |
|
Jeroen Ketema
|
6b580ac12d
|
C++: Update expected test results
|
2025-08-29 10:57:03 +02:00 |
|
Jeroen Ketema
|
a145e52faf
|
C++: Add uninitialized local test
|
2025-08-29 10:55:10 +02:00 |
|
REDMOND\brodes
|
74ce7cd188
|
Crypto: Moving all data flow analyses to taint tracking.
|
2025-08-28 20:40:05 -04:00 |
|
Jeroen Ketema
|
b8917c8c19
|
Merge branch 'main' into add-comptr-model-now-with-more-models
|
2025-08-28 17:15:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
b9cd7a80f9
|
C++: Fix conflation in models.
|
2025-08-28 17:10:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
759e339444
|
C++: Add change note.
|
2025-08-28 17:02:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
ddf0f37dac
|
C++: Accept test changes.
|
2025-08-28 16:58:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
e59de9a3d6
|
C++: Add models for the remaining member functions (and conversions) in ComPtr.
|
2025-08-28 16:56:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
3e78572a3a
|
C++: Drive-by fix: Add missing '@'.
|
2025-08-28 16:54:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
f135ed957d
|
C++: Add testcases with missing model.
|
2025-08-28 16:54:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
2c2b1e4116
|
Merge pull request #20306 from MathiasVP/fix-new-initializer-bug
C++: Fix IR construction for implicit conversions in `new` initializers
|
2025-08-28 16:40:37 +02:00 |
|
Jeroen Ketema
|
1847a450cc
|
Merge pull request #20298 from jketema/pch-expose
C++: Add class representing PCH files
|
2025-08-28 15:33:20 +02:00 |
|
Jeroen Ketema
|
31126649a9
|
Update cpp/ql/lib/semmle/code/cpp/PchFile.qll
Co-authored-by: Idriss Riouak <idrissrio@github.com>
|
2025-08-28 13:10:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
4116292888
|
C++: Accept test changes.
|
2025-08-28 12:13:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
2033552bb2
|
C++: Handle conversions in new initializers.
|
2025-08-28 12:13:02 +02:00 |
|
Mathias Vorreiter Pedersen
|
d0e766da3e
|
C++: Add a testcase with invalid IR.
|
2025-08-28 12:06:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
bebfe03166
|
C++: Add missing model and accept test changes.
|
2025-08-27 15:15:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
8c07a3e552
|
C++: Add testcase with missing model.
|
2025-08-27 15:12:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
7c05622a91
|
C++: Add missing type and accept test changes.
|
2025-08-27 14:41:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
96b6986660
|
C++: Fix duplicated entries.
|
2025-08-27 14:35:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
9e9f6dd11a
|
C++: Accept test changes.
|
2025-08-27 14:18:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
246ed9d30b
|
C++: Add a model for ComPtr.
|
2025-08-27 14:18:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
6f64129b04
|
C++: Add ComPtr tests.
|
2025-08-27 14:05:13 +02:00 |
|
Jeroen Ketema
|
fd752d36cb
|
C++: Add missing QLDoc
|
2025-08-27 13:48:10 +02:00 |
|
Jeroen Ketema
|
97d3982061
|
C++: Add change note
|
2025-08-27 13:42:46 +02:00 |
|
Jeroen Ketema
|
9b19ccf884
|
C++: Update dbscheme stats file
|
2025-08-27 12:52:26 +02:00 |
|
REDMOND\brodes
|
7c8177de97
|
Crypto: Added missing ArtifactPassthrough.qll (forgot to add to merged in branch). Acronym casing fix.
|
2025-08-26 17:12:21 -04:00 |
|