Tom Hvitved 6c182564e7 C#: Adjustments to CIL/nullness analyses ...

- Cache predicates in the same stage using a cached module.
- Introduce `DefUse::defUseVariableUpdate()` and use in `CallableReturns.qll`.
  The updated file `csharp/ql/test/library-tests/cil/dataflow/Nullness.expected`
  demonstrates why this is needed.
- Utilize CIL analysis in `Guards::nonNullValue()`.
- Analyze SSA definitions in `AlwaysNullExpr`, similar to `NonNullExpr`.

2019-03-22 15:11:31 +01:00

..

A.cs

C#: Update nullness analyses

2018-11-30 17:41:31 +01:00

Assert.cs

C#: Add more nullness tests

2018-11-30 17:02:05 +01:00

B.cs

C#: Address review comments

2018-12-07 09:40:49 +01:00

C.cs

C#: Update nullness analyses

2018-11-30 17:41:31 +01:00

D.cs

C#: Fix a bug and generalize guards implication logic

2018-12-03 15:33:00 +01:00

E.cs

C#: Improve CFG for assignments

2019-02-16 19:19:24 +01:00

EqualityCheck.expected

C#: Add more nullness tests

2018-12-14 12:03:32 +00:00

EqualityCheck.ql

C#: Teach guards library about conditional assignments

2018-11-30 17:41:36 +01:00

Forwarding.cs

C#: Update nullness analyses

2018-11-30 17:41:31 +01:00

GuardedString.cs

C#: Add more nullness tests

2018-11-30 17:02:05 +01:00

Implications.expected

C#: Adjustments to CIL/nullness analyses

2019-03-22 15:11:31 +01:00

Implications.ql

C#: Add more nullness tests

2018-11-30 17:02:05 +01:00

NullAlways.expected

C#: Address review comments

2018-12-07 09:40:49 +01:00

NullAlways.qlref

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

NullAlwaysBad.cs

C#: Update nullness analyses

2018-11-30 17:41:31 +01:00

NullAlwaysGood.cs

C#: Update nullness analyses

2018-11-30 17:41:31 +01:00

NullCheck.expected

C#: Add more tests

2019-01-18 12:07:22 +01:00

NullCheck.ql

C#: Add more nullness tests

2018-11-30 17:02:05 +01:00

NullMaybe.expected

C#: Improve CFG for assignments

2019-02-16 19:19:24 +01:00

NullMaybe.qlref

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

NullMaybeBad.cs

C#: Sync the -Good and -Bad files in the qltest to match the sample.

2018-12-12 11:36:00 +00:00

NullMaybeGood.cs

C#: Sync the -Good and -Bad files in the qltest to match the sample.

2018-12-12 11:36:00 +00:00

StringConcatenation.cs

C#: Add more nullness tests

2018-11-30 17:02:05 +01:00