以下为摘抄:
静态分析工具是指 能够基于源代码静态检查的方式,来找出程序中存在的问题,提升代码的可靠性,降低测试工作成本的一些工具。
1、Polyspace
支持语言:C、C++
PolySpace最大的局限性在于:分析速度慢。通常情况下,在配置比较高(CPU:3G Memory: >1G)的PC
以下为摘抄:
静态分析工具是指 能够基于源代码静态检查的方式,来找出程序中存在的问题,提升代码的可靠性,降低测试工作成本的一些工具。
1、Polyspace
支持语言:C、C++
PolySpace最大的局限性在于:分析速度慢。通常情况下,在配置比较高(CPU:3G Memory: >1G)的PC