Visual Studio C++静态检查需三者叠加：/W4编译器警告（必开，捕获隐式转换等隐患）、/analyze（独立控制流分析，发现空指针解引用等运行时问题）、C++ Core Guidelines（依赖/analyze，检查裸指针滥用等高阶问题）。
Visual Studio 自带多层静态检查能力，不是靠装插件，而是靠编译器警告、/analyze 和 C++ Core Guidelines 分析三者叠加——关掉任意一层都可能漏掉关键问题。
启用 /W4 编译器警告（C++ 项目必开）
默认的 /W3 会放过大量隐式类型转换、未使用变量、无返回值路径等隐患。必须手动升级到 /W4，否则 int x = 3.14; 这类截断不会报错。
- 右键项目 → “属性” → “C/C++” → “常规” → “警告等级” → 选“等级4(/W4)”
- 勾选“将警告视为错误”（
/WX）能强制修复，但建议先不勾，避免阻断构建流程 -
/W4在 Release 配置下也生效，但某些警告（如C4100未使用形参）在优化后可能消失，调试配置更可靠
开启 /analyze 静态分析（深度内存与逻辑检查）
/analyze 不是编译器警告的加强版，而是独立的控制流与数据流分析引擎，能发现 delete 后再解引用、空指针解引用、缓冲区溢出等运行时才暴露的问题。
Visual Studio Professional 18.8.1
下载
Visual Studio 18.8.1 官方固定版本安装引导程序，当前条目使用微软发布历史中的 Professional Web Installer，适合旧项目兼容、环境回退、复现特定构建链和排查版本差异等场景。
- 项目属性 → “C/C++” → “常规” → “启用 C++ 代码分析” → 设为“是”
- 注意：它默认只在 Debug 配置下启用；若要在 Release 下跑，需额外勾选“启用 C++ 代码分析（Release）”
- 分析耗时明显增加，大型项目建议仅在 CI 或每日构建中开启，开发时可临时关闭
- 常见误报如
C6001（使用未初始化内存），实际是 SAL 注释缺失导致，不是代码真有问题
启用 C++ Core Guidelines 检查（现代 C++ 实践落地）
这是微软对 Stroustrup 等人提出的 C++ Core Guidelines 的实现，检查范围包括裸指针滥用、异常安全、资源管理等更高阶问题，比如 new 而不配 delete、用 auto_ptr（已弃用）等。
- 项目属性 → “C/C++” → “代码分析” → “规则集” → 选
CppCoreCheck.ruleset - 它依赖
/analyze，必须先开启静态分析才能生效 - 部分规则（如
ES.78禁止goto）过于教条，可右键“错误列表”中的具体警告 → “配置规则集” → 取消勾选对应项 - 输出中会出现类似
C26495（变量未初始化）、C26440（应使用gsl::span）这类编号，需查 Microsoft 官方文档对应含义
Python 项目用 PyLint/Mypy 做 Lint 检查
VS 对 Python 的静态检查不走编译器路径，而是调用外部工具。PyLint 侧重编码规范和潜在 bug，Mypy 专注类型一致性——两者互补，不能只用一个。
- 右键 Python 项目 → “Python” → “运行 PyLint” 或 “运行 Mypy”
- 首次运行会提示安装，VS 默认用项目虚拟环境，确保该环境已激活并含
pylint或mypy - 配置文件
.pylintrc必须放在项目根目录（即含.pyproj的文件夹），否则 VS 找不到 - Mypy 报错如
error: Argument 1 to "len" has incompatible type "None"，说明你传了可能为None的值给len()，得加if x is not None:判断
最容易被忽略的是：C++ 的 /analyze 和 Python 的 Lint 都不会自动扫描头文件或 .py 以外的文件（比如 JSON 配置、SQL 脚本），这些地方的逻辑错误只能靠单元测试或人工 review 补足。
