Ian Lynagh
|
4cd618f81c
|
Make *.expected non-executable
|
2022-08-24 16:51:50 +01:00 |
|
erik-krogh
|
1c0f2251e2
|
Merge branch 'main' into msgConsis
|
2022-08-24 14:38:57 +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
|
929f1b324b
|
C#: Prepare for .NET negative summaries and use in UnsupportedExternalAPIs query.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
7d46d15f2b
|
C#: Update summary model generation test output.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
136bdeb8e6
|
C#: Add test for Negative summary generation.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
9c6bcec500
|
C#: Add model generator testcase for Negative summaries for abstract members.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
87c7dd90c0
|
C#: Disregard destructors in model generation.
|
2022-08-24 09:46:54 +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 |
|
erik-krogh
|
7e0bd5bde4
|
update expected output of tests
|
2022-08-22 21:41:47 +02:00 |
|
Chris Smowton
|
f3ef8510d3
|
Merge pull request #10093 from smowton/smowton/feature/java-singular-locations
Java: pick an arbitrary representative location when an entity has many candidate locations.
|
2022-08-22 09:32:43 +01:00 |
|
Michael Nebel
|
642c9929e6
|
Merge pull request #10050 from michaelnebel/csharp/asproutingendpoints
C#: ASP.NET MapGet Routing endpoints (Remote Flow Sources)
|
2022-08-22 09:05:12 +02:00 |
|
Chris Smowton
|
8d20b9cf52
|
Use hasLocationInfo to match several Location fields at once
|
2022-08-19 19:03:17 +01:00 |
|
Chris Smowton
|
1ea7caf559
|
Fix join ordering in inline-expectations test
|
2022-08-19 18:17:22 +01: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
|
f275885258
|
C#: Add a cshtml-based XSS test
|
2022-08-18 15:24:04 +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
|
79a716488b
|
Merge pull request #10003 from michaelnebel/csharp/stubsenum
C#: Stub generator improvements.
|
2022-08-15 12:14:06 +02:00 |
|
Michael Nebel
|
af473db067
|
C#: Add function pointer test case in stub generation.
|
2022-08-12 14:56:52 +02:00 |
|
Michael Nebel
|
eb9057918c
|
C#: Manual updates to .NET Core stubs to make it compile.
|
2022-08-12 13:12:33 +02:00 |
|
Michael Nebel
|
b4f7e07cc1
|
C#: Update .NET Core stubs.
|
2022-08-12 13:10:08 +02:00 |
|
Michael Nebel
|
0c58764643
|
C#: Update FunctionPointer expected output with specific CallingConvention printing.
|
2022-08-12 13:01:15 +02:00 |
|
Michael Nebel
|
e2882f0706
|
C#: Re-generate stubs for the ASP.NET Core framework.
|
2022-08-12 13:01:15 +02:00 |
|
Michael Nebel
|
7c7c335b0e
|
C#: Update stub generator expected output.
|
2022-08-12 13:01:15 +02:00 |
|
Michael Nebel
|
b052fbf41c
|
C#: Add enum long type testcase.
|
2022-08-12 12:51:31 +02:00 |
|
Michael Nebel
|
9ff94120d8
|
C#: Update stub generator test(s) expected output.
|
2022-08-12 12:48:24 +02:00 |
|
Michael Nebel
|
d023f840de
|
C#: Add Enum examples in stub generator test code.
|
2022-08-12 12:48:24 +02:00 |
|
Raul Garcia
|
39e53a2932
|
Updates based on PR feedback. 1 pending change
|
2022-08-11 17:59:57 -07:00 |
|
Tamas Vajk
|
7a406d8e41
|
C#: Fix unsafe deserialization with JsonConvert.DeserializeObject
Remove false positives when `JsonConvert.DeserializeObject` is called with not necessarily unsafe settings.
|
2022-08-11 11:00:46 +02:00 |
|
Tamas Vajk
|
6e6bd208b1
|
C#: Add test case for JsonConvert.DeserializeObject in unsafe deserialization tests
|
2022-08-11 11:00:23 +02:00 |
|
Tamas Vajk
|
548d7ac37d
|
C#: Regenerate Newtonsoft.Json test stub
The newly generated stubs contain the actual values of enum constants.
|
2022-08-11 10:52:48 +02:00 |
|