基于Source Insight_Scan的C/C++静态代码检查工具安装说明
基于Source Insight_Scan的C/C++静态代码检查工具安装说明
//文中软件地址 Source Insight :链接:https://pan.baidu.com/s/1EHENTG4Ll3TzLyqMQZuhbQ 密码:q29m
//Source Insight_Scan地址:链接:https://pan.baidu.com/s/1vtsCouAu7RScGUCvN-KaPg 密码:4ess
在嵌入式软件开发中,对代码质量保证一直都是需要重要考虑的问题,利用人肉眼走查等等方式不但效率低下,能检查出来的错误也有限,而cppcheck、pclint这些工具使用繁琐,安装耗时耗力。在经过了几天查找之后,笔者发现了在Source Insight中集成了一个叫Source Insight_Scan的插件,安装非常简单,同时只需要将整个工程导入Source Insight中直接走查(Source Insight不会对代码进行编译)。
sourceinsight-scan 是一款集成在 SourceInsight 中的c/c++代码静态分析插件,集成了cppcheck,coverity,pclint等业界优秀的静态分析工具的优点。
旨在帮助开发人员,在IDE中快速发现编译器无法发现的非语法错误,降低修复成本。
无需编译,平均扫描速度高达10W行/分钟,快速帮您发现潜在的质量风险,包括空指针,越界,内存泄漏及潜在的逻辑错误,平均准确率高达80%。
支持个性化定制需求,包括规则配置,误报屏蔽,路径屏蔽,配置自定义判空宏等。
SourceInsight_Scan配置&使用说明
1. 安装说明:
双击打开SourceInsight_Scan_Setup.exe进行安装
2. 配置说明:
Ø Step1:打开菜单栏上 Project\Open Project\Base 工程(中文版本SI【基本】工程)
Ø Step2:添加插件文件到Base工程中
单击Project/Add and Remove Project Files (项目/添加和移除项目文件), 在File Names:中拷贝C:\SourceInsight_Scan\SourceInsight_Scan.em,后点击Add添加到Base项目中。
如图所示: Add后SourceInsight_Scan.em出现在下侧的ProjectFiles后,直接点击close即可。
然后请在Project/Close Project (项目/关闭项目) 点击,关闭Base项目。
如果出现如图所示,是否需要同步符号,点击【是】。
Ø Step3:添加菜单
选择Options/Menu Assignment(中文版本为:选项,菜单关联),找到Macro宏:
Si_Scan_Current_Project (扫描整个项目)
Si_Scan_Current_File (扫描当前打开文件)
Si_Scan_Config (扫描规则配置)
依次添加到你需要的Menu中,如Work菜单。
如图:选中Marco=>选择<end of menu>=>Insert
Tips:可以在Command中,输入Si_Scan_快速找到这几个命令
//中文版本添加界面如图:
Ø Step4:设置Jump按键
选择Options/Key Assignment(中文版本为:选项,菜单关联),找到Macro宏:
Si__Key_Assign (设置Jump键,用于弹出错误List),如图
//注:此快捷键必须设置为Ctrl+Alt+Shift+J。
Tip:在SI右上角Work目录出现对应的Scan配置项即表示配置成功!
全部配置只需要配置一次既可以在SI全部项目中使用。
3. 使用说明
Ø 打开您的C/C++项目,在Work中有三个菜单项
Si_Scan_Current_Project (扫描整个项目)
Si_Scan_Current_File (扫描打开的一个文件。多个文件打开时,默认扫描激活窗体文件。)
Si_Scan _Config (扫描规则配置)
点击Si_Scan_Current_Project / Si_Scan_Current_File 启动扫描后,结果如下。
qoc_samples示例项目扫描结果:
可以通过 双击.或者右键 直接在SourceInsight中打开源代码,定位到指定报错行。
点击右键,可以对误报错误进行屏蔽(该文件所有md5相同的错误都将一起被屏蔽)
点击右键,可以切换报错list和屏蔽list。
【注1】SourceInsight的项目工程路径可能和代码路径不一致。
当您的某项工程进行全量扫描时,添加代码扫描的文件夹
【注2】
扫描工程和SourceInsight完全异步,不影响您的正常使用SourceInsight,启动扫 描后,等待结果即可
Ø 扫描配置自定义配置:
点击Si_Scan _Config,弹出规则自定义窗体,直接进行配置:
详细可以在Si_Scan _Config配置对话框中查阅,如图:
基于Source Insight_Scan的C/C++静态代码检查工具安装说明的更多相关文章
- Python静态代码检查工具Flake8
简介 Flake8 是由Python官方发布的一款辅助检测Python代码是否规范的工具,相对于目前热度比较高的Pylint来说,Flake8检查规则灵活,支持集成额外插件,扩展性强.Flake8是对 ...
- [原创]Java静态代码检查工具介绍
[原创]Java静态代码检查工具介绍 一 什么是静态代码检查? 静态代码分析是指无需运行被测代码,仅通过分析或检查源程序的语法.结构.过程.接口等来检查程序的正确性,找出代码隐藏的错误和缺陷,如参数 ...
- 静态代码检查工具 cppcheck 的使用
CppCheck是一个C/C++代码缺陷静态检查工具.不同于C/C++编译器及其它分析工具,CppCheck只检查编译器检查不出来的bug,不检查语法错误.所谓静态代码检查就是使用一个工具检查我们 ...
- 静态代码检查工具 cppcheck 的使用(可分别集成到VS和QT Creator里)
CppCheck是一个C/C++代码缺陷静态检查工具.不同于C/C++编译器及其它分析工具,CppCheck只检查编译器检查不出来的bug,不检查语法错误.所谓静态代码检查就是使用一个工具检查我们写的 ...
- C#静态代码检查工具StyleCode
C#静态代码检查工具StyleCode -- 初探 最近我们Advent Data Service (ADS) 在项目上需要按照代码规范进行代码的编写工作,以方便将来代码的阅读与维护. 但是人工检查起 ...
- PC-lint 简明教程(C/C++静态代码检查工具)
前言 PC-lint是一款小而强大的C/C++静态代码检查工具,它可以检查未初始化变量,数组越界,空指针等编译器很难发现的潜在错误.在很多专业的软件公司如Microsoft,PC-Lint检查无错误无 ...
- 静态代码检查工具-PMD初学者入门篇
前言: PMD是一款静态代码分析工具,它能够自动检测各种潜在缺陷以及不安全或未优化的代码. PMD更多地是集中在预先检测缺陷上,它提供了高度可配置的丰富规则集,用户可以方便配置对待特定项目使用那些规则 ...
- Docker+Jenkins持续集成环境(3)集成PMD、FindBugs、Checkstyle静态代码检查工具并邮件发送检查结果
为了规范代码,我们一般会集成静态代码检测工具,比如PMD.FindBugs.Checkstyle,那么Jenkins如何集成这些检查工具,并把检查结果放到构建邮件里呢? 今天做了调研和实现,过程如下 ...
- 静态代码检查工具-PMD刚開始学习的人入门篇
前言: PMD是一款静态代码分析工具.它能够自己主动检測各种潜在缺陷以及不安全或未优化的代码. PMD很多其它地是集中在预先检測缺陷上.它提供了高度可配置的丰富规则集,用户能够方便配置对待特定项目使用 ...
随机推荐
- machine learning (5)---learning rate
degugging:make sure gradient descent is working correctly cost function(J(θ)) of Number of iteration ...
- JAVA面试中需要准备的点
零基础入门学习Java,如何准备Java初级和高级的技术面试 本人最近几年一直在做java后端方面的技术面试官,而在最近两周,又密集了面试了一些java初级和高级开发的候选人,在面试过程中,我自认 ...
- vue3 RFC初尝试
由于vue3.x还没有正式发布,所以可以通过安装包vue-function-api提前尝试 npm install vue-function-api --save main.js import Vue ...
- 华硕ASUS U5800GE驱动
重要的触摸板 微软商店 ASUS Keyboard Hotkeys 设备管理器 人体学输入设备 ASUS Precision Touchpad (ScreenPad) Asus ScreenPad D ...
- python API _ 1 (EasyDict)
作用:参数调用文件一:from easydict import EasyDict as edictimport numpy as np config = edict() config.IMG_HEIG ...
- Tensorflow细节-P84-梯度下降与批量梯度下降
1.批量梯度下降 批量梯度下降法是最原始的形式,它是指在每一次迭代时使用所有样本来进行梯度的更新.从数学上理解如下: 对应的目标函数(代价函数)即为: (1)对目标函数求偏导: (2)每次迭代对参数进 ...
- [俺们学校的题]伪.GCD
GCD 题面: 给定整数N,求1<=x,y<=N且Gcd(x,y)为素数的数对(x,y)有多少对. 思路: 首先两个数gcd(x,y)=p为质数,那么令x=k1*p,y=k2*p,由于是最 ...
- learning java Objects.requireNonNull 当传入参数为null时,该方法返回参数本身
System.out.println(Objects.hashCode(obj)); System.out.println(Objects.toString(obj)); System.out.pri ...
- IIS相关的常见报错
1.错误消息 401.3: 无权限 您无权使用您提供的凭据查看此目录或页(由于访问控制列表而导致访问被拒绝).请让 Web 服务器的管理员授予您访问“E:\IIS_Deploy\WebServices ...
- Open Judge 1.4 09
09:判断能否被3,5,7整除 总时间限制: 1000ms 内存限制: 65536kB 描述 给定一个整数,判断它能否被3,5,7整除,并输出以下信息:1.能同时被3,5,7整除(直接输出3 5 ...