Michael Nebel
|
83b3125dea
|
C#: Some test examples of collection like types that should be excluded.
|
2022-08-26 09:30:07 +02:00 |
|
Erik Krogh Kristensen
|
06afe9c0f4
|
Merge pull request #9816 from erik-krogh/msgConsis
Make alert messages consistent across languages
|
2022-08-25 15:20:01 +02:00 |
|
erik-krogh
|
c7aa58252a
|
change "does not seem to check" to "does not check" in unchecked-cast-in-equals queries
|
2022-08-25 12:31:58 +02:00 |
|
Ian Lynagh
|
5d97bb35d0
|
Make *.cs non-executable
|
2022-08-24 16:54:34 +01:00 |
|
Ian Lynagh
|
b9a4b5ab9a
|
Make *.qlref non-executable
|
2022-08-24 16:53:16 +01:00 |
|
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 |
|