Sid Gawri
|
7231f53b6e
|
revert system.net stubs
|
2025-05-05 21:59:37 -04:00 |
|
Sid Gawri
|
d600eb42cf
|
add new stubs
|
2025-05-02 17:25:02 -04:00 |
|
Mathias Vorreiter Pedersen
|
bce5f2539f
|
C++/C#/Java/Rust: Fixup tests.
|
2025-05-02 16:52:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
4d2f2b89e7
|
Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.
|
2025-05-02 14:02:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5bc95daeb
|
Merge branch 'main' into generate-more-value-preserving-summaries-2
|
2025-05-02 10:51:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
cd47379700
|
C#: Fixup queries and accept test changes.
|
2025-04-30 20:34:30 +01:00 |
|
Michael Nebel
|
0016fbfa21
|
C#: Re-factor implementation to use the new model generator interface.
|
2025-04-29 15:22:05 +02:00 |
|
Michael Nebel
|
8857f0d0f2
|
Merge pull request #19311 from michaelnebel/csharp/generatorcleanup
Shared: Model generator cleanup.
|
2025-04-28 10:36:05 +02:00 |
|
Michael Nebel
|
1d6c367049
|
C#: Change the capture neutral model test to use the content/heuristic version instead.
|
2025-04-25 15:49:55 +02:00 |
|
Michael Nebel
|
539a06dcb4
|
C#: Re-factor the heuristic summary test to use heuristic-summary tag in tests.
|
2025-04-25 15:49:53 +02:00 |
|
Michael Nebel
|
da99c75a13
|
C#: Rename some of the model generator tests.
|
2025-04-25 15:49:51 +02:00 |
|
Michael Nebel
|
7801fc321d
|
C#: Re-factor tests to use the new implementations.
|
2025-04-25 15:49:49 +02: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
|
65ac951964
|
C#: Remove all Sink tags after rebase.
|
2025-04-24 08:54:53 +02:00 |
|
Michael Nebel
|
dcf11c2d4b
|
C#: Match up sources, alerts and sinks in the tests.
|
2025-04-24 08:54:51 +02:00 |
|
Michael Nebel
|
22ae3e7992
|
C#: Update string format item parameter expected test case.
|
2025-04-24 08:54:48 +02:00 |
|
Michael Nebel
|
6de5920172
|
C#: Update test expected output.
|
2025-04-24 08:54:45 +02:00 |
|
Michael Nebel
|
930bb6b515
|
C#: Add FP for string.Format using params collection.
|
2025-04-24 08:54:42 +02:00 |
|
Michael Nebel
|
39abd5c004
|
C#: Update test expected output.
|
2025-04-24 08:54:40 +02:00 |
|
Michael Nebel
|
11dffc6647
|
C#: Add more invalid-string-formatting testcases.
|
2025-04-24 08:54:37 +02:00 |
|
Michael Nebel
|
8fb5fe97aa
|
C#: Update test expected output.
|
2025-04-24 08:54:36 +02:00 |
|
Michael Nebel
|
f73b7429c6
|
C#: Remove false positive example.
|
2025-04-24 08:54:33 +02:00 |
|
Michael Nebel
|
175e4ecb74
|
C#: Add more format testcases.
|
2025-04-24 08:54:31 +02:00 |
|
Michael Nebel
|
9cfd6e30b9
|
C#: Convert testing of cs/invalid-string-formatting to inline expectations and adjust some of the testcases.
|
2025-04-24 08:54:28 +02:00 |
|
Michael Nebel
|
f11aec3592
|
C#: Update test expected output.
|
2025-04-14 14:26:51 +02:00 |
|
Michael Nebel
|
2e7e276806
|
C#: Add test case for authorization attribute that extends Authorize.
|
2025-04-14 14:18:30 +02:00 |
|
Michael Nebel
|
8d571672e9
|
C#: Convert cs/missing-access-control to inline expectations test.
|
2025-04-14 13:54:43 +02:00 |
|
Michael Nebel
|
70a174ad5a
|
C#: Address review comments.
|
2025-04-04 11:47:46 +02:00 |
|
Michael Nebel
|
dd1fbd28be
|
C#: Add string interpolation examples to cs/useless-assignment-to-local.
|
2025-04-04 10:08:41 +02:00 |
|
Michael Nebel
|
2b88600f0f
|
C#: Re-factor cs/useless-assignment-to-local tests to use inline test framework.
|
2025-04-04 10:08:39 +02:00 |
|
Michael Nebel
|
5a4e0cea55
|
Merge pull request #19199 from michaelnebel/csharp/synctestfiles
C#: Accept file sync mismatch for C# testfiles.
|
2025-04-04 10:07:05 +02:00 |
|
Michael Nebel
|
79688efacb
|
Merge pull request #19194 from michaelnebel/csharp/enumsimpletype
C#: Extend simple type sanitizers with enums and `System.DateTimeOffset`.
|
2025-04-03 10:24:26 +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 |
|
Michael Nebel
|
16142a287a
|
C#: Add NoDisposeCallOnLocalIDisposableBad file and update test expected output.
|
2025-04-02 15:43:52 +02:00 |
|
Michael Nebel
|
2193bece90
|
C#: Update test expected output.
|
2025-04-02 15:30:48 +02:00 |
|
Michael Nebel
|
93d0f364d6
|
C#: Add ConstantConditionBad file.
|
2025-04-02 15:00:05 +02:00 |
|
Michael Nebel
|
d7f5ce2492
|
C#: Update log forging expected test output.
|
2025-04-02 11:21:07 +02:00 |
|
Michael Nebel
|
08159896f3
|
C#: Convert cs/log-forging tests to inline expectations.
|
2025-04-02 11:21:03 +02:00 |
|
Michael Nebel
|
60e3b4351a
|
C#: Fix simple types testcases.
|
2025-04-02 11:21:01 +02:00 |
|
Ian Roof
|
1d81c77fcd
|
C#: Enhanced LogForgingQuery to treat C# Enums as simple types.
|
2025-04-02 09:40:10 +02: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 |
|
Edward Minnix III
|
3d0a85b3cd
|
Add test case using string literal in property name
|
2025-03-28 16:04:37 +01:00 |
|
Tamás Vajk
|
342d4a6982
|
Merge pull request #19122 from tamasvajk/tamasvajk/blazor/parameter-passing-jumpnode
C#: Blazor: Add non-local jump node for parameter passing
|
2025-03-28 16:03:54 +01:00 |
|
Michael Nebel
|
00753a1fe4
|
C#: Address review comments.
|
2025-03-28 14:41:59 +01: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 |
|
Tom Hvitved
|
1a75c0506f
|
Merge pull request #19128 from hvitved/csharp/pre-update-unique
C#: Make `getPreUpdateNode` Unique Again
|
2025-03-28 09:19:27 +01:00 |
|
Lindsay Simpkins
|
209f2f0713
|
csharp update MaD for System.Uri
|
2025-03-27 23:41:55 -04:00 |
|