locked
Checking Code Contracts with static analyzer RRS feed

  • General discussion

  • Hello, I am an employee of "Program Verification Systems" company. We develop PVS-Studio static code analyzer for C/C++/C++11/C++14/C#. To demonstrate the capabilities of our analyzer, we regularly perform analysis of open source projects. We had recently checked the Code Contracts project.

    Here is the link to the article about it: http://www.viva64.com/en/b/0361/
    Official page of the analyzer: http://www.viva64.com/

    If you have any questions, or if you are interested in the evaluation of our static analyzer or in any other source code quality control services that our company provides, please contact us at support@viva64.com.
    Tuesday, December 15, 2015 1:19 PM