9 Commits

Author	SHA1	Message	Date
Tom Hvitved	06dbec78f7	C#: Add Guard::controlsBasicBlock() and simplify Guard::isEquality()	2020-09-21 16:15:12 +02:00
Tom Hvitved	4ca5e3755f	C#: Add false-positive test for NullMaybe.ql	2020-03-31 14:06:16 +02:00
Tom Hvitved	40fafc5fda	C#: Teach comparison library about dynamic comparison operations	2019-09-20 09:51:35 +02:00
Tom Hvitved	cb7db8f4c0	C#: Add more nullness tests	2019-09-20 09:18:55 +02:00
Tom Hvitved	51d093add0	C#: Address review comments	2019-06-25 17:01:48 +02:00
Tom Hvitved	a1e58cedac	C#: Refactor recursive patterns implementation ... - Extract names of properties in a propery match, using the `exprorstmt_name` relation. - Simplify extraction of properties by not distinguishing between top-level patterns and nested patterns. - Introduce `PatternExpr` to capture patterns in `is` expressions, `case` statements, and `switch` expression arms. - Generalize `IsTypeExpr`, `IsPatternExpr`, `IsRecursivePatternExpr`, and `IsConstantExpr` to just `IsExpr` with a member predicate `PatternExpr getPattern()`. - Generalize `TypeCase`, `RecursivePatternCase`, and `ConstCase` to just `CaseStmt` with a member predicate `PatternExpr getPattern()`. - Introduce classes `Switch` and `Case` as base classes of switch statements/expressions and case statements/switch expression arms, respectively. - Simplify CFG logic using the generalized classes. - Generalize guards library to cover `switch` expressions tests. - Generalize data flow library to cover `switch` expression assignments.	2019-05-24 13:49:05 +01:00
Tom Hvitved	287ce4e683	C#: Add more nullness tests	2018-12-14 12:03:32 +00:00
calum	3037b2b197	C#: Sync the -Good and -Bad files in the qltest to match the sample.	2018-12-12 11:36:00 +00:00
Tom Hvitved	ab9aa7d338	C#: Teach guards library about conditional assignments ... For example, in ``` void M(object x) { var y = x != null ? "" : null; if (y != null) x.ToString(); } ``` the guard `y != null` implies that the guard `x != null` must be true.	2018-11-30 17:41:36 +01:00