Mathias Vorreiter Pedersen
|
0acef590b1
|
C++: Add more MaD models.
|
2024-12-10 18:29:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
c5bb907fe0
|
C++: Also handle varargs in MaD parsing.
|
2024-12-10 18:25:56 +00:00 |
|
Mathias Vorreiter Pedersen
|
c604c44a55
|
C++: Add CStringT model and accept tests.
|
2024-12-10 18:22:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
ba0ba15e88
|
C++: Add CSimpleStringT model and accept tests.
|
2024-12-10 18:13:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
0f5786e4e6
|
Merge pull request #18251 from MathiasVP/fix-uncertain-array-writes
C++: Consider writes to arrays as uncertain
|
2024-12-10 12:38:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
1266b244f5
|
Merge pull request #18136 from MathiasVP/model-active-template-library
C++: Model Microsoft's "Active Template Library"
|
2024-12-09 16:05:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
9bcdfb6d01
|
C++: VariableAddressInstructions with array types are not single-object types.
|
2024-12-09 15:06:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
8bdd10c0c2
|
C++: Fix spurious columns in 'CRegKey'.
|
2024-12-09 14:31:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
5f33733b6e
|
C++: Fix 'QueryValue' model.
|
2024-12-09 14:27:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
184dfc24b9
|
C++: Fix 'QueryStringValue' model.
|
2024-12-09 13:42:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
7f87a25768
|
C++: Fix 'QueryMultiStringValue' model.
|
2024-12-09 13:41:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
674dbce36d
|
C++: Add taint flow through 'CRegKey::Create'.
|
2024-12-09 13:38:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
d3dc318ba1
|
C++: Make 'GetValueAt' a value-preserving step.
|
2024-12-09 13:26:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
d735a1433b
|
C++: Also flow to the return value of 'operator='.
|
2024-12-09 13:24:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
59f4b3c0db
|
C++: Get rid of the model for 'Create'.
|
2024-12-06 15:58:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
3d0a2057f6
|
C++: Fix 'BSTRToArray' stub and MaD model.
|
2024-12-06 15:46:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
66de42c576
|
C++: Fix MaD row for 'operator&' on 'CComBSTR's.
|
2024-12-06 15:33:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
6388a9af95
|
C++: Delete duplicated MaD row.
|
2024-12-06 15:31:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
f7b55e05eb
|
C++: 'Attach' is value-preserving.
|
2024-12-06 15:30:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
904db38a5f
|
C++: Add missing space between type name and '&'.
|
2024-12-06 15:29:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
d0bf3b84e4
|
C++: Add missing MaD row for move constructor.
|
2024-12-06 15:27:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
c51153203b
|
C++: Fix two bad joins that happen in 'UnboundedWrite' on #18207.
|
2024-12-06 15:10:08 +00:00 |
|
REDMOND\brodes
|
3619b01ace
|
Merge branch 'brodes/seh_flow_phase2_splitting_seh_edges' of https://github.com/microsoft/codeql into brodes/seh_flow_phase2_splitting_seh_edges
|
2024-12-05 10:50:17 -05:00 |
|
REDMOND\brodes
|
48c86979f0
|
Deleting unused predicate.
|
2024-12-05 10:50:06 -05:00 |
|
Ben Rodes
|
3115833847
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:49:33 -05:00 |
|
Ben Rodes
|
6cbaa73d58
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:40 -05:00 |
|
Ben Rodes
|
1fbd75fee3
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:34 -05:00 |
|
Ben Rodes
|
e9ccf37d4d
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:23 -05:00 |
|
Ben Rodes
|
008d58b425
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:16 -05:00 |
|
Ben Rodes
|
ca6d3b0038
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:00 -05:00 |
|
REDMOND\brodes
|
57fc3fbfe3
|
Switching from isSeh bools to sublcassed ExceptionEdge.
|
2024-12-05 10:10:56 -05:00 |
|
REDMOND\brodes
|
defa8696d3
|
Merge remote-tracking branch 'mathiasvp/final-alias-edge-kind' into brodes/seh_flow_phase2_splitting_seh_edges
# Conflicts:
# cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
|
2024-12-05 09:35:13 -05:00 |
|
Mathias Vorreiter Pedersen
|
667abb19d7
|
C++: Expose a final alias instead of the abstract class.
|
2024-12-05 13:13:44 +00:00 |
|
github-actions[bot]
|
cf71a1525b
|
Post-release preparation for codeql-cli-2.20.0
|
2024-12-04 18:36:17 +00:00 |
|
Ben Rodes
|
779376e281
|
Merge branch 'main' into brodes/seh_flow_phase2_splitting_seh_edges
|
2024-12-04 13:30:21 -05:00 |
|
REDMOND\brodes
|
cc43bb1969
|
Merge branch 'brodes/seh_flow_phase1_throwing_models' into brodes/seh_flow_phase2_splitting_seh_edges
|
2024-12-04 13:28:21 -05:00 |
|
github-actions[bot]
|
96564b7128
|
Release preparation for version 2.20.0
|
2024-12-04 16:01:14 +00:00 |
|
Henry Mercer
|
963f084d87
|
Merge branch 'main' into henrymercer/merge-back-rc-3.16
|
2024-12-04 13:39:10 +00:00 |
|
Jeroen Ketema
|
9c4030ed45
|
Merge pull request #18014 from microsoft/brodes/seh_flow_phase1_throwing_models
Brodes/seh flow phase1 throwing models
|
2024-12-04 13:55:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
279a30c7e8
|
C++: Make 'SetAt' a value-preserving step.
|
2024-12-04 12:52:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
c7dee4b020
|
C++: Remove more taint to POSITIONs.
|
2024-12-04 12:52:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
9dc3aecf67
|
C++: Remove more taint to POSITIONs.
|
2024-12-04 12:48:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
de75e033be
|
C++: Remove taint to POSITIONs.
|
2024-12-04 12:46:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
c3086d4ecd
|
C++: Fix models and accept test changes.
|
2024-12-03 19:13:00 +00:00 |
|
Anders Schack-Mulligen
|
a66de28d8e
|
C++: Remove references to the deleted api.
|
2024-12-03 20:08:32 +01:00 |
|
Anders Schack-Mulligen
|
cca27e4c77
|
Add change notes for all languages.
|
2024-12-03 19:42:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
2c58279137
|
C++: Add QLDoc to 'isClassConstructedFrom' and 'isFunctionConstructedFrom'.
|
2024-12-03 17:52:29 +00:00 |
|
REDMOND\brodes
|
e6641e7630
|
Code and comment simplifications
|
2024-12-03 11:06:08 -05:00 |
|
Anders Schack-Mulligen
|
8ea973f838
|
C++: Update use of deleted api.
|
2024-12-03 15:20:07 +01:00 |
|
Anders Schack-Mulligen
|
371a11e6da
|
C++: Delete deprecated data flow api.
|
2024-12-03 14:52:14 +01:00 |
|