PVS‑Studio 7.43 for macOS, Linux & Windows - 代码质量安全静态分析

PVS‑Studio 7.43 for macOS, Linux & Windows - 代码质量安全静态分析

PVS‑Studio - 代码漏洞扫描工具 | 静态代码测试 | 代码安全分析

请访问原文链接:https://sysin.org/blog/pvs-studio/ 查看最新版。原创作品,转载请保留出处。

作者主页:sysin.org


PVS-Studio 徽标:酷炫的独角兽

C、C++、C# 和 Java 代码静态分析器

PVS‑Studio 是一款静态分析器,可保护代码质量、安全性 (SAST) 和代码安全

何时需要使用 PVS‑Studio 分析仪

对于开发者

  • 开发过程中偶尔会出现错误
  • 搜索错误时的调试工作很耗时
  • 错误会进入版本控制系统
  • 一旦错误被QA专家发现,调试那段代码将变得困难

对于管理者

  • 由于存在bug,需要频繁地回到旧任务中
  • 用户报告产品中存在错误
  • 即使招聘了更多的开发者 (sysin),也发现代码质量在下降
  • 随着代码量的增加,很难评估其质量和可靠性

对于安全专业人士

  • 外部代码审计困难
  • 潜在客户要求使用这类工具
  • 客户要求在开发中遵守安全和可靠性标准

新增功能

PVS-Studio 7.43 更新内容

发布日期:2026 年 6 月 10 日

PVS-Studio 7.43:Team 许可证支持 Unreal Engine、扩展 MISRA C++ 2023 支持、增加 Zephyr SDK 支持等

  • 已将 Unreal Engine 项目分析功能开放至 PVS-Studio Team 许可证。此前,该功能仅在 Enterprise(企业版)许可证中提供。了解更多。

  • 持续扩展对 MISRA C++ 2023 编码标准的支持 (sysin)。此次更新中,MISRA 诊断组的 12 条现有诊断规则 已适配 MISRA C++ 2023 标准。了解更多。

  • 新增对使用 Zephyr SDK 编译器构建项目的分析支持,可通过 构建监控(Build Monitoring)和 compile_commands.json 进行项目分析。了解更多。

  • 增强了 C/C++ 分析器的跨过程循环分析(Interprocedural Loop Analysis)能力。分析器现已能够评估 规范形式循环(Canonical Loops),并在分析过程中考虑变量可能的取值范围。

更多细节请参阅官方文档。

下载地址

小版本更新仅保留最新版。

PVS‑Studio 7.43 for macOS (2026-06-10)

PVS‑Studio 7.43 for Linux (2026-06-10)

PVS‑Studio 7.43 for Windows (2026-06-10)

更多:HTTP 协议与安全

posted @ 2026-06-13 08:00  sysin  阅读(7)  评论(0)    收藏  举报