icsharpcode/NRefactory — pull request #332 by luiscubal (2013-09-12 20:11:46+00:00)
Title: NullValueAnalysis: Implemented JetBrains.Annotations NotNull and MayBeNull attributes

See the unit tests for some examples.
Note: This currently has no effect on the initial value of parameters (it still uses `IsParametersAreUninitialized`) nor ref/out parameters (which are still made Unknown).