Tamás Vajk 7c3964a388 Merge pull request #4543 from tamasvajk/feature/configureawait ...

C#: Add flow summary for 'Task.ConfigureAwait()'

2020-10-28 10:42:44 +01:00

..

call-sensitivity

Address review comments

2020-06-19 10:34:11 +02:00

callablereturnsarg

C#: Add more data-flow tests

2020-04-17 13:49:08 +02:00

collections

C#: Update expected test output

2020-10-16 09:04:58 +02:00

defuse

C#: Autoformat.

2020-01-29 13:15:00 +01:00

delegates

C#: Reimplement flow-summary compilation

2020-10-14 14:15:34 +02:00

fields

C#: Update expected test output

2020-10-16 09:04:58 +02:00

flowsources

C#: Un-deprecate PublicCallableParameterFlowSource

2020-04-06 09:01:44 +02:00

global

C#: Add data-flow test for ConfigureAwait()

2020-10-27 10:23:39 +01:00

library

Merge pull request #4543 from tamasvajk/feature/configureawait

2020-10-28 10:42:44 +01:00

local

C#: Precise data flow for collections

2020-06-26 13:40:05 +02:00

modulusanalysis

C#: Use CFG nodes instead of AST nodes in sign/modulus analysis

2020-10-14 13:39:44 +02:00

signanalysis

C#: Use CFG nodes instead of AST nodes in sign/modulus analysis

2020-10-14 13:39:44 +02:00

ssa

C#: Reimplement flow-summary compilation

2020-10-14 14:15:34 +02:00

ssa-large

C#: Autoformat.

2020-01-29 13:15:00 +01:00

types

Merge remote-tracking branch 'upstream/master' into dataflow/precise-field-types

2020-05-15 15:24:05 +02:00