在 Visual Studio 中执行 Polyspace as You Code 分析

在 Visual Studio^® IDE 中进行开发时，Polyspace^® as You Code 可帮助您查找缺陷和编码标准违规。您可以在编写代码期间运行分析并修复检查结果，从而避免在开发周期后期查找 Bug。当连接到 Polyspace Access™ 中央存储库后，Polyspace as You Code 会与开发基线比较并突出显示新问题。

本指南中的示例向您展示如何执行以下操作：

这些示例假定您具有实际使用 Visual Studio 的经验。

在开始第一步之前：

确认您的计算机上已安装 Polyspace as You Code。请参阅在 Visual Studio 中安装 Polyspace as You Code 扩展。
使用您自己的代码或将以下代码复制并粘贴到 Visual Studio，以按照本指南的要求进行操作。

example.hpp

#include <string>

class Demo {
    void myFunction(std::string buffer) const{

    }
};

example_source.cpp

#include "example.hpp"


int simple_defect(){
    uint32_t x = -1;
    x++;
    return 1 / x; 
}

对于第一个示例，请参阅在 Visual Studio 中配置 Polyspace as You Code。