Tom Hvitved
|
b11b091559
|
C#: Adapt to changes in FlowSummaryImpl
|
2026-01-26 12:39:38 +01:00 |
|
Michael Nebel
|
7ff1c12e8f
|
C#: Add some more tests.
|
2026-01-19 13:17:47 +01:00 |
|
Michael Nebel
|
ab432ec2e9
|
C#: Update test expected output.
|
2026-01-16 11:54:04 +01:00 |
|
Michael Nebel
|
f0135e93c5
|
C#: Add a tests for MaybeNullExpr.
|
2026-01-16 11:54:01 +01:00 |
|
Michael Nebel
|
b061c4d083
|
C#: Update test expected output.
|
2026-01-16 11:53:55 +01:00 |
|
Michael Nebel
|
2e208045d4
|
C#: Update test expected output.
|
2026-01-06 10:20:41 +01:00 |
|
Michael Nebel
|
5299b356a9
|
C#: Update models test expected output.
|
2026-01-06 09:46:34 +01:00 |
|
Michael Nebel
|
bbec35bcb1
|
C#: Update flow summaries test expected output.
|
2026-01-05 15:26:48 +01:00 |
|
Michael Nebel
|
a671810edf
|
C#: Update test options files to point to the new stubs versions.
|
2026-01-05 15:23:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
f30ebab528
|
C#: Add implicit reads of System.Collections.Generic.KeyValuePair`2.Value at taint sinks.
|
2025-12-12 11:08:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
b499661c05
|
C#: Slightly refactor 'CollectionFlow' tests to add a taint-flow test.
|
2025-12-12 11:06:01 +00:00 |
|
Tom Hvitved
|
adac3926a1
|
C#: Remove PreSsa library
|
2025-12-11 14:17:12 +01:00 |
|
Michael Nebel
|
d97b9f532a
|
C#: Update example to use a type that calls an implicit (library) conversion operator.
|
2025-12-11 12:19:16 +01:00 |
|
Anders Schack-Mulligen
|
7e4e872430
|
C#: Accept expected changes.
|
2025-12-02 13:49:16 +01:00 |
|
Anders Schack-Mulligen
|
541dce4d17
|
C#: Accept PrintAst index shift.
|
2025-12-02 13:49:16 +01:00 |
|
Anders Schack-Mulligen
|
4f6528a9fb
|
C#: Deprecate AbstractValue.
|
2025-10-31 14:23:23 +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 |
|
Tom Hvitved
|
2577452849
|
C#: Add neutral model for System.ComponentModel.PropertyDescriptor.GetValue
|
2025-10-12 09:06:54 +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
|
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 |
|
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
|
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
|
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
|
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 |
|
Michael Nebel
|
f4105ee4af
|
Merge pull request #19089 from michaelnebel/csharp/improvestringinterpolation
C#: Extract string interpolation alignment and format.
|
2025-04-01 13:40:15 +02:00 |
|
Michael Nebel
|
2f16e3a0c0
|
C#: Update flowsummaries test expected output.
|
2025-04-01 08:32:43 +02:00 |
|
Michael Nebel
|
1c93e53fb7
|
Merge pull request #19142 from microsoft/csharp-update-MaD-Uri-upstream
csharp update MaD for System.Uri
|
2025-03-31 08:32:52 +02:00 |
|
Anders Schack-Mulligen
|
0c74f21107
|
Merge pull request #19044 from aschackmull/ssa/useuse-trim
Ssa: Trim the use-use relation to skip irrelevant nodes
|
2025-03-28 11:55:34 +01:00 |
|
Lindsay Simpkins
|
209f2f0713
|
csharp update MaD for System.Uri
|
2025-03-27 23:41:55 -04:00 |
|
Tom Hvitved
|
023ffe22a0
|
C#: Make getPreUpdateNode Unique Again
|
2025-03-26 14:42:00 +01:00 |
|
Anders Schack-Mulligen
|
b3bea97320
|
C#: Accept test changes.
|
2025-03-25 12:31:03 +01:00 |
|
Michael Nebel
|
5ae7e5ddb3
|
C#: Update other test expected output files.
|
2025-03-21 13:23:11 +01:00 |
|
Anders Schack-Mulligen
|
f0993fc97e
|
C#: Switch test to use dedicated test module.
|
2025-03-04 12:24:22 +01:00 |
|
Anders Schack-Mulligen
|
ae3736bc25
|
C#: Accept test changes showing that we skip over useless input nodes.
|
2025-02-25 10:37:29 +01:00 |
|
Lindsay Simpkins
|
c45f13c219
|
Merge branch 'main' into csharp-update-MaD-upstream
|
2025-02-11 14:04:34 -05:00 |
|
Michael Nebel
|
5d72b29fe9
|
C#: Update flow summaries test expected output.
|
2025-02-11 13:42:46 +01:00 |
|
Lindsay Simpkins
|
05434804ba
|
csharp update MaD UriBuilder
|
2025-02-10 17:54:58 -05:00 |
|
Lindsay Simpkins
|
513a39b9f1
|
csharp MaD UriBuilder remove unnecessary getters/setters
|
2025-02-10 17:06:40 -05:00 |
|