日本国际协力团 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。损益;JavaScript脚本;静态分析仪;日本国际协力团 相关软件： JavaScript脚本;幻影;诺恩;SMT-LIB公司;z3（零3）;节点.js;nnU-Net网络;铁人舰队;Liquid Haskell公司;毒蛇;哈斯克尔;ASTREE公司;SLAM公司;电子稳定控制系统/Java;规格#;达夫尼;PPL（公私合营）;ast公司;守门人;Synode（合成码） 引用于： 6文件 标准条款 1出版物描述软件 年份 JSAI:为JavaScript设计一个声音、可配置和高效的静态分析器arXiv公司维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 2014 全部的 前5名12位作者引用 4 文森佐·阿塞里 三 阿戈斯蒂诺·科尔特斯 三 马蒂娜·奥利亚罗 2 伊莎贝拉·马斯特罗尼 1 皮埃特罗·费拉拉 1 Atsushi Igarashi 1 直纪小林 1 塞尔吉奥·马菲斯 1 任思奇 1 哈拉尔德·森德加德 1 Kohei Suenaga公司 1 约翰·托曼 在1个序列中引用 1 信息与计算 在1个字段中引用 6 计算机科学（68至XX） 按年份列出的引文