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 |
|
Tom Hvitved
|
012ea4bbf1
|
Merge pull request #18113 from hvitved/dataflow/more-common
Data flow: Move more logic into `DataFlowImplCommon`
|
2024-12-02 12:38:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
3c0af498db
|
C++: Fix bug introduced in an earlier commit and accept test changes. They all look good.
|
2024-11-27 19:04:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
d69de0cc76
|
C++: Add a MaD model for 'CRegKey' and mark query calls as local flow sources.
|
2024-11-27 16:41:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
33212da876
|
C++: Add a MaD model for 'CAtlTemporaryFile' and mark reads as local flow sources.
|
2024-11-27 16:41:53 +00:00 |
|
Mathias Vorreiter Pedersen
|
3709151353
|
C++: Add a MaD model for 'CAtlFileMappingBase' and mark reads as local flow sources.
|
2024-11-27 16:41:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
74eae4a18d
|
C++: Add a MaD model for 'CAtlFile' and mark reads as local flow sources.
|
2024-11-27 16:41:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
300e3eaba6
|
C++: Add MaD model for 'CUrl'.
|
2024-11-27 16:41:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
74b6c9dcc7
|
C++: Add MaD model for 'CSimpleMap'.
|
2024-11-27 16:41:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
02b88d5dbd
|
C++: Add MaD model for 'CSimpleArray'.
|
2024-11-27 16:41:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
c61395b973
|
C++: Add implicit read of the 'm_strPath' member.
|
2024-11-27 16:41:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
354361952a
|
C++: Add MaD model for 'CPathT'.
|
2024-11-27 16:41:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
5f05417890
|
C++: Add MaD model for 'CComSafeArray'.
|
2024-11-27 16:41:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
948be09257
|
C++: Add an taint step from object to field for 'CComBSTR's.
|
2024-11-27 16:41:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
9b004848a3
|
C++: Add MaD model for 'CComBSTR'.
|
2024-11-27 16:41:30 +00:00 |
|
Mathias Vorreiter Pedersen
|
2b8ef5a8c8
|
C++: Add MaD model for 'CAtlList'.
|
2024-11-27 16:41:27 +00:00 |
|
Mathias Vorreiter Pedersen
|
0f8df1cd9f
|
C++: Add MaD model for 'CAtlArray'.
|
2024-11-27 16:41:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
c00f84d74a
|
C++: Work around the 'wrong' function name for conversion operators.
|
2024-11-27 16:41:20 +00:00 |
|
Mathias Vorreiter Pedersen
|
763b991408
|
C++: Add models.
|
2024-11-27 16:41:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
f688470324
|
C++: Since isConstructedFrom only holds for templates we need to explicitly handle the case where the function (or class) is not a template.
|
2024-11-27 16:41:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
bf36f00bb0
|
C++: Add model. Observe that flow still fails.
|
2024-11-27 15:49:41 +00:00 |
|
Tom Hvitved
|
7402276ec7
|
Data flow: Move more logic into DataFlowImplCommon
|
2024-11-27 09:03:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
e42c7452ef
|
C++: Cleanup conjuncts. This doesn't change any behavior.
|
2024-11-26 13:57:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
f7cf5af720
|
C++: Actually check the function name.
|
2024-11-26 13:56:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
8fd581dd7e
|
Merge pull request #18093 from MathiasVP/more-win32-command-execution-functions
C++: Add more `CommandExecutionFunction`s
|
2024-11-25 15:26:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
03ab74e07d
|
C++: Add more 'CommandExecutionFunction's.
|
2024-11-25 13:43:20 +00:00 |
|