4 Commits

Author	SHA1	Message	Date
Tom Hvitved	ab85b2c2d2	C#: Add is not null guards test	2021-01-25 13:52:17 +01:00
Calum Grant	2eb29224e8	C#: Update guards tests.	2020-01-07 18:39:51 +00:00
Tom Hvitved	c68dfb9d68	C#: Switch expression guards	2019-05-29 13:50:42 +02:00
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