Michael Nebel
|
6b38a81e50
|
C#: Add some test cases for primary constructor inititalizers and a failing dataflow test.
|
2024-02-19 13:04:12 +01:00 |
|
Tom Hvitved
|
7bdc2c57f0
|
C#: Simplify primaryConstructorParameterStore
|
2024-02-13 13:59:14 +01:00 |
|
Tom Hvitved
|
3f43f45437
|
C#: Assume captured variables are live at exit in SSA construction
|
2024-02-13 13:59:08 +01:00 |
|
Tom Hvitved
|
ebd6853194
|
C#: Avoid overlapping output in data flow test
|
2024-02-13 13:59:03 +01:00 |
|
Michael Nebel
|
8efe34942f
|
C#: Add indirect assignment example.
|
2024-02-13 12:02:25 +01:00 |
|
Michael Nebel
|
eaf129d519
|
C#: Update expected test output.
|
2024-02-13 11:40:46 +01:00 |
|
Michael Nebel
|
68b920f330
|
C#: Update other tests expected output.
|
2024-02-12 15:09:36 +01:00 |
|
Michael Nebel
|
ff29679317
|
C#: Update expected test output.
|
2024-02-12 13:27:39 +01:00 |
|
Michael Nebel
|
f5d4c49b16
|
C#: Add some more constructor dataflow tests.
|
2024-02-12 13:13:06 +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 |
|
Tom Hvitved
|
9634511ac5
|
Merge pull request #15489 from hvitved/csharp/lambda-field-flow
C#: Additional tracking of lambdas through fields and properties
|
2024-02-12 09:14:21 +01:00 |
|
Anders Schack-Mulligen
|
21a6520cd3
|
C#: Add empty provenance column to expected files.
|
2024-02-09 11:32:07 +01:00 |
|
Michael Nebel
|
2e4786c2ab
|
C#: Update flow summaries expected output test.
|
2024-02-06 14:06:07 +01:00 |
|
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 |
|
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 |
|
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 |
|
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
|
f8f95e6a19
|
C#: Add models as data test for inline arrays.
|
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 |
|
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 |
|
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 |
|
Michael Nebel
|
089cad0ea8
|
C#: Update expected test output for FlowSummaries tests.
|
2023-12-20 11:10:30 +01:00 |
|
Michael Nebel
|
681ac7e5f0
|
C#: Update tests (and expected output) to use the generated EntityFramework stubs.
|
2023-12-19 15:22:45 +01:00 |
|
Michael Nebel
|
305e015948
|
C#: Update flowsummaries expected tests.
|
2023-12-15 10:02:02 +01:00 |
|
Michael Nebel
|
3ead21fb13
|
C#: Update options files.
|
2023-12-15 10:02:02 +01:00 |
|
Tom Hvitved
|
c8b4a215bc
|
Merge pull request #14573 from hvitved/flow-summary-impl-param
Move `FlowSummaryImpl.qll` to `dataflow` pack
|
2023-12-14 12:24:15 +01:00 |
|
Michael Nebel
|
35a615cac3
|
C#: Base the remoteflowsource test on stubs and update line numbers in expected output.
|
2023-12-13 10:07:57 +01:00 |
|
Tom Hvitved
|
a2093c9aa2
|
C#: Use FlowSummaryImpl from dataflow pack
|
2023-12-10 11:25:43 +01:00 |
|
Tamas Vajk
|
75fa67726e
|
Fix models to support fluent chaining
|
2023-12-07 14:10:16 +01:00 |
|
Tamas Vajk
|
89df59a083
|
C#: Add missing models and fix interpolated string flow into StringBuilder
|
2023-12-07 10:56:59 +01:00 |
|
Tamas Vajk
|
2c624c23ed
|
Add test cases for missing flow with interpolated strings and StringBuilder
|
2023-12-07 10:32:01 +01:00 |
|
Tamas Vajk
|
9f24b026fb
|
C#: Move StringBuilder dataflow tests to separate file
|
2023-12-07 10:31:50 +01:00 |
|
Tamas Vajk
|
c1db689f2f
|
Fix expected test results
|
2023-12-07 09:59:33 +01:00 |
|
Tamas Vajk
|
eeabb81973
|
Adjust expected test files
|
2023-12-06 16:00:43 +01:00 |
|
Michael Nebel
|
e6a5c50ebc
|
Merge pull request #14953 from rpmrmartin/issue/14952
C#: Fix a URL redirection from remote source false positive
|
2023-12-05 13:02:56 +01:00 |
|