Michael Nebel 45458ed72b Merge pull request #17845 from michaelnebel/csharp/net8runtimehigherorder ...

C#: Add generated higher order models for .NET8 Runtime.

2024-11-19 11:52:34 +01:00

..

async

C#: Make language specific ShowProvenance module and update tests.

2024-08-13 16:10:11 +02:00

barrier-guards

C#: Adopt shared SSA data-flow integration

2024-08-14 08:39:17 +02:00

call-sensitivity

C++/C#/Java: Update expected output.

2024-05-27 11:01:52 +02:00

callablereturnsarg

C#: Update expected test output

2023-11-10 08:46:15 +01:00

collections

Update expected test output

2024-11-04 12:07:06 +01:00

constructors

C#: Update expected test output

2024-08-13 13:34:47 +02:00

content

C#: Address review comments.

2023-05-01 10:38:39 +02:00

defuse

C#: Move implicit entry definitions inside method bodies in SSA construction

2024-07-01 10:48:13 +02:00

delegates

C#: Additional tracking of lambdas through fields and properties

2024-02-01 11:51:00 +01:00

external-models

Update expected test output

2024-11-04 12:07:06 +01:00

fields

Merge pull request #16576 from hvitved/csharp/static-field-side-effect

2024-08-13 14:16:28 +02:00

flowsources

mass rename to ActiveThreatModelSource

2024-09-12 10:16:55 +02:00

functionpointers

Data flow: Move C# lambda flow logic into shared library

2021-03-16 13:49:32 +01:00

global

Update expected test output

2024-11-04 12:07:06 +01:00

library

C#: Update FlowSummaries expected tests.

2024-11-07 11:14:02 +01:00

local

C#: Adopt shared SSA data-flow integration

2024-08-14 08:39:17 +02:00

modulusanalysis

Add adjusted expected files

2021-07-01 16:09:11 +02:00

operators

C#: Update expected test output

2024-08-13 13:34:47 +02:00

patterns

C#: Update expected test output

2024-08-13 13:34:47 +02:00

signanalysis

C#: Change generic method names to include <> and type args/params

2021-09-06 11:48:22 +02:00

ssa

C#: Do not calculate field-based SSA for enums

2024-08-30 11:19:07 +02:00

ssa-large

C#: Add use-use stress test

2022-11-17 13:42:56 +01:00

threat-models

Update expected test output

2024-11-04 12:07:06 +01:00

tuples

Merge pull request #16936 from hvitved/csharp/ssa-integration

2024-09-17 13:45:31 +02:00

typeflow-dispatch

C#: Update expected test output

2024-08-13 13:34:47 +02:00

types

C#: Update expected test output

2024-08-13 13:34:47 +02:00