凭借三十多年的 C 和 C++ 静态分析经验,Gimpel Software 凭借对这些语言、它们的架构模式和开发人员思维方式的深刻理解,能够提供独一无二的静态分析解决方案。PC-lint Plus 可以检测开发人员可能误解的代码中的不一致,并可以提供有关如何解决错误的清晰解释。
查找未实现其外观的可疑代码,或者在情况不断变化的情况下将来会失败的可疑代码。确保代码能够适应跨平台、编译器和语言标准的环境差异。优化您的软件架构以清楚地传达并正确实现其目标。PC-lint Plus 拥有上千种不同严重程度的诊断消息,用于检测各种问题,从控制流、内存和算术,到程序布局、依赖性和类设计。查看代表性检查列表。