Michael Nebel
|
4a5c9f0ec4
|
Merge pull request #17007 from michaelnebel/shared/neutralimplementation
C#/Java/Go: Neutrals are split into separate classes.
|
2024-08-12 13:58:12 +02:00 |
|
Tom Hvitved
|
1bcac50db1
|
C#: Add support for flow through side-effects on static fields
|
2024-08-12 10:01:51 +02:00 |
|
Tom Hvitved
|
29c204bc61
|
C#: Add a data flow test for side effects on static fields
|
2024-08-12 10:01:48 +02:00 |
|
Tom Hvitved
|
00d447ba4b
|
C#: Update expected test output
|
2024-08-06 15:43:08 +02:00 |
|
Anders Schack-Mulligen
|
9724516c84
|
C#/Go/Java/Python/Ruby: Accept qltest .expected changes.
|
2024-07-31 14:45:10 +02:00 |
|
Michael Nebel
|
ca4bd0c606
|
C#/Java/Go: Neutrals are split into seperate classes.
|
2024-07-18 16:29:38 +02:00 |
|
Tom Hvitved
|
0459422a6c
|
C#: Restrict multi-body dataflow dispatch based on file-system distance
|
2024-07-11 16:52:20 +02:00 |
|
Tom Hvitved
|
35bf990f23
|
C#: Add data flow test for multi-body dispatch
|
2024-07-11 16:52:18 +02:00 |
|
Tom Hvitved
|
c5c97aca50
|
C#: Move implicit entry definitions inside method bodies in SSA construction
|
2024-07-01 10:48:13 +02:00 |
|
Tom Hvitved
|
075a249f3b
|
C#: Add SSA test for multi-bodied method
|
2024-06-28 14:27:51 +02:00 |
|
Michael Nebel
|
d18915a1e4
|
C#: Update expected test output.
|
2024-06-25 16:02:58 +02:00 |
|
Michael Nebel
|
854c6fa813
|
C#: Update expected test output after .NET 8 models update.
|
2024-06-13 09:24:13 +02:00 |
|
Michael Nebel
|
546b260330
|
C#: Update expected test output and remove spurious result.
|
2024-06-03 10:40:13 +02:00 |
|
Michael Nebel
|
213e3918df
|
C#: Add some more external flow testcases (one with a spurious result).
|
2024-06-03 10:40:02 +02:00 |
|
Michael Nebel
|
b08a0a303f
|
C#: Re-factor external models tests to use compiled code instead of emulating it.
|
2024-06-03 10:39:59 +02:00 |
|
Michael Nebel
|
e2758f2abb
|
C#: Update expected test output.
|
2024-05-31 15:06:16 +02:00 |
|
Michael Nebel
|
b628c2e121
|
C#: Update flow summaries expected output.
|
2024-05-31 12:50:10 +02:00 |
|
Michael Nebel
|
0985a3a5f6
|
C#: Update expected test output.
|
2024-05-31 12:49:58 +02:00 |
|
Michael Nebel
|
90538d4b4c
|
C#: Update expected test output.
|
2024-05-31 12:49:48 +02:00 |
|
Michael Nebel
|
cd5168b570
|
C#: Limit the defintion of database flow source and use summaries for better paths and reduced result multiplicity.
|
2024-05-31 12:49:44 +02:00 |
|
Michael Nebel
|
38d246a3bd
|
C#: Update flowsummaries expected output.
|
2024-05-31 12:49:40 +02:00 |
|
Michael Nebel
|
195ccb0018
|
Merge pull request #16484 from michaelnebel/csharp/superimplmodelgen
C#: Lift models.
|
2024-05-28 15:49:35 +02:00 |
|
Anders Schack-Mulligen
|
5c635e982e
|
C++/C#/Java: Update expected output.
|
2024-05-27 11:01:52 +02:00 |
|
Michael Nebel
|
d272d6a9ca
|
C#: Assume that models should apply when a method is overridable except for the implicit methods on Object and ValueType.
|
2024-05-24 12:50:48 +02:00 |
|
Michael Nebel
|
2449074f3d
|
C#: Remove the DataFlowSummarizedCallable as this narrowing is now handled in the adapter.
|
2024-05-22 15:11:41 +02:00 |
|
Rasmus Wriedt Larsen
|
2451a6d3f6
|
Accept .expected changes
|
2024-05-21 14:47:42 +02:00 |
|
Tom Hvitved
|
d9019f9676
|
C#: Fix performance issue in EntityFramework modelling
|
2024-05-21 08:53:51 +02:00 |
|
Michael Nebel
|
18fc92247b
|
C#: Update flowsummaries expected output.
|
2024-05-16 15:09:04 +02:00 |
|
Michael Nebel
|
763d53afed
|
C#: Remove the override and ext column from the summaries printing test.
|
2024-05-16 15:08:45 +02:00 |
|
Tom Hvitved
|
8ec4f0b5bd
|
C#: Update expected test output
|
2024-05-02 14:53:02 +02:00 |
|
Anders Schack-Mulligen
|
b2f09949df
|
Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2
Dataflow: update fieldFlowBranchLimit semantics
|
2024-04-23 10:08:05 +02:00 |
|
Michael Nebel
|
58635bdbd6
|
Merge pull request #16121 from michaelnebel/csharp/modelgenexcludeset
C#: Exclude properties with both a getter and setter as candidates for modelling.
|
2024-04-16 14:49:07 +02:00 |
|
Anders Schack-Mulligen
|
b87b8329a0
|
Dataflow: Use default fieldFlowBranchLimit in qltests.
|
2024-04-15 15:13:03 +02:00 |
|
Michael Nebel
|
1c8298ae08
|
C#: Update expected test output.
|
2024-04-12 14:24:30 +02:00 |
|
Michael Nebel
|
dc34cb0aae
|
C#: Update all MaD ids in the tests.
|
2024-04-12 13:24:18 +02:00 |
|
Michael Nebel
|
cb3a59446c
|
C#: Remove redundant neutral summaries for ProcessStartInfo.
|
2024-04-12 11:31:59 +02:00 |
|
Michael Nebel
|
e70a49a771
|
C#: Add some manual models for ProcessStartInfo.
|
2024-04-12 11:31:59 +02:00 |
|
Michael Nebel
|
5323af33d2
|
C#: Update flow summaries expected test output.
|
2024-04-12 11:31:58 +02:00 |
|
Michael Nebel
|
a2bb3dd78b
|
C#: Update expected test output.
|
2024-04-12 11:23:03 +02:00 |
|
Michael Nebel
|
1e59def89d
|
C#: Add some suppress nullable warning testcases and update expected output.
|
2024-04-12 11:16:37 +02:00 |
|
Anders Schack-Mulligen
|
c3946a92ff
|
C#: Update expected output (interesting)
|
2024-04-12 09:20:21 +02:00 |
|
Anders Schack-Mulligen
|
647f9aba82
|
C#: Update some expected output (uninteresting).
|
2024-04-12 09:20:18 +02:00 |
|
Anders Schack-Mulligen
|
004bda1ee0
|
C#: Add alert provenance plumbing.
|
2024-04-12 09:19:56 +02:00 |
|
Tom Hvitved
|
1c344d6735
|
C#: Adjust conditional access locations
|
2024-04-10 16:21:58 +02:00 |
|
Tom Hvitved
|
7c43ca7001
|
C#: Add more conditional access tests
|
2024-04-10 15:25:00 +02:00 |
|
Michael Nebel
|
10d96ee02f
|
C#: Address review comments.
|
2024-04-09 10:31:48 +02:00 |
|
Michael Nebel
|
b677e89f35
|
C#: Deprecate getFullyQualifiedNameWithTypes.
|
2024-04-08 13:46:45 +02:00 |
|
Michael Nebel
|
8fa9191434
|
C#: Deprecate the getFullyQualifiedName predicate.
|
2024-04-08 13:46:44 +02:00 |
|
Tom Hvitved
|
813f5b99e7
|
C#: Update PrintAST query
|
2024-04-03 20:03:02 +02:00 |
|
Tom Hvitved
|
368a500d93
|
C#: Neutralize some System.Diagnostics generated models
|
2024-04-02 13:58:55 +02:00 |
|