Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity

Changhee Park; Sukyoung Ryu

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity

【24h】

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity

机译：通过循环灵敏度对JavaScript应用程序进行可扩展的精确静态分析

获取原文

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The numbers and sizes of JavaScript applications are ever growing but static analysis techniques for analyzing large-scale JavaScript applications are not yet ready in a scalable and precise manner. Even when building complex software like compilers and o

机译：JavaScript应用程序的数量和大小在不断增长，但是用于分析大型JavaScript应用程序的静态分析技术尚未以可伸缩且精确的方式准备就绪。即使构建复杂的软件，例如编译器和o

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics 》 |2015年第2期| 共22页
作者
Changhee Park; Sukyoung Ryu;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术 ;
关键词

相似文献

外文文献
中文文献
专利

1. Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity [J] . Changhee Park, Sukyoung Ryu LIPIcs : Leibniz International Proceedings in Informatics . 2015 ,第2期

机译：通过循环灵敏度对JavaScript应用程序进行可扩展的精确静态分析
2. Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity [J] . Park Changhee, Lee Hongki, Ryu Sukyoung Software . 2018 ,第4期

机译：使用循环灵敏度以可扩展且精确的方式对JavaScript库进行静态分析
3. Static Analysis of Event-Driven Node.js JavaScript Applications [J] . Madsen Magnus, Tip Frank, Lhotak Ondrej ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2015 ,第10期

机译：事件驱动的Node.js JavaScript应用程序的静态分析
4. Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications [C] . Yoonseok Ko, Hongki Lee, Julian Dolby, IEEE/ACM International Conference on Automated Software Engineering . 2015

机译：实际调谐静态分析框架，用于大型JavaScript应用程序
5. Precise Static Analysis of Javascript Programs [D] . Almashfi, Nabil. 2020

机译：JavaScript程序的精确静态分析
6. MuSCA: a multi-scale source–sink carbon allocation model to explore carbon allocation in plants. An application to static apple tree structures [O] . F Reyes, B Pallas, C Pradal, 2020

机译：Musca：一种多尺度源汇碳分配模型用于探索植物碳分配的碳分配模型。静态苹果树结构的应用
7. Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact) [O] . Park Changhee, Ryu Sukyoung 2015

机译：通过循环灵敏度（神器）对Javascript应用程序进行可扩展和精确的静态分析
8. Precise and Scalable Static Program Analysis of NASA Flight Software [R] . BRAT, G., VENET, A. 2005

机译：Nasa飞行软件的精确可扩展静态程序分析

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity

摘要

著录项

相似文献

相关主题

期刊订阅