【摘要】 Coverity是一款快速、准确且高度可扩展的静态分析 (SAST) 解决方案,可帮助开发和安全团队在软件开发生命周期 (SDLC) 的早期解决安全和质量缺陷,跟踪和管理整个应用组合的风险,并确保符合安全和编码标准。 代码检查工具-Coverity 1. 概述 Coverity是一款快速、准确且高度可扩展的静态分析 (SAST) 解决方案,可...
1、Jtest 是 Parasoft 公司推出的一款针对 Java 语言的自动化代码优化和测试工具,Jtest 的静态代码分析功能能够按照其内置的超过 800 条的 Java 编码规范自动检查并纠正这些隐蔽且难以修复的编码错误。 2、PyChecker 是一个静态分析工具,它不仅能报告源代码中的错误,并且会报告错误类型和复杂度。Pylint 是检验模块是...
验证测试用例:具有附加配置和预期结果定义的C / C ++代码片段的集合,用于验证ParasoftC / C ++ test(工具操作要求)的功能。