没有合适的资源？快使用搜索试试~
我知道了~
文库首页
后端
C
代码静态分析工具试用总结--SpecChecker
代码静态分析工具试用总结--SpecChecker
代码静态分析
工具试用
需积分: 50
20 下载量
134 浏览量
2018-08-06
20:48:52
上传
评论
收藏
33KB
MMAP
举报
温馨提示
立即下载
开通VIP（低至0.43/天）
买1年送1年
从代码静态分析的5个方面分析SpecChecker工具的特点，有助于从各个代码静态分析工具中选用适合自己的
资源推荐
资源评论
代码静态分析工具
浏览：20
PC-Lint 是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具，它的全称是PC-Lint/FlexeLint for C/C++，PC-Lint 能够在Windows、MS-DOS和OS/2平台上使用，以二进制可执行文件的形式发布，而FlexeLint 运行于其它平台，以源代码的形式发布。PC-lint 在全球拥有广泛的客户群，许多大型的软件开发组织都把PC-Lint 检
静态代码分析工具
浏览：77
4星 · 用户满意度95%
PVS-Studio静态代码分析工具作为一种工具来检测代码中的缺陷和商业代码分析对比。越来越多的领域依赖计算机，代码的质量就成了关键。比如航天、国防、工业控制、金融等对安全性，稳定性要求很高的领域。PVS-Studio 分析源代码或者生成的目标文件，并不实际运行源代码生成的文件。PVS-Studio 能发现一些潜在问题，或者针对某些潜在问题给出警告。
静态代码分析工具汇总
浏览：134
3星 · 编辑精心推荐
文档包括静态代码分析工具的汇总。 静态代码测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植
静态分析工具
浏览：43
FindBugs 是一个静态分析工具，它检查类或者 JAR 文件，将字节码与一组缺陷模式进行对比以发现可能的问题。有了静态分析工具，就可以在不实际运行程序的情况对软件进行分析。
代码分析工具
浏览：113
Eclipse is more than a state-of-the-art IDE: its Rich Client Platform (RCP) plug-ins form an outstanding foundation for any desktop application, from chat applications to enterprise software front-end
实验代码静态分析 软件工程实验报告
浏览：139
用于软件工程实验的报告 实现静态代码的分析 通过静态代码分析实验可以更加熟悉的掌握静态代码分析工具。
speckerchecker:用于检查与目录树中每个 JS 文件对应的 Spec 文件是否存在的小实用程序
浏览：169
斑点检查器 用于检查与目录树中每个 JS 文件对应的 Spec 文件是否存在的小实用程序 目的 ，一种流行的 Javascript 测试覆盖率工具，只检查已存在相应Spec文件的文件的覆盖率。 如果不存在Spec文件，则src文件不包含在覆盖率报告中。 有关历史，请参阅在 Stack Overflow 上的问题。 目标 检查spec树中是否存在与src树中的文件相对应的文件 允许规范和 src
单元测试工具 C++单元测试工具 静态代码分析 代码动态测试
浏览：170
单元测试工具 C++单元测试工具！静态代码分析 代码动态测试
代码分析工具Scientific.Toolworks.Understand.5.0.960-Linux-64bit
浏览：2
5星 · 资源好评率100%
代码分析工具Scientific.Toolworks.Understand.5.0.960-Linux-64bit【内含几个序列号，适用月x64 Linux 平台
源代码阅读分析工具
浏览：169
可直接连接github等代码托管网站的版本库，可在代码上建立批注，分享批注
代码静态分析工具PC-LINT安装配置
浏览：119
代码静态分析工具P代码静态分析工具PC-LINT安装配置C-LINT安装配置
网站伪静态的实现方法----内含说明与jar包
浏览：36
网站伪静态的实现方法----内含说明与jar包网站伪静态的实现方法----内含说明与jar包网站伪静态的实现方法----内含说明与jar包网站伪静态的实现方法----内含说明与jar包网站伪静态的实现方法----内含说明与jar包网站...
桁架结构有限元静态分析3D、2D-matlab代码
浏览：111
桁架结构有限元静态分析3D、2D-matlab代码
静态代码质量分析工具sonarqube-8.9.6.50800.zip
浏览：150
静态代码质量分析工具sonarqube-8.9.6.50800.zip
understand 静态代码分析工具
浏览：131
Understanding Understanding - Essays on Cybernetics and Cognition
代码分析器
浏览：180
代码分析器
PC_Lint C/C++ 软件代码 静态分析工具
浏览：86
4星 · 用户满意度95%
PC-Lint是C/C++软件代码静态分析工具，你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误，还可以检查出那些虽然符合语法要求但不易发现的潜在错误。 C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。PCLint识别并报告 C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的
cppcheck静态代码分析工具
浏览：153
c/c++静态代码分析工具,绿色版,解压安装就可以使用,Cppcheck只检查编译器检查不出来的Bug，不检查语法错误。
超强代码分析工具 Understand 4.0.793 Win32 Part1
浏览：153
4星 · 用户满意度95%
2015年7月最新 超过了source insight的代码分析工具， 可以直接出程序流程图，而且能直接导出到visio 包括调用关系等 程序猿的必备首选
4 种主流 Java 静态代码分析工具
浏览：12
java静态代码分析工具包括Checkstyle，FindBugs，PMD，Jtest
C Checker:简单的C Checker可以在编译之前验证格式是否正确-开源
浏览：86
用Perl 5.14+编写的Simple C Checker，可在编译之前验证格式是否正确。 它仅验证语法正确，不验证逻辑或伪代码。
一个Java，Object-C的静态检测工具，可帮助Android，IOS开发者检测一些潜在的bug及资源泄漏问题.zip
浏览：151
一个Java，Object-C的静态检测工具，可帮助Android，IOS开发者检测一些潜在的bug及资源泄漏问题.zip,A static analyzer for Java, C, C++, and Objective-C
针对Python的代码静态分析工具PySonar.zip
浏览：82
PySonar2 是王垠开发的，针对 Python 的代码静态分析工具，现在这项技术被著名的代码搜索引擎 Sourcegraph 使用，这是 PySonar 的第二个版本，第一个版本的使用者是 Google 内部，作为 Python 上百万行高质量语义...
C++静态代码分析工具PVS-Studio
浏览：50
PVS-Studio is a tool for detecting bugs and security weaknesses in the source code of programs, written in C, C++, and C#. It works in Windows, Linux, and macOS environment.
实验二 代码静态分析 - 副本.doc
浏览：160
使用cppcheck进行简单的代码静态分析。
财务管理第3章静态分析指标(统计学-湖北经济学院,李智).pptx
浏览：46
财务管理第3章静态分析指标(统计学-湖北经济学院,李智).pptx
静态源代码分析工具PVS-Studio说明文档
浏览：55
3星 · 编辑精心推荐
静态代码分析仪是一种检测代码缺陷、分析对比 商业代码的工具，它分析源代码和它生成的目标 ...控制、金融等就需要严格的代码分析工具。 PVS-Studio 能发现代码中一些潜在问题，或者 针对某些潜在问题给出警告
评论
收藏
内容反馈
立即下载
开通VIP（低至0.43/天）
买1年送1年
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
WowMannix
粉丝: 313
资源:
3
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
(源码)基于Android的账户管理系统.zip
bmr.202408.00059
功能性编程中的Continuation Passing Style (CPS) 及其应用 - 深入理解与实践
系统设计面试-第6章：key-value存储设计
COMP5076数字时代设计思维作业2: Python实现个人时间表管理系统
2024国际数据中心及云计算展览会CDCE VIP邀请通知
生成式人工智能AIGC发展及其法律规制探讨
(源码)基于mbed平台的BBCar控制系统.zip
大题习题及答案.rar
linux QP求解器 osqp和osqp-eigen包
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
