Michael Nebel
|
19da00a51a
|
C#: Delete clears content test case.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
2ae2008453
|
C#: Update flow summaries test expected output.
|
2022-09-02 15:17:23 +02:00 |
|
Tom Hvitved
|
2681b88035
|
C#: Update Pre SSA library to use parameterized module
|
2022-08-31 11:45:15 +02:00 |
|
Tom Hvitved
|
0d81a6409d
|
SSA: Make shared library a parameterized module
|
2022-08-31 11:45:14 +02:00 |
|
Michael Nebel
|
f4835e3960
|
C#: Update flow summaries test cases based on the latest models.
|
2022-08-26 09:30:08 +02:00 |
|
Michael Nebel
|
e446eaba68
|
C#: Update C# Flowsummaries test expected out (Negative models has been updated due to rebase and changes in the model generator).
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
2e273f2273
|
C#: Re-arange the import order, such that CsvValidation follows ExternalFlow directly.
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
c3e21e8555
|
C#: Move NegativeSummary.qll to the internal folder.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
37976d56bc
|
C#/Java/Go/Swift: Move CsvValidation back into ExternalFlow.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
d2087ec748
|
C#: Update negative summaries reported by FlowSummaries test after rebase (stubs for .NET has been updated in the meantime).
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
ad671f7fb4
|
C#: Update test expected output after addition of negative summaries.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
053460ffeb
|
C#: Introduce validation of negative summaries.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
19469a26d7
|
C#: Re-factor CSV validation into a separate file.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
0cf4e64655
|
C#: Update test cases with new empty query predicate.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
cc44e89065
|
C#: Introduce support for Negative summary models.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
c3e0388a75
|
C#: Add testcase for complex models.
|
2022-08-19 08:51:39 +02:00 |
|
Michael Nebel
|
bbb6ba088b
|
C#: Add more Map like remote flow source testcases.
|
2022-08-19 08:10:23 +02:00 |
|
Michael Nebel
|
d2c5266139
|
C#: Add more test examples.
|
2022-08-19 08:10:23 +02:00 |
|
Michael Nebel
|
6e5a412150
|
C#: Make one more ASP.NET routing example.
|
2022-08-19 08:10:23 +02:00 |
|
Michael Nebel
|
bd6d3c7347
|
C#: Consider parameters passed to lambdas in MapGet remote flow sources.
|
2022-08-19 08:10:23 +02:00 |
|
Michael Nebel
|
c8afb1bb94
|
C#: Update expected test case with new line numbers.
|
2022-08-19 08:10:23 +02:00 |
|
Michael Nebel
|
328e47834e
|
C#: Add ASP.NET Core MapGet routing end point example.
|
2022-08-19 08:10:23 +02:00 |
|
Tom Hvitved
|
355c1f5959
|
Merge pull request #10035 from hvitved/ssa/phi-reads
SSA: Improve use-use calculation using "phi read nodes"
|
2022-08-17 13:43:00 +02:00 |
|
Tom Hvitved
|
611a6807bc
|
SSA: Improve use-use calculation using "phi read nodes"
|
2022-08-16 14:07:38 +02:00 |
|
Tom Hvitved
|
9a61f24e16
|
C#: Add SSA use-use stress test
|
2022-08-16 14:06:15 +02:00 |
|
Tom Hvitved
|
6be6d26cb5
|
C#: Add new SSA test
|
2022-08-16 14:06:15 +02:00 |
|
Tom Hvitved
|
e4c257db74
|
C#: Rename Argument[Qualifier] to Argument[this] in MaD
|
2022-08-16 13:24:41 +02:00 |
|
Michael Nebel
|
15906338dc
|
Merge pull request #9923 from michaelnebel/csharp/webgoat
C#: SQL Injection improvements for SQLite.
|
2022-08-15 13:22:25 +02:00 |
|
Michael Nebel
|
0c58764643
|
C#: Update FunctionPointer expected output with specific CallingConvention printing.
|
2022-08-12 13:01:15 +02:00 |
|
Michael Nebel
|
b817bd43ca
|
Merge pull request #10005 from michaelnebel/csharp/constructorsummaries
C#: Constructor summaries
|
2022-08-11 09:16:05 +02:00 |
|
Tamás Vajk
|
b2c22dacc2
|
Merge pull request #9769 from tamasvajk/fix/ctor-field-flow
C#: Fix dataflow for default constructors
|
2022-08-10 15:06:25 +02:00 |
|
Michael Nebel
|
da30436c44
|
C#: Update flow summaries test case with new summaries.
|
2022-08-10 14:49:20 +02:00 |
|
Michael Nebel
|
ced9ee5f5d
|
C#: Update FlowSummaries test expected output after addition of new summaries.
|
2022-08-10 14:49:19 +02:00 |
|
Michael Nebel
|
736ae4f7d6
|
C#: Update FlowSummaries expected output.
|
2022-08-10 14:23:54 +02:00 |
|
Michael Nebel
|
7c68947035
|
C#: Update flow summaries expected out as we now include ASP.NET Core as stubs for these tests.
|
2022-08-09 13:08:34 +02:00 |
|
Michael Nebel
|
6d96da1838
|
C#: Use ASP.NET Core stub instead of Microsoft.Extensions.Primitives and manual written ASP.NET Core stubs.
|
2022-08-09 13:08:34 +02:00 |
|
Michael Nebel
|
63b06d50b0
|
C#: Delete ServiceStack 5.11.0 and related projects.
|
2022-08-09 13:08:34 +02:00 |
|
Michael Nebel
|
094dcf989e
|
C#: Update FlowSummaries test expected file (this is required since the .NET Runtime stubs have been updated).
|
2022-08-09 13:08:34 +02:00 |
|
Tamas Vajk
|
36c913061c
|
C#: Fix dataflow for default constructors
|
2022-08-09 07:46:27 +02:00 |
|
Tamas Vajk
|
1a92fc90e0
|
C#: Add test to demonstrate missing dataflow for default constructors
|
2022-08-09 07:46:27 +02:00 |
|
Michael Nebel
|
8899bf7f05
|
C#: Update tests.
|
2022-06-22 13:03:23 +02:00 |
|
Michael Nebel
|
e0a96e16c3
|
C#: Update entity framework flow summaries test.
|
2022-06-20 16:20:01 +02:00 |
|
Michael Nebel
|
da0b9db57f
|
C#: Update flow summary printing in test cases to reflect provenance.
|
2022-06-20 16:20:01 +02:00 |
|
Michael Nebel
|
32b69d3e0c
|
C#: Update external models tests.
|
2022-06-20 16:20:01 +02:00 |
|
Michael Nebel
|
e3a5f7b8a3
|
C#: Introduce provenance column in CSV format for Models as data summaries, sources and sinks.
|
2022-06-20 16:20:01 +02:00 |
|
Tamás Vajk
|
f737804035
|
Merge pull request #9610 from tamasvajk/fix/global-statements
C#: Fix global statement extraction
|
2022-06-20 12:54:36 +02:00 |
|
Tamas Vajk
|
51f0a928dc
|
C#: Fix global statement extraction by extracting statements inside the implicit main method context
|
2022-06-20 10:09:11 +02:00 |
|
Tamas Vajk
|
c460e5757b
|
C#: Add extractor error test for global statement extraction
|
2022-06-20 09:42:18 +02:00 |
|
Michael Nebel
|
1f2f2fff7f
|
C#: Update testcases with examples.
|
2022-06-16 08:43:06 +02:00 |
|
Michael Nebel
|
ef0a3d0a79
|
C#: Add testcase for controller parameter types tainted members.
|
2022-06-16 08:38:31 +02:00 |
|