软件搜索-zbMATH Open

赛车X

swMATH ID:	9941
软件作者：	恩格尔，D.，阿什克拉夫特，K
描述：	RacerX：有效、静态地检测竞争条件和死锁。本文介绍了RacerX，这是一个静态工具，它使用流敏感的过程间分析来检测竞争条件和死锁。它被明确设计为在大型、复杂的多线程系统中查找错误。它积极推断检查信息，例如哪些锁保护哪些操作，哪些代码上下文是多线程的，以及哪些共享访问是危险的。它跟踪一组代码功能，用于将错误从最严重到最不严重进行排序。它使用新颖的技术来应对分析错误的影响。该工具速度很快，需要2-14分钟来分析180万线系统。我们已经将其应用于Linux、FreeBSD和大型商业代码库，发现所有代码中都存在严重错误。RacerX是一个静态工具，它使用流敏感的过程间分析来检测竞争条件和死锁。它使用新的策略推断检查信息，例如哪些锁保护哪些操作，哪些代码上下文是多线程的，以及哪些共享访问是危险的。我们将其应用于FreeBSD、Linux和一个大型商业代码库，发现其中都存在严重错误。
主页：	http://dl.acm.org/citation.cfm？id=945468
相关软件：	橡皮擦;继电器;洛克史密斯;超小卫星;卫星抗体;刮擦;国际象棋;电子稳定控制系统/Java;C触发器;地精;私人运输公司;普里夫曼;CSSV公司;MOPS公司;CCured公司;溅水-2;CBMC公司;Cells公司;爆炸;麦克帕托姆
引用于：	15出版物

2	阿拉斯泰尔·唐纳森。
2	丹尼尔·科宁
2	圣菲拉福顿
2	Ka I.潘。
2	脊柱侧凸，Spyros A。
2	马丁·斯特芬
2	沃尔克·斯托尔茨
2	王超
2	王寅
1	克里希南德·查特吉
1	邱永昌
1	Cho，Hyoun Kyu先生
1	朱国智
1	卢卡·德·阿尔法罗
1	罗曼·德梅耶
1	迪帕克·D’Souza
1	米纳克什·D’Souza
1	马可·费拉
1	戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha）
1	阿尔蒂·古普塔
1	阿什图什·古普塔
1	利奥波德·哈勒
1	托马斯·亨辛格（Thomas A.Henzinger）。
1	黄，慈济
1	特伦斯·凯利
1	梁泰岳
1	廖宏伟
1	斯科特·马勒克。
1	鲁帕克·马朱姆达尔
1	Rekha R.派。
1	普拉卡什，普拉蒂巴
1	阿琼·拉德哈克利什纳
1	维什瓦纳斯·拉曼
1	菲利普·吕默
1	萨曼塔（Samanta，Roopsha）
1	谢长卿
1	阿披实·辛格
1	Kai Stadtmüller
1	杰森·斯坦利
1	马丁·苏尔兹曼
1	Mitra Tabaei Befrouei
1	托尔斯滕·塔拉赫
1	彼得·蒂曼。
1	维萨尔·沃达尼
1	乔治·威森巴赫
1	杨瑜（Yang，Yu）

14	计算机科学（68至XX）
1	系统论；控制（93至XX）