Anders Schack-Mulligen
|
4f6528a9fb
|
C#: Deprecate AbstractValue.
|
2025-10-31 14:23:23 +01:00 |
|
Anders Schack-Mulligen
|
900d0d2477
|
C#: Accept test changes for assert split removal.
|
2025-10-29 15:17:34 +01:00 |
|
Anders Schack-Mulligen
|
cbfb8fd110
|
C#: Accept some test changes.
|
2025-10-29 13:03:50 +01:00 |
|
Anders Schack-Mulligen
|
7241bedf05
|
C#: Replace Guards with the new implementation.
|
2025-10-29 13:03:50 +01:00 |
|
Anders Schack-Mulligen
|
e3fc3192ac
|
C#: Remove tests referencing impliesStep.
|
2025-10-29 13:02:06 +01:00 |
|
Anders Schack-Mulligen
|
ebb50cd402
|
C#: Accept qltest changes.
|
2025-10-23 12:48:44 +02:00 |
|
Anders Schack-Mulligen
|
8a3f62b9b6
|
Merge pull request #20558 from aschackmull/csharp/guards3
C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness
|
2025-10-23 08:43:14 +02:00 |
|
Anders Schack-Mulligen
|
da0b168b2e
|
Merge pull request #20627 from hvitved/csharp/property-descriptor-get-value-neutral
C#: Add neutral model for `System.ComponentModel.PropertyDescriptor.GetValue`
|
2025-10-14 13:31:40 +02:00 |
|
Tom Hvitved
|
2577452849
|
C#: Add neutral model for System.ComponentModel.PropertyDescriptor.GetValue
|
2025-10-12 09:06:54 +02:00 |
|
Michael Nebel
|
e8fd843e52
|
C#: Update some tuple related tests.
|
2025-10-09 16:33:47 +02:00 |
|
Michael Nebel
|
02428fc467
|
C#: Add some location examples for constructors, destructors and operators.
|
2025-10-09 14:13:24 +02:00 |
|
Michael Nebel
|
f200c3ce85
|
C#: Add field location example.
|
2025-10-09 14:04:10 +02:00 |
|
Michael Nebel
|
b9eae31172
|
C#: Add parameter locations test.
|
2025-10-09 14:04:08 +02:00 |
|
Michael Nebel
|
eb84b1441a
|
C#: Add some locations tests for type parameters and tuple types.
|
2025-10-07 15:26:33 +02:00 |
|
Michael Nebel
|
b362b4657f
|
C#: Add some examples with nested types.
|
2025-10-06 16:40:13 +02:00 |
|
Michael Nebel
|
7b61a5fffa
|
C#: Update some test expected output that uses the location of the implicit constructor.
|
2025-10-06 14:02:17 +02:00 |
|
Michael Nebel
|
0ba9b80d08
|
C#: Add some more partial class related tests.
|
2025-10-06 14:02:15 +02:00 |
|
Michael Nebel
|
b5592ad42f
|
C#: Add partial class example.
|
2025-10-06 14:02:12 +02:00 |
|
Michael Nebel
|
f2b45b8726
|
C#: Add type locations test.
|
2025-10-06 14:02:07 +02:00 |
|
Anders Schack-Mulligen
|
613c789378
|
C#: Remove some obsolete tests.
|
2025-10-03 15:29:36 +02:00 |
|
Anders Schack-Mulligen
|
b392767252
|
C#: Accept qltest changes.
|
2025-10-03 15:29:35 +02:00 |
|
Anders Schack-Mulligen
|
6cfadbfe90
|
C#: Clean up.
|
2025-10-03 15:29:33 +02:00 |
|
Michael Nebel
|
018ccb3354
|
C#: Update locations test expected output.
|
2025-09-30 11:33:28 +02:00 |
|
Michael Nebel
|
b2cbac3250
|
C#: Temporarily update the test expected file.
|
2025-09-30 11:33:23 +02:00 |
|
Michael Nebel
|
5843fdbdd8
|
C#: Add a locations example.
|
2025-09-30 11:33:17 +02:00 |
|
Anders Schack-Mulligen
|
f833fe0e6e
|
Merge pull request #20300 from aschackmull/cfg/successortype
Shared: Add a shared SuccessorType implementation
|
2025-09-02 14:09:35 +02:00 |
|
Michael Nebel
|
55dd098307
|
C#: Address review comments.
|
2025-09-01 15:43:49 +02:00 |
|
Michael Nebel
|
525c095287
|
C#: Update expected test output.
|
2025-09-01 15:43:46 +02:00 |
|
Michael Nebel
|
8a480b6be1
|
C#: Update test expected output.
|
2025-09-01 15:43:42 +02:00 |
|
Michael Nebel
|
1d35bd1a59
|
C#: Update expected test output.
|
2025-09-01 15:43:38 +02:00 |
|
Anders Schack-Mulligen
|
c1662cf05c
|
C#/Ruby: Accept qltest changes.
Mostly toString changes, and a slight change to
splitting in C#.
|
2025-09-01 12:56:07 +02:00 |
|
Anders Schack-Mulligen
|
8b50ac291f
|
C#: Use shared SuccessorType.
|
2025-09-01 12:53:24 +02:00 |
|
Tom Hvitved
|
aa604425a5
|
Merge pull request #20305 from hvitved/csharp/dataflow-base-non-exact-type
C#: Fix context-sensitive dispatch when using `base` qualifier
|
2025-09-01 09:20:15 +02:00 |
|
Tom Hvitved
|
aa3f4e1eca
|
C#: Fix context-sensitive dispatch when using base qualifier
|
2025-08-28 13:24:47 +02:00 |
|
Tom Hvitved
|
c2bb3797b0
|
C#: Add data flow test
|
2025-08-28 11:57:03 +02:00 |
|
Michael Nebel
|
73ce2a2f57
|
C#: Convert Blazor test to use pretty print models processing.
|
2025-08-28 11:46:08 +02:00 |
|
Michael Nebel
|
be123cf2bc
|
C#: Update test expected output.
|
2025-08-25 14:52:41 +02:00 |
|
Michael Nebel
|
1d25a20c9c
|
C#: Update the external flow test and expected test output.
|
2025-08-18 12:56:12 +02:00 |
|
Michael Nebel
|
abd0b2e2f9
|
C#: Update test expected output.
|
2025-08-18 12:56:10 +02:00 |
|
Michael Nebel
|
d8215a35c0
|
C#: Add example of failing taint flow for collections in sinks.
|
2025-08-18 12:56:07 +02:00 |
|
Michael Nebel
|
eba901f610
|
C#: Update flow summaries expected output.
|
2025-07-16 08:41:55 +02:00 |
|
Michael Nebel
|
8603d76e2a
|
C#: Update flowsummaries expected test file.
|
2025-05-14 10:28:22 +02:00 |
|
Michael Nebel
|
60d26e522e
|
C#: Cleanup test options files.
|
2025-05-12 17:36:08 -04:00 |
|
Michael Nebel
|
82cf472f8a
|
C#: Fix ASP tests.
|
2025-05-12 17:33:22 -04:00 |
|
Michael Nebel
|
ffd6b2677c
|
C#: Cleanup test options files.
|
2025-05-12 17:33:21 -04:00 |
|
Sid Gawri
|
4e3ac93f70
|
fix unit tests part 2
|
2025-05-09 16:24:42 -04:00 |
|
Tom Hvitved
|
e79a906426
|
C#: Fix CFG for fall-through switch statements
|
2025-04-25 11:48:30 +02:00 |
|
Tom Hvitved
|
a991ef0f87
|
C#: Add a CFG test for switch fall-through
|
2025-04-25 10:32:48 +02:00 |
|
Michael Nebel
|
22ae3e7992
|
C#: Update string format item parameter expected test case.
|
2025-04-24 08:54:48 +02:00 |
|
Tamás Vajk
|
befc2fd7c1
|
Merge pull request #19145 from tamasvajk/tamasvajk/blazor/parameter-passing-jumpnode-2
C#: Blazor: Support string literals as property names in jump nodes
|
2025-04-03 10:07:59 +02:00 |
|