中文(中国)
- English
- 中文(中国)
- Русский
- 한국어
- עִבְרִית
中文(中国)
FlexeLint for C / C ++
FlexeLint是强大的静态分析工具，它们将检查您的C / C ++源代码，并发现错误，故障，不一致，非便携式构造，冗余代码等等。 它跨越多个模块。
特性
平台：
FlexeLint for C / C ++：
Unix和Unix平台（Linux，AIX，HP-UX，Solaris，Tru64 Unix，MAC等）
OpenVMS
嵌入式系统
几乎任何平台支持
兼容性：
支持K＆R C，ANSI C，ANSI / ISO C ++
显式支持Microsoft，GCC和大多数其他主要编译器和库
支持大多数主要的嵌入式系统编译器。
许多选项来支持编译器
可以为交叉编译指定标量大小
特殊检查设施：
自动和静态（甚至全局）变量的值跟踪，以检测微妙的初始化问题
函数间价值追踪 – 强大的语句间价值追踪跨越函数边界。稍后处理使用特定值调用的函数，这些值用于初始化参数。
多通道 – 为了充分利用功能跟踪和静态变量跟踪，已经引入了多通道操作。
使用价值追踪作为一种启用技术，我们支持几乎100个库函数的检查，这种检查可以扩展到用户函数（见函数模拟）
可选强类型检查（基于typedef）和丰富的选项集，以检测标称类型差异。您甚至可以仅使用typedef形成完全检查的标量类型的类型层次结构
用户定义的函数参数和返回值的语义检查
在整个项目中查找未使用的宏，typedef的类，类，成员，声明等
检查可能未初始化变量的控制流。
显式支持MISRA C和MISRA C ++（TM）标准的子集
其他特殊测试
速度：
使用预编译的报头高速处理多个模块
消息停止和启用：
通过消息码
通过消息码和符号名（包括通配符）
通过消息码和符号类型
通过消息码和消息参数
单线停止
通过宏名称
通过消息码（取决于它是如何包括的库;这可以通过用户选项覆盖）
对于指定的功能，通过消息码
表达式
灵活性：
间接文件（嵌套到任何深度）可以包含文件名，选项，环境变量
错误消息的格式可以定制，以支持与各种编辑器和IDE的集成
所有选项都可以嵌入用户代码中
性能：
一次快速操作，具有用于函数间值跟踪的多遍选项
表将根据需要扩展以处理大型应用程序
电话 Call：131 2087 8846
邮箱 Email：
地址 Add：上海市嘉定区环城路2222号1幢
