Michael Nebel
fc03c367e9
C#: Update expected test output.
2025-01-27 10:13:19 +01:00
Michael Nebel
5836c8d0ce
C#: Update expected test output for data flow tests.
2025-01-27 10:09:36 +01:00
Michael Nebel
dae5ca81a2
C#: Add dataflow examples for partial properties.
2025-01-27 10:09:35 +01:00
Michael Nebel
82f8a796e1
C#: Update all test util paths to point to the new location.
2024-12-12 13:21:31 +01:00
Anders Schack-Mulligen
4bf63fedc9
Merge pull request #18179 from aschackmull/dataflow/accesspath-notypes
...
Dataflow: Remove tracked types from Access Paths, track tainted object type, and tweak type pruning.
2024-12-05 09:58:36 +01:00
Mathias Vorreiter Pedersen
919405e586
C#: Support mixing dynamic properties and fields (instead of just properties) and accept test changes.
2024-12-03 19:36:42 +00:00
Mathias Vorreiter Pedersen
14c4d949d6
C#: Include tests with fields as well as properties.
2024-12-03 19:34:06 +00:00
Mathias Vorreiter Pedersen
4a2c02543c
C#: Accept test changes.
2024-12-03 17:34:57 +00:00
Mathias Vorreiter Pedersen
d22ef44f44
C#: Add tests with missing flow through dynamic members.
2024-12-03 17:27:59 +00:00
Anders Schack-Mulligen
9734cff15b
Java/C#: Update expected files.
2024-12-03 12:57:44 +01:00
Tom Hvitved
3395dc9e71
Merge pull request #16576 from hvitved/csharp/static-field-side-effect
...
C#: Add support for flow through side-effects on static fields
2024-08-13 14:16:28 +02:00
Tom Hvitved
69b581cc4d
C#: Update expected test output
2024-08-13 13:34:47 +02:00
Tom Hvitved
1bcac50db1
C#: Add support for flow through side-effects on static fields
2024-08-12 10:01:51 +02:00
Tom Hvitved
29c204bc61
C#: Add a data flow test for side effects on static fields
2024-08-12 10:01:48 +02:00
Rasmus Wriedt Larsen
2451a6d3f6
Accept .expected changes
2024-05-21 14:47:42 +02:00
Tom Hvitved
303a2bb63a
C#: Update expected test output
2024-02-22 21:04:55 +01:00
Michael Nebel
a0b44c0fc1
C#: Update other tests expected output.
2024-02-21 10:57:22 +01:00
Michael Nebel
86212b24ba
C#: Move constructor data flow tests to a separate folder.
2024-02-12 13:13:06 +01:00
Michael Nebel
afe3c5ea8d
C#: Re-arrange the code in constructor data flow test and update expected output.
2024-02-12 13:13:06 +01:00
Anders Schack-Mulligen
21a6520cd3
C#: Add empty provenance column to expected files.
2024-02-09 11:32:07 +01:00
Michael Nebel
551a7f9577
C#: Update expected test output.
2024-02-01 15:04:06 +01:00
Michael Nebel
4dfeff38f9
C#: Add dataflow field test for ref structs with ref and ordinary fields.
2024-02-01 15:04:06 +01:00
Jeroen Ketema
9d573e5544
Consolidate all InlineFlowTest libraries in the dataflow qlpack
2023-08-24 21:38:46 +02:00
Jeroen Ketema
b420455e2b
C#: Update InlineFlowTests to use the merged path graph
2023-06-19 10:28:54 +02:00
Jeroen Ketema
853bf2ae4e
C#: Rewrite InlineFlowTest as a parameterized module
2023-06-15 10:51:59 +02:00
Anders Schack-Mulligen
6025feebd9
C#: Update expected output.
2023-04-27 10:24:24 +02:00
Michael Nebel
9c5b8e2894
C#: Update expected output of tests using the inline flow test framework.
2023-04-12 11:15:15 +02:00
Michael Nebel
5c586c3afd
C#: Re-factor the InlineFlowTest framework.
2023-04-12 11:15:15 +02:00
Tom Hvitved
fa762d9952
C#: Fix flow steps into phi nodes
...
- Add missing flow from post-update nodes into phi nodes.
- Prevent flow from reads into phi nodes when use-use flow is prohibited.
2022-11-02 10:21:50 +01:00
Tom Hvitved
5b5dd07d60
C#: Add data flow test that illustrates issue with flow into phi nodes
2022-11-02 10:20:56 +01:00
Tamas Vajk
36c913061c
C#: Fix dataflow for default constructors
2022-08-09 07:46:27 +02:00
Tamas Vajk
1a92fc90e0
C#: Add test to demonstrate missing dataflow for default constructors
2022-08-09 07:46:27 +02:00
Michael Nebel
e804922a2c
C#: Add flow test case for with expressions on anonymous types.
2022-01-20 13:14:06 +01:00
Michael Nebel
97d9985e0b
C#: Add support for flow via object initializer for anonymous types.
2022-01-20 13:12:19 +01:00
Michael Nebel
76a0853f5b
C#: Add struct declaration and update line numbers for the existing test cases.
2022-01-20 10:23:57 +01:00
Michael Nebel
7d7ab58108
C#: Add flow test for record struct fields.
2022-01-20 09:58:02 +01:00
Michael Nebel
55f787bcae
Merge pull request #7605 from michaelnebel/csharp/record-struct
...
C#: Support for record structs
2022-01-19 10:39:52 +01:00
Anders Schack-Mulligen
7b98ca9b0a
C#: Adjust qltest expected output.
2022-01-18 10:36:52 +01:00
Michael Nebel
b927aad6ed
C#: Address review comments related to record structs.
2022-01-17 16:16:18 +01:00
Michael Nebel
746fd603d8
C#: Add flow summary test for record struct constructors.
2022-01-17 16:16:18 +01:00
Tom Hvitved
083214f85a
C#: Use inline test expectations for FieldFlow.ql
2021-10-14 15:22:21 +02:00
Anders Schack-Mulligen
f30dad7705
Dataflow: Update test expected outputs.
2021-09-07 13:02:20 +02:00
Tom Hvitved
6d6150d051
C#: Change some data-flow toString()s
2021-03-23 16:42:58 +01:00
Tamas Vajk
7761774f88
Add record .ctor to property data flow summary
2021-02-12 19:54:52 +01:00
Tom Hvitved
6a6644b5c2
C#: Adjust data-flow for with expressions
...
In `x with { Foo = bar }`, instead of having a single data-flow step
`x => x with { Foo = bar }`
we now have two steps:
`x => { Foo = bar }`
and
`{ Foo = bar } => x with { Foo = bar }`
Moreover, `clearsContent` now targets the object initializer instead of the
whole `with` expression, which means that it will only apply to values carried
over from the old object and not those explicitly stored into the new object.
2021-02-12 19:54:52 +01:00
Tamas Vajk
dd9b1d52b5
C#: Initial data-flow for with expressions
2021-02-12 19:54:52 +01:00
Tom Hvitved
d48a6a5555
C#: Update expected test output
2020-10-16 09:04:58 +02:00
Tom Hvitved
795c5784b0
C#: Precise data flow for collections
2020-06-26 13:40:05 +02:00
Tom Hvitved
3faca03de6
C#: Introduce ObjectInitializerNode
2020-06-23 10:55:12 +02:00
Tom Hvitved
a1d5591634
C#: Model field-clearing in data-flow
2020-06-23 10:55:11 +02:00
