klocwork insight 静态检测工具

http://www.proveq.jp/cn/cn_html/klocwork-insight.html

产品说明

Klocwork® Insight™是使用高度的解析手法（Truepath™）让到现在为止的调试和测试方法很难检测出来的错误在早期可以检出，使软件的信赖性提高并提高测试的效率。
※ 免费体验，请联系我们

■使用Klocwork® Insight™可以得到各种效果

实装	通过代码审查，测试，减少故障报告。 比起之前的故障修正，重新编写编码更花时间。
上市	高品质安全的软件发行变为可能。
测试	将测试工数从调试代码转移到集中分析客户要求上。 减少测试前编码的缺欠，缩短测试周期。
统一构建	保证开发人员登入没有问题的代码。 防止主代码流中，缺陷和安全漏洞的流入。
多人审查代码	保证对没有缺陷的代码进行审查。 将高级员工的精力从调试代码转移到解决重大设计和用户需求的问题。

■Klocwork® Insight™ 可以更加正确的检出缺欠及安全漏洞

品质/可靠性	安全漏洞	可维护性
内存和资源泄漏 内存解放后的使用 不恰当的内存解放 无效指标的参照 未初始化变量的使用 资源管理 死锁和兼容性 同时实行违反	缓冲区溢出 无效的用户输入 SQL地址 跨站点脚本 情报泄漏 密码简单 脆弱的编码习惯	构架违反 头文件构造 死代码 未达到代码 计算值的未使用 未使用的関数参数 未使用的局部变量

■Klocwork® Insight™ 对象语言和解析手法

语言	C	C++	C#	JAVA
桌面解析　※1
系统解析 ※2
※1：所谓的桌面解析就是开发者编译系统的确认前后解析本地的代码的功能。
※2：所谓的系统解析就是对源代码全体解析，编译系统解析的功能。

■Klocwork® Insight™ 动作环境

实行环境

Windows	2003、XP、Vista、7
Linux	RHEL、Fedora、Debian、SUSE、Ubuntu
Solaris	8、9、10
Aix	Version 5.3

支持编译环境

GNU make

SUN make

clearmake

nmake

imake

Ant

JAM

支持集成开发环境（IDE）

Eclipse	Microsoft Visual Studio	IBM Rational Application Developer
IntelliJ IDEA	Wind River Workbench	Carbide. c++
QNX Momentics	TI Code Composer	Jbuilder

■Klocwork® Insight™ 在市场的知名度

从「InfoWorld.com」开始，最好的静源代码解析工具得到认证

从「SD Times」开始，从各个业界连续7年获奖

■Klocwork® Insight™ 截图

Insight Review（网络基础检查）

趋势和指标报告	缺陷指摘一览

Insight Architect （构架检查）

关系图	流程图

Plug-In （统合开发环境用的插件）

Eclipse开发环境		Microsoft Visual Studio 开发环境

Insight Pro （*选项商品）

重构机能	代码审查

※ Klocwork® Insight™是Klocwork的商标，也是他的注册商标
※ PROVEQ是シーイーシー股份公司的注册商标
※ 其他登载公司名和商品名是各个公司名和注册商标