PC-lint Plus是一个静态分析工具,它通过分析C和C++源代码来发现软件中的缺陷。
像编译器一样,PC-lint Plus解析您的源代码文件,执行语义分析,并构建抽象语法树来表示您的程序。在此基础上,PC-lint Plus采用各种机制(包括数据流分析、抽象解释、值跟踪、读写分析、强类型检查、函数语义验证和许多其他技术)来提供对单个文件和整个项目的强大而全面的分析。
然后,PC-lint Plus使用易于理解的清晰、简洁且可操作的诊断报告其发现。诊断消息格式是完全可定制的,并且包括快速解决缺陷所需的精确位置信息和上下文。PC-lint Plus可以从命令行运行,集成到您的构建流程或持续集成系统中,或者从您的IDE中运行。欢迎下载使用!

