Mathias Vorreiter Pedersen
|
0f49ba848d
|
C++: Accept test changes. Nothing exciting to see here.
|
2024-12-09 16:04:46 +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
|
db86f6aaf9
|
C++: Fix annotation.
|
2024-12-09 13:32:22 +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 |
|
Jeroen Ketema
|
fb5aa97077
|
Merge pull request #18239 from jketema/typo
C++: Fix word duplication in change note
|
2024-12-09 10:55:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
41425b157f
|
C++: Add test with missing flow.
|
2024-12-08 23:47:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
8a6c52967d
|
Merge pull request #18233 from MathiasVP/fix-join-order-in-barrier-guards
C++: Fix two bad joins in barrier guards
|
2024-12-06 19:13:51 +00:00 |
|
Jeroen Ketema
|
3a3eb001e3
|
C++: Fix word duplication in change note
|
2024-12-06 19:53:06 +01:00 |
|
Jeroen Ketema
|
ee8ce1c84d
|
Merge pull request #18222 from github/calumgrant/bmn/badly-bounded-write
C++: Fix FPs in cpp/badly-bounded-write caused by extraction errors
|
2024-12-06 19:50:06 +01:00 |
|
Calum Grant
|
fa123a7215
|
Merge pull request #18200 from github/calumgrant/bmn/wrong-type-format-args2
C++: Fix more FPs with extraction errors on cpp/wrong-type-format-arguments
|
2024-12-06 17:50:56 +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 |
|
Calum Grant
|
e98129c402
|
Update cpp/ql/src/change-notes/2024-12-05-badly-bounded-write.md
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-06 15:36:24 +00:00 |
|
Calum Grant
|
5aa604b42c
|
Update cpp/ql/src/change-notes/2024-12-05-wrong-type-format-args.md
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-06 15:34:57 +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 |
|
Calum Grant
|
d38975bb99
|
C++: Use getType() instead of getUnderlyingType()
|
2024-12-06 13:07:58 +00:00 |
|
Calum Grant
|
defa4cc19f
|
Merge pull request #18194 from github/calumgrant/bmn/wrong-number-format-arguments2
C++: Fix a FP in cpp/wrong-number-format-arguments caused by an extraction error
|
2024-12-06 10:14:06 +00:00 |
|
Calum Grant
|
2cd4e1af9f
|
C++: Use Expr.stripType()
|
2024-12-06 09:55:05 +00:00 |
|
Calum Grant
|
2da3d36092
|
C++: Change note
|
2024-12-06 09:36:51 +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 |
|
Calum Grant
|
12b4c0a2dd
|
C++: Change note
|
2024-12-05 15:40:50 +00:00 |
|
Calum Grant
|
7aed4c3cbf
|
C++: Change note
|
2024-12-05 15:13:38 +00:00 |
|
REDMOND\brodes
|
57fc3fbfe3
|
Switching from isSeh bools to sublcassed ExceptionEdge.
|
2024-12-05 10:10:56 -05:00 |
|
Calum Grant
|
b7f47f752b
|
C++: Remove FPs from cpp/badly-bounded-write
|
2024-12-05 14:37:19 +00: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 |
|
Calum Grant
|
fd7469848e
|
C++: Test case for cpp/badly-bounded-write
|
2024-12-05 13:16:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
667abb19d7
|
C++: Expose a final alias instead of the abstract class.
|
2024-12-05 13:13:44 +00:00 |
|
Jeroen Ketema
|
65a4dc31c1
|
Merge pull request #18213 from MathiasVP/fix-join-order-in-guarded-free
C++: Fix a join-order problem that happens on #18207
|
2024-12-05 10:39:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
6fd9e19673
|
C++: Fix a join-order problem that happens on #18207.
|
2024-12-04 20:10:45 +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 |
|