NullValueAnalysis: Early version.
Fixed NullValueAnalysisTests
NullValueAnalysisTests: New failing test case (with if statement).
NullValueAnalysis: Early support for binary operators. Throw exception when handling +=/-=/etc. since the code didn't consider that case yet anyway.
NullValueAnalysis: Handle simple equality comparisons.
NullValueAnalysisTests: Fixed unit test.
NullValueAnalysis: Added support for logical or expressions and unary expressions.
NullValueAnalysis now supports while loops, assignment statements and empty statements.
Tweaked the algorithm to be a bit smarter (but also slower, since each node might be visited more times now).
Added tests.
NullValueAnalysis now supports for statements.
NullValueAnalysis: Added support for lambdas. Still needs more testing to ensure it is right.
Early primitive support for invocation expressions.
NullValueAnalysis: Improved support for invocation expressions (including out/ref parameters).
NullValueAnalysis: Added support for constants, conditional expressions and null coallescing expressions.
NullValueStatus.EscapedUnknown renamed to CapturedUnknown
NullValueAnalysis: Organized using section.
NullValueAnalysis: Fixed excessively conservative capture detection.
NullValueAnalysis: Improved captured unknown values.
Merge branch 'master' into luiscubal-smart-coallescing
NullValueAnalysis: Now stores the null result of expressions.
Fixed bug in right side of ?? expressions.
Handle object creation expressions.
ConstantNullCoalescingConditionIssue: Early "smart" version, based on NullValueAnalysis.
Fixed bug in expression result -- the result of CombineStatus was not used.
Constant Null coalescing issue is now grays only the redundant part.
NullValueAnalysis: Early support for member reference expressions.
NullValueAnalysis: Fixed bug DefinitelyNotNull+incoming Unknown should be Unknown, not PotentiallyNull.
Added support for the remaining binary operators.