Gimpel Software已不再维护PC-lint/FlexeLint版本9,最终更新是2014年发布的版本9.00L。Gimpel Software在2018年底之前为PC-lint/FlexeLint提供技术支持。
Gimpel Software已推出新产品PC-lint Plus——C和C ++的首选静态分析工具。
简单介绍一下PC-lint Plus:
PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。
PC-lint Plus可在Windows,Linux和macOS上运行,并可配置为分析几乎任何平台的代码