CSSV公司 swMATH ID: 13701 软件作者: 多尔,N.,罗德,M.,萨吉夫,M 描述: CSSV:面向静态检测C中所有缓冲区溢出的现实工具。错误的字符串操作是C程序中软件缺陷的主要来源,会产生被软件病毒利用的漏洞。我们提出了C字符串静态校验器(CSSV),这是一个静态地发现所有字符串操作错误的工具。作为一个保守的工具,它会报告所有这些错误,但有时会生成错误警报。幸运的是,只报告了少量错误警报,从而证明静态减少软件漏洞是可以实现的。CSSV通过分别分析每个过程来处理大型程序。为此,允许使用经过工具验证的程序合同。我们实现了一个CSSV原型,并用它验证EADS空中客车公司的真实代码中没有错误。当应用于另一个常用的字符串密集型应用程序时,CSSV发现了真正的错误,只有很少的错误警报。 主页: http://dl.acm.org/citation.cfm?id=781149 相关软件: ASTREE公司;TVLA公司;CBMC公司;速度;PPL(公私合营);八角形;组成;私人运输公司;普里夫曼;MOPS公司;CCured公司;赛车X;人工智能;胡迪尼;卫星抗体;电子稳定控制系统/Java;陆军装备司令部;SLAM公司;达夫尼;慈白 引用于: 16文件 全部的 前5名31位作者引用 三 阿尔蒂·古普塔 三 弗兰乔·伊万契奇 2 苏米特·古尔瓦尼 2 丹尼尔·科宁 2 代表,Thomas W。 2 对手,泽维尔 2 穆利·萨吉夫 2 桑卡拉纳拉亚南,斯里拉姆 2 娜塔莎·莎莉吉娜 2 埃克塞尔·西蒙 2 斯特凡诺·托内塔 2 阿里亚克西·齐托维奇 2 Christoph M.温特斯泰格。 1 泽维尔·阿拉米吉恩 1 普拉纳夫·阿沙尔 1 高格尔·巴拉克利什南 1 特夫菲克·布尔坦 1 Trishul M.奇林比。 1 曼努埃尔·Fähndrich 1 马来K·加奈。 1 温塞斯拉斯戈达尔 1 查尔斯·海曼斯 1 奥斯卡·H·伊巴拉。 1 安迪·金 1 塔尔省列夫·阿米 1 弗朗西斯科·洛戈佐 1 比尔·麦克洛斯基 1 克里希纳·迈赫拉。 1 伊利亚·什利亚克特 1 杨紫江 1 余、方 3篇连载文章中引用 1 理论计算机科学 1 计算机程序设计科学 1 系统设计中的形式化方法 在2个字段中引用 16 计算机科学(68至XX) 1 数值分析(65-XX) 按年份列出的引文