日本国际协力团 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) 按年份列出的引文