Ben Zorn - Memory robustness with RobustHeap

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.
There are several reasons to put the contracts into the code as opposed to using custom attributes. hillr's reply is definitely one of the big reasons. You can see our comments on this topic in our FAQ: https://msdn.microsoft.com/en-us/devlabs/dd492004.aspx.