Share via

Welcome to my blog!

  • Article

Hello. I've decided to start a blog to help CodeContracts users, present some tricks to get the best from the tools, in particular the static checker and in general to give some update on what's new and cool in the program analysis and verification environments as well as to explain some of the theory and the concepts that are at the base of static analysis and verification

Comments

  • Anonymous
    September 06, 2014
    I look forward to reading your posts!

  • Anonymous
    September 08, 2014
    Hey! Can you do a blog post that explains how to go about configuring each csproj for Code Contracts? That part always confuses me, and not in the least bit because there are well over 20 checkboxes to choose from. Thanks!

  • Anonymous
    September 09, 2014
    Hi Steven, I will be happy to do it. Just a clarification do you want us to explain the UI options or how to create a common property files shared among different projects

  • Anonymous
    September 09, 2014
    Will you start posting release notes announcements here as well? We are currently waiting for the release notes for the last two releases to become available and we are not alone as we can see on the forum  (se the social.msdn.microsoft.com/.../please-update-the-release-notes)

  • Anonymous
    September 09, 2014
    There is persistent issue with Code Contracts setup. On trying to update through the Extension and Tools menu in VS 2013 Update 3, the msi gets downloaded. Even after running the msi however, VS2013.3 still shows as requiring update. This is a persistent issue with Code Contracts msi. Please correct

  • Anonymous
    September 11, 2014
    The comment has been removed

  • Anonymous
    September 12, 2014
    Thank you very much for the proposed items. We are taking note of them, we will address them (and please keep suggesting) f