声纳编码 swMATH ID: 16481 软件作者： GrammaTech公司 描述： CodeSonar是GrammaTech的旗舰静态分析SAST工具，它可以识别可能导致系统崩溃、意外行为和安全漏洞的错误。CodeSonar已被证明能够提供最深入的静态分析，能够发现比市场上其他静态分析工具更关键的缺陷。CodeSonar在查找静态内存、资源管理、并发性和其他缺陷方面在几个静态分析工具基准测试中表现最佳。通过分析源代码和二进制文件，CodeSonar使团队能够分析完整的应用程序，使您能够控制软件供应链，并在应用程序开发生命周期的早期消除最昂贵和最难发现的缺陷。CodeSonar扩展了团队的可扩展性，提高了质量，并注入了信心。 主页： https://www.gramatech.com/products/codesonar 相关软件： Klocwork公司；静态分析工具；斯坦斯；超小卫星；SPARK专业版；污水处理厂；CIL公司；爆炸；Klockwork公司；seL4级；GDB公司；J拉舍尔；夜鹰；CBMC公司；班德拉；快速检查；投掷；利马特河；糠；茂物 引用于： 1文件 5位作者引用 1 亚历克斯·格罗斯 1 克劳斯·哈维隆德 1 杰拉德·J·霍尔兹曼。 1 拉杰夫·乔希 1 徐如刚 连载1篇 1 数学与人工智能年鉴 在2个字段中引用 1 计算机科学（68至XX） 1 流体力学（76-XX） 按年份列出的引文