JSAI公司 swMATH ID: 30521 软件作者： 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 描述： JSAI：为JavaScript设计一个声音、可配置和高效的静态分析器。我们描述了JSAI，一个JavaScript的抽象解释器。JSAI使用新的抽象域计算类型推理、指针分析、字符串分析、整数和布尔常量传播以及控制流分析的简化乘积。此外，JSAI允许模块化配置分析控制流敏感性（即上下文、路径和堆敏感性），而无需对分析实现进行任何更改。JSAI被设计为在JavaScript的特定具体语义方面具有可证明的良好性，该语义已经针对现有的生产质量JavaScript实现进行了广泛测试。我们使用广泛的基准套件对JSAI的性能和精度进行了全面评估。这个基准套件包括真实的JavaScript应用程序、通过Emscripten生成的机器JavaScript代码和浏览器插件。我们使用JSAI的可配置性来评估大量的分析敏感性（一些众所周知，一些新颖），并观察到一些令人惊讶的结果。我们相信，JSAI的可配置性及其正式规范将其定位为一个有用的研究平台，用于试验JavaScript的新敏感性、抽象域和客户端分析。 主页： https://arxiv.org/abs/1403.3996 源代码： https://github.com/nystrom/jsai 依赖项： JavaScript脚本 关键词： 编程语言;arXiv_cs.PL公司;JavaScript脚本;静态分析仪;JSAI公司 相关软件： JavaScript脚本;幻影;诺恩;节点.js;PPL（公私合营）;ast公司;守门人;Synode（合成码）;法官;WALA公司;烟尘;侏儒图;SAFEWAPI公司;帕拉米科;PyYAML公司;净现值法;取决于;Callgrind公司;代码2图形;平安3 引用于： 5出版物 标准条款 1出版物描述软件 年份 JSAI:为JavaScript设计一个声音、可配置和高效的静态分析器维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 2014 全部的 前5名12位作者引用 4 文森佐·阿塞里 三 阿戈斯蒂诺·科尔特斯 三 马蒂娜·奥利亚罗 2 伊莎贝拉·马斯特罗埃尼 1 罗伯托·阿马迪尼 1 马克·安德隆 1 皮埃特罗·费拉拉 1 格雷姆·恒河 1 塞尔吉奥·马菲斯 1 彼得·沙赫特 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 连载1篇 1 信息与计算 在2个字段中引用 5 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文