搜索

[14662] 2019-10-04_在Linux平台开发C++时用PVS-Studio静态分析代码

文档创建者：s7ckTeam
浏览次数：37
最后更新：2025-01-18
2019-10-04_在Linux平台开发C++时用PVS-Studio静态分析代码 在 L i n u x 平 台 开 发 C + + 时 用 P V S - S t u d i o 静 态 分 析 代 码 s e c i s t   F r e e B u f   2 0 1 9 - 1 0 - 0 4 P V S - S t u d i o 支 持 分 析 用 支 持 分 析 用 C ， ，   C + + ， ， C # 和 和 J a v a 开 发 的 项 目 。 你 可 以 在 开 发 的 项 目 。 你 可 以 在 W i n d o w s ， ， L i n u x 和 和 m a c O S 下 使 用 它 。 本 文 下 使 用 它 。 本 文 将 为 大 家 简 单 演 示 ， 如 何 在 将 为 大 家 简 单 演 示 ， 如 何 在 L i n u x 环 境 下 使 用 环 境 下 使 用 P V S - S t u d i o 来 分 析 来 分 析 C 和 和 C + + 代 码 。 代 码 。 安 装 安 装 在 L i n u x 下 安 装 P V S - S t u d i o 有 多 种 方 法 ， 这 具 体 取 决 于 你 的 发 行 版 类 型 。 最 方 便 和 首 选 的 方 法 是 使 用 存 储 库 ， 因 为 它 允 许 在 发 布 新 版 本 时 自 动 更 新 分 析 器 。 另 一 个 选 择 是 使 用 安 装 包 ， 你 可 以 在 这 里 找 到 它 。 安 装 命 令 也 因 你 使 用 的 L i n u x 发 行 版 而 异 。 例 如 ， 这 是 基 于 D e b i a n 的 存 储 库 安 装 命 令 ： 要 从 可 下 载 的 软 件 包 安 装 P V S - S t u d i o ， 你 可 以 使 用 g d e b i ： w g e t   - q   - O   -   h t t p s : / / f i l e s . v i v a 6 4 . c o m / e t c / p u b k e y . t x t   |   s u d o   a p t - k e y   a d d   - s u d o   w g e t   - O   / e t c / a p t / s o u r c e s . l i s t . d / v i v a 6 4 . l i s t   h t t p s : / / f i l e s . v i v a 6 4 . c o m / e t c / v i v a 6 4 . l i s t s u d o   a p t   u p d a t e s u d o   a p t   i n s t a l l   p v s - s t u d i o s u d o   g d e b i   p v s - s t u d i o - V E R S I O N . d e b
安 装 过 程 在 “ L i n u x 安 装 和 更 新 P V S - S t u d i o ” 文 档 部 分 有 更 详 细 的 描 述 。 你 还 可 以 在 那 里 找 到 非 D e b i a n 系 统 的 信 息 。 安 装 P V S - S t u d i o 后 ， 需 要 输 入 数 据 许 可 。 命 令 如 下 ： N A M E 和 K E Y 分 别 是 注 册 用 户 名 和 许 可 证 密 钥 。 可 选 参 数 - o 允 许 你 指 定 将 生 成 许 可 证 文 件 的 位 置 。 默 认 情 况 下 ， 它 将 被 存 储 在 ~ / . c o n f i g / P V S - S t u d i o / 目 录 中 。 如 果 你 需 要 试 用 密 钥 ， 可 以 在 “ 下 载 和 评 估 P V S - S t u d i o ” 页 面 上 获 取 。 检 查 你 的 项 目 检 查 你 的 项 目 安 装 完 成 后 ， 就 可 以 开 始 检 查 项 目 了 。 其 主 要 有 两 种 方 法 ： ： 1 . 编 译 监 控 。 2 . 直 接 从 构 建 系 统 运 行 。 我 们 先 来 谈 谈 第 一 种 方 式 。 要 在 L i n u x 下 启 动 监 视 ， 需 要 s t r a c e 程 序 。 P V S - S t u d i o 使 用 它 来 收 集 在 构 建 期 间 启 动 的 进 程 列 表 和 参 数 。 使 用 以 下 命 令 启 动 构 建 ： 这 里 使 用 m a k e ， 但 你 正 在 运 行 的 用 以 构 建 项 目 的 任 意 其 他 命 令 都 可 以 在 这 个 位 置 。 如 果 需 要 ， 你 还 可 以 用 通 常 的 方 式 将 命 令 行 参 数 传 递 给 它 。 构 建 之 后 ， s t r a c e 将 创 建 一 个 文 件 ， 然 后 分 析 器 将 使 用 该 文 件 来 检 查 源 代 码 。 启 动 分 析 的 命 令 如 下 。 这 将 生 成 一 个 编 码 的 日 志 文 件 ， 你 可 以 将 其 转 换 为 受 支 持 的 格 式 。 稍 后 我 们 将 讨 论 如 何 处 理 报 告 的 问 题 。 除 了 s t r a c e 之 外 ， 你 还 可 以 基 于 c o m p i l e _ c o m m a n d s . j s o n （ J S O N 编 译 数 据 库 ） 文 件 进 行 分 析 。 许 多 构 建 系 统 都 有 导 出 编 译 命 令 的 内 置 方 法 ， 或 者 你 可 以 使 用 B E A R 程 序 来 执 行 此 操 作 。 以 下 是 在 这 种 情 况 下 启 动 分 析 的 命 令 ： 请 注 意 ， 分 析 器 通 过 其 可 执 行 文 件 名 识 别 构 建 过 程 中 使 用 的 编 译 器 。 如 果 在 尝 试 分 析 项 目 时 遇 到 “ N o   c o m p i l a t i o n   u n i t s f o u n d ” 错 误 ， 请 尝 试 通 过 - c o m p i l e r 或 - c 命 令 行 键 显 式 指 定 编 译 器 的 名 称 ： 如 果 你 正 在 使 用 交 叉 编 译 ， 或 者 你 的 编 译 器 具 有 非 标 准 可 执 行 文 件 名 ， 则 可 能 需 要 此 项 。 除 监 控 模 式 外 ， 你 还 可 以 将 分 析 器 直 接 集 成 到 构 建 系 统 或 I D E 中 。 我 们 的 官 方 G i t H u b 存 储 库 提 供 了 已 配 置 集 成 的 示 例 项 目 ： p v s - s t u d i o - c m a k e - e x a m p l e s p v s - s t u d i o - q m a k e - e x a m p l e s p v s - s t u d i o - m a k e f i l e - e x a m p l e s p v s - s t u d i o - w a f - e x a m p l e s p v s - s t u d i o - e c l i p s e - e x a m p l e s p v s - s t u d i o - a n a l y z e r   c r e d e n t i a l s   N A M E   K E Y   [ - o   L I C - F I L E ] p v s - s t u d i o - a n a l y z e r   t r a c e   - -   m a k e p v s - s t u d i o - a n a l y z e r   a n a l y z e   - o   / p a t h / t o / p r o j e c t . l o g p v s - s t u d i o - a n a l y z e r   a n a l y z e   – f   / p a t h / t o / c o m p i l e _ c o m m a n d s . j s o n p v s - s t u d i o - a n a l y z e r   a n a l y z e   - c   M y C o m p i l e r
要 了 解 有 关 在 L i n u x 下 运 行 分 析 器 的 更 多 信 息 ， 请 参 阅 文 档 。 报 告 报 告 检 查 项 目 后 ， 分 析 器 会 创 建 一 份 编 码 报 告 。 要 将 其 转 换 为 受 支 持 的 格 式 ， 你 需 要 使 用 P V S - S t u d i o 安 装 附 带 的 p l o g - c o n v e r t e r 实 用 程 序 。 以 下 是 支 持 的 格 式 列 表 ： x m l - 一 种 便 于 进 一 步 处 理 分 析 结 果 的 格 式 ， S o n a r Q u b e 插 件 支 持 该 格 式 ； c s v   -   文 件 以 纯 文 本 形 式 存 储 表 格 数 据 （ 数 字 和 文 本 ） ; e r r o r f i l e   -   g c c 和 c l a n g 的 输 出 格 式 ； t a s k l i s t   -   可 以 在 Q t C r e a t o r 中 打 开 的 错 误 格 式 ； h t m l   -   h t m l 报 告 ， 包 含 分 析 结 果 的 简 短 描 述 ； f u l l h t m l   -   报 告 根 据 源 码 中 的 不 同 参 数 和 导 航 对 分 析 结 果 进 行 排 序 。 f u l l h t m l 格 式 是 查 看 报 告 最 方 便 的 格 式 ， 因 为 这 种 格 式 支 持 你 直 接 跳 转 到 你 感 兴 趣 的 警 告 相 对 应 的 代 码 行 。 以 下 是 将 你 的 报 告 转 换 为 该 格 式 的 命 令 ： 当 你 启 动 它 时 ， 名 为 / p a t h / r e p o r t _ d i r 的 新 创 建 目 录 将 包 含 所 有 报 告 文 件 。 注 意 - a 参 数 。 它 允 许 你 指 定 应 在 结 果 报 告 中 显 示 的 警 告 内 容 。 如 果 你 需 要 过 滤 分 析 器 的 输 出 ， 这 会 非 常 方 便 。 上 面 的 命 令 将 创 建 一 份 报 告 ， 其 中 将 仅 包 含 第 一 和 第 二 确 定 性 级 别 （ 高 和 中 ） 的 一 般 分 析 消 息 。 一 份 示 例 报 告 ： 通 过 在 消 息 的 位 置 单 元 格 中 单 击 ， 你 可 以 跳 转 到 相 应 的 代 码 行 ： p l o g - c o n v e r t e r   - a   G A : 1 , 2   - t   f u l l h t m l   / p a t h / p r o j e c t . l o g   - o   / p a t h / r e p o r t _ d i r
通 过 单 击 代 码 列 中 的 诊 断 代 码 ， 你 可 以 打 开 有 关 此 诊 断 的 文 档 。 抑 制 分 析 警 告 抑 制 分 析 警 告 使 用 任 何 静 态 分 析 器 检 查 源 代 码 时 ， 都 有 出 现 误 报 的 可 能 ， 或 者 出 现 一 些 无 关 紧 要 的 警 告 。 P V S - S t u d i o 具 有 抑 制 此 类 消 息 的 方 法 。 要 定 位 单 个 警 告 ， 你 可 以 使 用 “ 抑 制 错 误 警 报 ” 文 档 中 描 述 的 方 法 。 此 外 ， 在 检 查 旧 代 码 时 ， 你 可 能 还 希 望 抑 制 所 有 警 告 。 通 常 ， 如 果 你 只 是 想 检 查 添 加 到 现 有 代 码 库 的 新 代 码 ， 则 可 能 需 要 此 选 项 。 你 可 以 使 用 p v s - s t u d i o - a n a l y z e r 的 s u p p r e s s 参 数 。 你 可 以 使 用 以 下 命 令 批 量 抑 制 报 告 中 的 警 告 ： 有 关 已 抑 制 警 告 的 信 息 存 储 在 名 为 s u p p r e s s _ b a s e . j s o n 的 文 件 中 。 此 类 消 息 不 包 括 在 后 续 检 查 的 报 告 中 。 总 结 总 结 以 上 就 是 关 于 在 L i n u x 下 使 用 P V S - S t u d i o 的 简 要 说 明 。 我 希 望 它 有 用 并 解 答 一 些 最 常 见 的 问 题 。 如 需 了 解 有 关 本 主 题 的 更 多 内 容 ， 请 参 阅 此 处 的 文 档 。 * 参 考 来 源 ： 参 考 来 源 ： v i v a 6 4 ， ， F B 小 编 小 编 s e c i s t 编 译 ， 转 载 请 注 明 来 自 编 译 ， 转 载 请 注 明 来 自 F r e e B u f . C O M 精 彩 推 荐 精 彩 推 荐 p v s - s t u d i o - a n a l y z e r   s u p p r e s s   / p a t h / t o / r e p o r t . l o g

阅 读 原 文
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

Archiver| 手机版| 小黑屋|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理