Coverity公司 swMATH ID: 20227 软件作者： Synopsys公司 描述： 封面：静态代码分析。在代码中发现关键缺陷和安全漏洞，以免它们成为漏洞、崩溃或维护难题。 主页： http://www.coverity.com网站/ 相关软件： 薄片;级联;QEMU公司;Klocwork公司;github;seL4级;SatAbs公司;CBMC公司;不明飞行物;注册会计师检查器;VCC（沃尔沃汽车公司）;吉隆坡机场;海关;pi-BEM公司;工作流;多路分析器;打开级联;阿西姆;方面;纳米法兰 引用于： 2文件 全部的 前5名15位作者引用 1 乔瓦尼·阿尔泽塔 1 丹尼尔·阿恩特 1 沃尔夫冈·班杰斯 1 维沙尔·博杜 1 本杰明·布兰兹 1 丹尼斯·达维多夫 1 雷内·加斯莫勒 1 蒂莫·海斯特 1 卢卡·赫尔泰 1 凯萨琳娜·科尔曼 1 马丁·克朗比克勒 1 马蒂亚斯·塞巴斯蒂安·迈尔 1 Jean-Paul，Pelteret 1 布鲁诺·图尔克辛 1 维萨尔·沃达尼 2篇连载文章中引用 1 数值数学杂志 1 塔尔图大学数学学位论文 在2个字段中引用 1 数值分析（65-XX） 1 计算机科学（68至XX） 按年份列出的引文