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 |
|
erik-krogh
|
4dae8d0bb4
|
add host comparisons as a sanitizer for url-redirect
|
2024-02-13 13:13:43 +01:00 |
|
erik-krogh
|
f4dd3e9aa1
|
treat relative URLs as safe for url-redirects
|
2024-02-13 13:13:18 +01:00 |
|
erik-krogh
|
3f8de82ea3
|
add a sanitizer for List.Contains() in url-redirect
|
2024-02-13 13:13:06 +01:00 |
|
erik-krogh
|
59792808d4
|
add new url-redirect test file
|
2024-02-13 13:13:06 +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
|
69c0f0cb6a
|
C#: Address review comments.
|
2024-02-13 11:39:21 +01:00 |
|
Michael Nebel
|
68b920f330
|
C#: Update other tests expected output.
|
2024-02-12 15:09:36 +01:00 |
|
Michael Nebel
|
4083348b3e
|
C#: Add a primary constructor QL library test.
|
2024-02-12 13:27:39 +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 |
|
Anders Schack-Mulligen
|
b7d4a6926f
|
Dataflow: Add empty provenance column to PathGraph.
|
2024-02-09 11:27:30 +01:00 |
|
Tamás Vajk
|
d46028f552
|
Merge pull request #15542 from tamasvajk/feature/relative-line-pragma
C#: Try resolve relative paths in line mappings
|
2024-02-09 10:36:53 +01:00 |
|
Tamas Vajk
|
1c7e6e769b
|
C#: Try resolve relative paths in line mappings
|
2024-02-07 23:48:58 +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 |
|
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 |
|
Michael Nebel
|
2be1ee8b34
|
Merge pull request #15394 from michaelnebel/csharp/urlredirect-sanitizer
C#: Add more santizers to the `cs/web/unvalidated-url-redirection` query.
|
2024-01-24 08:42:05 +01:00 |
|
Michael Nebel
|
10be0deeb5
|
C#: Add a couple more testcases.
|
2024-01-23 15:09:10 +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
|
5016113a0f
|
C#: Add a string.Format sanitizer to url redirect and update expected test output.
|
2024-01-22 11:21:35 +01:00 |
|
Michael Nebel
|
884f3f1505
|
C#: Add string interpolation expression sanitizer to url redirect and update expected test output.
|
2024-01-22 11:21:19 +01:00 |
|
Michael Nebel
|
e33d5b5fb6
|
C#: Add some test examples for UrlRedirect using string interpolation and string.Format.
|
2024-01-22 09:42:23 +01:00 |
|
Joe Farebrother
|
4de19b3ec9
|
Merge pull request #15039 from joefarebrother/csharp-razor-flow-page-models
C#: Add flow steps from a PageModel to cshtml page.
|
2024-01-19 10:07:25 +00: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 |
|