Tom Hvitved d39a33655f C#: Fix false-positives in cs/dereferenced-value-may-be-null ...

Dereferencing an expression of a nullable type should only be reported when
the expression is not clearly non-null.

2020-07-28 16:27:36 +02:00

..

CallableReturns.expected

C#: Update qltests.

2019-11-14 17:14:51 +00:00

CallableReturns.ql

C#: Fix up CallableReturns tests.

2019-11-08 16:42:22 +00:00

ControlFlow.expected

C#: Fix bug in dataflow library.

2019-03-18 17:59:56 +00:00

ControlFlow.ql

C#: Improve nullness and control flow by using CIL for null and throwing callables.

2019-03-12 16:13:29 +00:00

dataflow.cs

C#: Add tests for maybe-null CIL methods

2019-05-28 10:05:33 +02:00

DataFlow.cs_

C#: Add tests for maybe-null CIL methods

2019-05-28 10:05:33 +02:00

DataFlow.dll

C#: Add tests for maybe-null CIL methods

2019-05-28 10:05:33 +02:00

DataFlow.expected

C#: Add more data flow tests

2019-12-10 15:46:31 +01:00

DataFlow.ql

C#: Add more data flow tests

2019-12-10 15:46:31 +01:00

DataFlowUnoptimized.cs_

C#: Add tests for maybe-null CIL methods

2019-05-28 10:05:33 +02:00

DataFlowUnoptimized.dll

C#: Add tests for maybe-null CIL methods

2019-05-28 10:05:33 +02:00

Nullness.expected

C#: Fix false-positives in cs/dereferenced-value-may-be-null

2020-07-28 16:27:36 +02:00

Nullness.ql

C#: Improve nullness and control flow by using CIL for null and throwing callables.

2019-03-12 16:13:29 +00:00

TaintTracking.expected

C#: Update expected test output

2019-06-17 20:07:54 +02:00

TaintTracking.ql

C#: Nested field flow

2019-08-23 09:25:05 +02:00

TrivialProperties.expected

C#: Fix bug in dataflow library.

2019-03-18 17:59:56 +00:00

TrivialProperties.ql

C#: Fix bug in dataflow library.

2019-03-18 17:59:56 +00:00