Around a year ago, for 4.0, I said I didn't like the changes to Value Analysis that required using JetBrains attributes for marking methods etc as not accepting nulls and so on. I didn't like either of the options: polluting my code with attributes from a different (JetBrains) namespace, or linking deployed products to a 'development' DLL.
The previous option of being able to configure ReSharper with a list of methods that were known to be assertion methods, or were known to not accept nulls, or were known to accept format strings, seemed better to me.
This came back to me this week when I looked at Microsoft's Code Contracts. Code Contracts looks like it could be a really useful project, but it's frustrating that there's no way I can configure ReSharper to know about any of the contracts. So if I use it, I can't take advantage of ReSharpers analyses. I just can't put attributes on Microsoft's methods. And since those methods are static, I can't inherit them. (I'm not going to try encapsulating the Code Contract methods within my own because Code Contracts does IL analysis and rewriting and I don't want to confuse that in any way.)
So please, for 4.5 can you give us back the functionality we had in 3.0, and let us configure what ReSharper uses for value analysis? Please?
(Making 4.5 'aware' of Code Contracts isn't the right answer, I think.)