文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 JavaScript程序字符串分析的抽象域的完整性。 （英语） Zbl 07142680号 Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。第16届国际学术讨论会，突尼斯哈马马特，2019年10月31日至11月4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 255-272 (2019). 摘要：抽象解释中的完整性是一个众所周知的属性，它确保抽象框架在抽象过程中不会丢失有关感兴趣属性的信息。由于难以正式证明，现有的字符串抽象域从未考虑完整性。然而，在处理字符串分析时，这一努力是完全合理的，因为字符串分析是许多软件系统中保证安全属性的关键问题，特别是对于JavaScript程序，字符串操作代码管理不善往往会导致严重的安全缺陷。在本文中，我们讨论了特定于JavaScript的主要字符串抽象域的完整性，我们对它们进行了适当的改进，并讨论了在基于抽象解释的动态语言字符串分析上下文中保证完整性的好处。有关整个系列，请参见[Zbl 1425.68012号]. 引用于2文件 MSC公司： 68季度xx 计算理论 关键词：字符串抽象域;抽象解释完整性;字符串分析 软件：诺恩;JSAI公司;Phantm公司;JavaScript脚本 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}等人，Lect。注释计算。科学。11884，255-272（2019；Zbl 07142680） 全文： 内政部 链接