×

安吉利克斯

swMATH ID: 26887
软件作者: S.Mechtaev、J.Yi、A.Roychoudhury
描述: Angelix:基于语义的测试驱动的C程序自动修复工具。自动程序修复。自动化程序修复这一曾经的未来主义想法正逐渐成为现实。最近提出了几种自动修复错误的方法。它们可以分为基于搜索的方法和基于语义的方法。我们的基于语义分析的修复工具Angelix根据程序的语义信息合成修复,并扩展到真实世界的软件。此外,我们的修复方法可以修复相互依赖的多个缺陷位置。在我们的实验中,Angelix通过Wireshark和Php等大型程序进行修复。我们还成功地为众所周知的心跳漏洞生成了补丁。
主页: http://angelix.io(安吉利克斯)/
相关软件: 先知;SemFix公司;代码缺陷;Qlose(关闭);缺陷4J;格佐尔塔;诺波尔;ASTOR公司;GenProg公司;CBMC公司;z3(零3);DL修复;深度修复;QuixBugs公司;JFIX公司;jGenProg公司;ARJA公司;j金属;SLAM公司;投掷
引用于: 3文件

连载1篇

1 信息学报

在1个字段中引用

计算机科学(68至XX)

按年份列出的引文