010-68421378
sales@cogitosoft.com
产品分类
AddFlow  AmCharts JavaScript Stock Chart AmCharts 4: Charts Aspose.Total for Java Altova SchemaAgent Altova DatabaseSpy Altova MobileTogether Altova UModel  Altova MapForce Altova MapForce Server Altova Authentic Aspose.Total for .NET Altova RaptorXML Server ComponentOne Ultimate Chart FX for SharePoint Chart FX CodeCharge Studio ComponentOne Enterprise combit Report Server Combit List & Label 22 Controls for Visual C++ MFC Chart Pro for Visual C ++ MFC DbVisualizer version 12.1 DemoCharge DXperience Subscription .NET DevExpress Universal Subscription Essential Studio for ASP.NET MVC FusionCharts Suite XT FusionCharts for Flex  FusionExport V2.0 GrapeCity TX Text Control .NET for WPF GrapeCity Spread Studio Highcharts Gantt Highcharts 10.0 版 HelpNDoc Infragistics Ultimate  ImageKit9 ActiveX ImageKit.NET JetBrains--Fleet JetBrains-DataSpell JetBrains--DataGrip jQuery EasyUI jChart FX Plus OPC DA .NET Server Toolkit  OSS ASN.1/C Oxygen XML Author  OSS 4G NAS/C, C++ Encoder Decoder Library OSS ASN.1 Tools for C with 4G S1/X2 OSS ASN.1/C# OSS ASN.1/JAVA OSS ASN.1/C++ OPC HDA .NET Server Toolkit OPC DA .Net Client Development Component PowerBuilder redgate NET Developer Bundle Report Control for Visual C++ MFC  Sencha Test SPC Control Chart Tools for .Net Stimulsoft Reports.PHP Stimulsoft Reports.JS Stimulsoft Reports.Java Stimulsoft Reports. Ultimate Stimulsoft Reports.Wpf Stimulsoft Reports.Silverlight SlickEdit Source Insight Software Verify .Net Coverage Validator Toolkit Pro for VisualC++MFC TeeChart .NET Telerik DevCraft Complete Altova XMLSpy Zend Server

PC-lint for C/C++

PC-lint for C / C ++

PC-lint是强大的静态分析工具,它们将检查您的C / C ++源代码,并发现错误,故障,不一致,非便携式构造,冗余代码等等。 它跨越多个模块。

特性

平台:

PC-lint for C / C ++:

Windows 10/8/7 / Vista / XP / NT / 2000/98 / ME

兼容性:

支持K&R C,ANSI C,ANSI / ISO C ++

显式支持Microsoft,GCC和大多数其他主要编译器和库

支持大多数主要的嵌入式系统编译器。

许多选项来支持编译器

可以为交叉编译指定标量大小

特殊检查设施:

自动和静态(甚至全局)变量的值跟踪,以检测微妙的初始化问题

函数间价值追踪 - 强大的语句间价值追踪跨越函数边界。稍后处理使用特定值调用的函数,这些值用于初始化参数。

多通道 - 为了充分利用功能跟踪和静态变量跟踪,已经引入了多通道操作。

使用价值追踪作为一种启用技术,我们支持几乎100个库函数的检查,这种检查可以扩展到用户函数(见函数模拟)

可选强类型检查(基于typedef)和丰富的选项集,以检测标称类型差异。您甚至可以仅使用typedef形成完全检查的标量类型的类型层次结构

用户定义的函数参数和返回值的语义检查

在整个项目中查找未使用的宏,typedef的类,类,成员,声明等

检查可能未初始化变量的控制流。

显式支持MISRA C和MISRA C ++(TM)标准的子集

其他特殊测试

速度:

使用预编译的报头高速处理多个模块

消息停止和启用:

通过消息码

通过消息码和符号名(包括通配符)

通过消息码和符号类型

通过消息码和消息参数

单线停止

通过宏名称

通过消息码(取决于它是如何包括的库;这可以通过用户选项覆盖)

对于指定的功能,通过消息码

表达式

灵活性:

间接文件(嵌套到任何深度)可以包含文件名,选项,环境变量

错误消息的格式可以定制,以支持与各种编辑器和IDE的集成

所有选项都可以嵌入用户代码中

性能:

一次快速操作,具有用于函数间值跟踪的多遍选项

表将根据需要扩展以处理大型应用程序

 

快速导航

                               

 京ICP备09015132号-996网络文化经营许可证京网文[2017]4225-497号 | 违法和不良信息举报电话:4006561155

                                   © Copyright 2000-2023 北京哲想软件有限公司版权所有 | 地址:北京市海淀区西三环北路50号豪柏大厦C2座11层1105室

                         北京哲想软件集团旗下网站:哲想软件 | 哲想动画

                            华滋生物