DARTS.1.1.12.pdf
- Filesize: 398 kB
- 2 pages
Document
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Volume: DARTS, Volume 1 (ECOOP 2015)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2015-10-30
Artifact Description
Document Identifiers
Cite As Get BibTex
Changhee Park and Sukyoung Ryu. Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact). In Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015). Dagstuhl Artifacts Series (DARTS), Volume 1, Issue 1, pp. 12:1-12:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/DARTS.1.1.12
Artifact
darts-v001-i001-12-artifact-07ebbef865c2df6ad2a2487ac9cdd315.zip
(Filesize: 123.25 MB)
MD5 Sum:
07ebbef865c2df6ad2a2487ac9cdd315
(Get MD5 Sum)
Abstract
This artifact is an implementation of the loop-sensitive analysis (LSA) technique that can improve analysis precision and scalability in analyzing JavaScript applications by distinguishing loop iterations automatically during analysis. It has been built on SAFE, the open-source JavaScript static analyzer framework, and its package contains all benchmarks that we used in the companion ECOOP paper for evaluation.
Subject Classification
Keywords
- JavaScript
- static analysis
- loops
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- KAIST PLRG. SAFE: Scalable Analysis Framework for ECMAScript. http://safe.kaist.ac.kr, 2014.
-
Hongki Lee, Sooncheol Won, Joonho Jin, Junhee Cho, and Sukyoung Ryu. SAFE: Formal specification and implementation of a scalable analysis framework for ECMAScript. In FOOL'12: International Workshop on Foundations of Object Oriented Languages, 2012.
