求推荐一款代码检测软件

xiaobr17622 2013-05-21 02:23:06

想找一款代码的检测工具，最好能够单独运行的那种，主要用来检测变量命名不规范，变量没有初始化，内存泄露等相关的编译器检测不到的问题，最好能够进行设置，比如可以设置unsigned long型的变量前缀必须是什么。那位用过这种这种软件，帮忙推荐一下呀！

...全文

183 3 打赏收藏转发到动态举报

写回复

3 条回复

切换为时间正序

请发表友善的回复…

发表回复

xiaobr17622 2013-05-21

打赏
举报

回复

想偷懒看来是不行了

lbing7 2013-05-21

打赏
举报

回复

编码规范问题大概只能自己坚持...

vc8fans 2013-05-21

打赏
举报

回复

只用过代码格式化，就是不乱七八糟代码，可帮助你弄整齐 http://download.csdn.net/detail/akof1314/5142512

嵌入式软件的开发由于受到微处理器、RAM/ROM、IO等硬件环境的影响，其调试、问题定位和测试验证都很难像桌面/服务器软件开发那样便捷，尤其在集成阶段经常会遇到一些棘手的问题。保证交付的产品稳定、可靠、安全是嵌入式设备开发企业的始终追求，其中涉及到诸如研发流程、周期、成本、认证等制约，如何在有限条件下，破解嵌入式软件质量的难题是软件开发与测试团队必须应对的挑战。本课程将以C/C++代码静态分析技术为出发点，带您了解各种运行时的错误，介绍如何快速查找和debug，甚至证明你的代码零缺陷的多种高级操作。此外，课程还将带领大家全面了解Polyspace的强大功能，为打造高安全完整性系统保驾护航。

库博能更好的支持接口开发，提供的接口如：新建项目、执行检测项目、获取项目检测结果、导出检测结果报告等数十种接口，方便与用户内部软件环境的集成。北大库博工具团队近十年来，与国内众多重要研究机构、央国企、事业单位等，联合申报、攻关国家重要部委科研课题，取得了丰硕的科研成果。同时，支持多个行业重要软件测试工作，就行业领域合作展开科研攻关，共同发表顶会文章百余篇，成功申报国家国际奖项数十项，培养领域专业人才博士硕士数百人等。

《代码统计分析工具》一款代码统计、分析必备工具。支持 30多种源代码的统计，同时可以对项目的开发工数、成本、质量指标等进行分析和预测。

黑盒测试的方法有：边界值法、正交试验法(也称正交分析法)、等价类划分、错误推测法、综合策略法、因果图法白盒测试的方法有：语句覆盖、逻辑覆盖、路径覆盖、条件覆盖、判断覆盖、边界值法白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。语句覆盖：可执行语句至少被执行一次；判断覆盖：每个判断的取真分支和取假分支至少经历一次；条件覆盖：每个条件的取值至少满足一次判断条件覆盖：判断和条件都满足；条件组合...

北大库博软件成分分析与同源漏洞检测工具（CoBOT SCA）是基于代码大数据，相似哈希等技术，研发的新一代代码同源分析系统，面向组织的第三方库检测需求，在不改变组织现有开发、测试流程的前提下，与源代码管理系统（Git、SVN等）、缺陷管理系统（如Jira、Bugzilla、禅道等）、持续集成工具（如Jenkins、TFS）无缝对接，将代码第三方库检测融入企业的研发流程，实现了软件成分分析、自主研发率分析、两两对比分析、成分中的已知漏洞分析及评估、许可证分析、漏洞范围影响分析等功能，帮助组织快速构建代码安全保

单片机/工控

27,375

社区成员

28,770

社区内容

发帖

与我相关

我的任务

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章