Parasoft静态代码扫描配置使用指导-创新互联

一、环境要求

CPU：I7 12核心以上
OS：Ubuntu 1604以上操作系统
硬盘：1T以上空间
内存：32G以上
编译器：GUN GCC/ARM GCC/…

二、Parasoft C/C++ Test 安装
2.1、Parasoft C/C++ Test 安装方法
绿色安装包cpptest.tar.gz

Tar命令解压：tar xvf ./cpptest.tar.gz -C ./



2.2、配置liences
运行cpptest

选择parasoft c/c++ test的工作空间（非安装目录）

菜单->Parasoft->选项->许可证->配置
选中：使用许可证服务器
主机名：192.168.130.94
端口：8080

确认：

１、许可正常

２、版本为Automation Compliance Edition

点 应用并关闭

三、创建BugDetective文件(bdf)

专有名词理解：

BDF文件: BugDetective 项目文件

通俗的说bdf文件是通过parasoft c/c++ test的 cpptesttrace工具在代码正常编译的过程中对所有要编译的代码（如: .c .h）文件的一个遍历记录。

cpptest安装目录:cpptest工具安装的目录。

如：/mnt/work/tools/cpptest

cpptest workspace目录：cpptest的工作目录。

如：/home/ubuntu/parasoft/workspace

待测试代码工程可编译运行的目录。

如：/mnt/work/mcu

待测试代码工程的编译命令

如：在 /mnt/work/mcu 目录下执行 ./MCU/start.sh

运行如下命令：

cd /mnt/work/mcu

export PATH=$PATH:/mnt/work/tools/cpptest:/mnt/work/tools/cpptest/bin

cpptesttrace \

--cpptesttraceOutputFile=/mnt/work/mcu/mcu.bdf \

--cpptesttraceProjectName=Alita_MCU \

./MCU/start.sh

开始编译代码，会有/mnt/work/mcu/mcu.bdf 文件生成，等代码编译完成后，就是我们需要的bdf 文件。

四、通过bdf文件创建静态扫描项目
4.1、编译器配置
如果编译代码的编译器不是常用的GUN C/C++编译器，比如是arm-gcc 就需要重新配置编译器选项，同一种编译器只需要配置一次，下次使用可以在列表中选择。

本文配置的例子已经配置好，无需再配置，如有新的编译器需要按照本文档重新配置。

打开 cpptest主界面

菜单->文件->新建->其他

向导框输入：编译

列表中选中：自定义编译器


找到编译器目录确认一些信息

编译器名：arm-none-eabi-gcc

版本号：10.3.1

目录：xxxxxxxxxx

根据上一页得出的信息

第一步 选GUN GCC 10.x(x86_64)作为模板

第二步 选择编译器的可执行文件

第三步 填写编译器名

第四步 填写编译器标识符，一般是编译器名＋版本号

点下一步，找到配置文件的目录复制后再点完成

打开目录，发现有三个配置文件。


分别删除三个文件中的所有　-m64的参数并保存。

目录退后一级

把gcc-arm-none-eabi-10.3的目录剪切到 /mnt/work/tools/cpptest/bin/engine/etc/compilers目录下

4.2、通过bdf生成静态扫描的项目
重新打开cpptest

菜单->文件->新建->项目




完成

在资源管理器中会列出项目及项目下所有文件的树型列表

五、静态扫描并输出报告
5.1、基于内建规则创建用户自定义规则
cpptest菜单->Parasoft->测试配置->内建->Automotive Pack->MISRA C 2012

选中后鼠标点右键－＞复制

在 用户自定义－＞Compliance Pack->Automotive Pack 下多了一个内建MISRA C 2012的拷贝

自定义的规则 “MISA C 2012” 改名 成 “MISRA_C_2012_UD”

5.2、修改静态规则
根据需求修改检查项再点 应用 和 关闭

一般修改的方法为：

删除 “建议项”扫描规则。

保留 “必须项”和“强制项”

5.3、静态测试分析
项目资源管理－＞Parasoft－＞测试执行－＞用户自定义－＞Compliance Packs->Automotive Pack->MISRA_C_2012_UD




5.4、生成报告




六、命令的方式创建项目和静态检查
6.1、用cpptest导出localsettings.properties
菜单->parasoft->选项->parasoft



增加编译器配置

打开localsettings.properties

增加编译器配置

6.2、用cpptestcli命令通过bdf文件生成静态检查工程

export PATH=$PATH:/mnt/work/tools/cpptest:/mnt/work/tools/cpptest/bin

cpptestcli -data /home/ubuntu/parasoft/workspace \

-bdf /mnt/work/mcu/mcu.bdf \

-localsettings /home/ubuntu/parasoft/workspace/localsettings.properties

6.3、用cpptestcli命令进行静态检查并输出报告

export PATH=$PATH:/mnt/work/tools/cpptest:/mnt/work/tools/cpptest/bin

cpptestcli -data /home/ubuntu/parasoft/workspace -resource "Alita_MCU" \

-config "user://MISRA_C_2012_UD" \

-localsettings /home/ubuntu/parasoft/workspace/localsettings.properties \

-report /mnt/work/mcu/report

你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧