Weakly sensitive analysis for JavaScript object‐manipulating programs-Reference-Cited by-同舟云学术

Weakly sensitive analysis for JavaScript object‐manipulating programs

Published:2019-01-07 Issue:5 Volume:49 Page:840-884
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw: Pract Exper

Author:

Ko Yoonseok¹^ORCID,Rival Xavier²,Ryu Sukyoung¹

Affiliation:

1. School of ComputingKorea Advanced Institute of Science and Technology Daejeon South Korea

2. DIENSÉcole Normale Supérieure, CNRS, PSL Research University and INRIA Paris France

Funder

Samsung

Publisher

Wiley

Subject

Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/spe.2676

Reference32 articles.

1. JensenSH MøllerA ThiemannP.Type analysis for JavaScript. In: Proceedings of the 16th International Symposium on Static Analysis;2009;Los Angeles CA.

2. LeeH WonS JinJ ChoJ RyuS.SAFE: Formal specification and implementation of a scalable analysis framework for ECMAScript. Paper presented at: 19th International Workshop on Foundations of Object‐Oriented Languages;2012;Tucson AZ.

3. HackettB GuoSY.Fast and precise hybrid type inference for JavaScript. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation;2012;Beijing China.

4. WeiS RyderBG.Practical blended taint analysis for JavaScript. In: Proceedings of the 2013 International Symposium on Software Testing and Analysis;2013;Lugano Switzerland.

5. AndreasenE MøllerA.Determinacy in static analysis for jQuery. In: Proceedings of the 2014 ACM International Symposium on Object‐Oriented Programming Systems Languages and Applications;2014;Portland OR.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abstract Interpretation: From 0, 1, to $$\infty $$;Intelligent Systems Reference Library;2023

2. Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

3. A Survey of Parametric Static Analysis;ACM Computing Surveys;2022-09-30

4. Intelligent antiphishing framework to detect phishing scam: A hybrid classification approach;Software: Practice and Experience;2021-09-20

5. Accelerating JavaScript static analysis via dynamic shortcuts;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18