Michael Nebel
|
b41758fb39
|
C#: Update summaries for Enumerable.DefaultIfEmpty to target elements in the return value.
|
2024-02-06 11:24:02 +01:00 |
|
Michael Nebel
|
4acce3276a
|
C#: Update FlowSummaries expected output test.
|
2024-02-02 14:47:45 +01:00 |
|
Michael Nebel
|
91d844316a
|
C#: Add some tests with expected output.
|
2024-02-02 14:47:45 +01:00 |
|
Michael Nebel
|
7f5d2e1f44
|
C#: Update flowsummaries expected output.
|
2024-02-02 14:47:44 +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 |
|
Henti Smith
|
16e62e6649
|
Merge pull request #15475 from github/henti/update_dotnet
Updated dotnet version to 8.0.101
|
2024-02-01 11:25:21 +00:00 |
|
Tom Hvitved
|
bfe4a4bf0b
|
C#: Additional tracking of lambdas through fields and properties
|
2024-02-01 11:51:00 +01:00 |
|
Tom Hvitved
|
817d04c087
|
C#: Add more delegate flow tests
|
2024-02-01 11:51:00 +01:00 |
|
Tom Hvitved
|
d1ed317832
|
C#: Add tests for qualified delegate pointer calls
|
2024-02-01 10:59:05 +01:00 |
|
Tom Hvitved
|
c74bc68287
|
C#: Fix extraction of qualified delegate calls
|
2024-01-31 13:21:16 +01:00 |
|
Tom Hvitved
|
c21bf5d82c
|
C#: Add tests for qualified delegate calls
|
2024-01-31 11:22:35 +01:00 |
|
Michael Nebel
|
e575e97eb9
|
C#: Update cil attribute expected output.
|
2024-01-31 10:08:55 +01:00 |
|
Michael Nebel
|
cda09478c5
|
C# Update expected test output and remove false positive.
|
2024-01-29 14:37:25 +01:00 |
|
Michael Nebel
|
b6f94ea44a
|
C#: Add example test of field flow via the spread operator, which leads to a false positive.
|
2024-01-29 14:30:52 +01:00 |
|
Michael Nebel
|
cd5f678e1c
|
C#: Add IntegerCollection class to the CollectionFlow tests and update line numbers in expected test output.
|
2024-01-29 14:28:05 +01:00 |
|
Michael Nebel
|
13b8d57bff
|
C#: Add collection flow test cases for collection expressions.
|
2024-01-26 14:18:16 +01:00 |
|
Michael Nebel
|
8eb89cf0bb
|
C#: Add test and expected output.
|
2024-01-26 14:18:16 +01:00 |
|
Michael Nebel
|
1252d3ee89
|
C#: Rename CollectionExpr to EnumerableCollectionExpr.
|
2024-01-25 19:53:51 +01:00 |
|
Ed Minnix
|
a6c977c169
|
Use appropriate pack for test models
|
2024-01-22 12:24:21 -05:00 |
|
Ed Minnix
|
975327648c
|
Remove commented-out code
|
2024-01-22 11:09:50 -05:00 |
|
Ed Minnix
|
c530fbd9f8
|
C# Threat Modeling Tests
|
2024-01-22 11:09:45 -05:00 |
|
Michael Nebel
|
24855ddc64
|
Merge pull request #15328 from michaelnebel/csharp/inlinearrays
C# 12: Inline array support.
|
2024-01-19 09:11:26 +01:00 |
|
Michael B. Gale
|
d0003ce7be
|
C#: Rename query to ExtractedFiles
|
2024-01-18 12:47:11 +00:00 |
|
Michael Nebel
|
f8f95e6a19
|
C#: Add models as data test for inline arrays.
|
2024-01-18 12:23:26 +01:00 |
|
Michael Nebel
|
1d88ca2388
|
C#: Add more InlineArray test cases.
|
2024-01-18 12:23:26 +01:00 |
|
Michael Nebel
|
674838e698
|
C#: Add flow test for inline arrays.
|
2024-01-18 11:09:01 +01:00 |
|
Michael Nebel
|
f14b3265ab
|
C#: Move static methods in CollectionFlow as these impact result line numbers.
|
2024-01-18 11:09:00 +01:00 |
|
Michael Nebel
|
47505b3bfa
|
C#: Add array access test for an inline array.
|
2024-01-18 11:09:00 +01:00 |
|
Michael Nebel
|
0453bb86e0
|
C#: Update test output of existing expressions tests.
|
2024-01-18 11:09:00 +01:00 |
|
Michael Nebel
|
ae52779cf6
|
C#: Add inline array test to expressions.
|
2024-01-18 11:09:00 +01:00 |
|
Michael Nebel
|
de831d188f
|
C#: Add inline type array test.
|
2024-01-18 11:09:00 +01:00 |
|
Michael B. Gale
|
a30791833d
|
C#: Report any extracted file as successfully extracted
|
2024-01-17 20:57:39 +00:00 |
|
Michael Nebel
|
275822f80d
|
Merge pull request #15296 from michaelnebel/csharp/getruntimeargument
C#: Improve getRuntimeArgumentForParameter to consider named arguments.
|
2024-01-12 15:57:17 +01:00 |
|
Owen Mansel-Chan
|
6945289afc
|
Merge pull request #15246 from owen-mc/java/manual-neutral-overrides-generated
C#/Java: Manual neutral summaries should block generated summaries
|
2024-01-12 10:05:18 +00:00 |
|
Michael Nebel
|
9f14c7c408
|
Merge pull request #15297 from michaelnebel/csharp/typealias
C# 12: Type alias [Test only]
|
2024-01-12 11:03:25 +01:00 |
|
Michael Nebel
|
0fa2067c3f
|
C#: Update expected test output.
|
2024-01-11 16:19:24 +01:00 |
|
Michael Nebel
|
85f0ad623b
|
C#: Add testexample of using named arguments when calling a delegate.
|
2024-01-11 16:19:24 +01:00 |
|
Michael Nebel
|
ef73fc3a6f
|
C#: Add a test for type alias.
|
2024-01-11 16:13:35 +01:00 |
|
Owen Mansel-Chan
|
def957e814
|
Accept review suggestion fixing a comment
Co-authored-by: Michael Nebel <michaelnebel@github.com>
|
2024-01-11 13:56:27 +00:00 |
|
Michael Nebel
|
9a64e2a9b0
|
C#: Add test for lambda default parameters.
|
2024-01-11 09:07:15 +01:00 |
|
Michael Nebel
|
71c996a0be
|
C#: Update lambdaArgument expected output.
|
2024-01-11 09:07:14 +01:00 |
|
Michael Nebel
|
f0852c89bc
|
C#: Add test for lambda arguments.
|
2024-01-11 09:07:14 +01:00 |
|
Owen Mansel-Chan
|
3767348dec
|
Update test expectations
|
2024-01-10 22:25:08 +00:00 |
|
Owen Mansel-Chan
|
370a32da8b
|
Test summary models and neutral models, manual and generated
|
2024-01-10 22:25:02 +00:00 |
|
Owen Mansel-Chan
|
28aa9b2b3c
|
C#: Emulate that some methods don't have a body (so generated summaries will be applied)
|
2024-01-10 12:54:33 +00:00 |
|
Tamas Vajk
|
7daeeef3a1
|
C#: Improve arg-param mapping logic to consider named arguments passed to params parameters
|
2024-01-08 10:00:39 +01:00 |
|
Tamas Vajk
|
9bb807431d
|
C#: Improve arg-param mapping logic to consider arguments passed to params parameters
|
2024-01-08 10:00:39 +01:00 |
|
Tamas Vajk
|
93b0eb9ba3
|
C#: Add more test cases to argument-parameter mapping test
|
2024-01-08 10:00:39 +01:00 |
|
Michael Nebel
|
089cad0ea8
|
C#: Update expected test output for FlowSummaries tests.
|
2023-12-20 11:10:30 +01:00 |
|