Document Open Access Logo

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

Authors Changhee Park, Sukyoung Ryu

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.1.1.12.pdf
  • Filesize: 398 kB
  • 2 pages

Document Identifiers

Subject Classification

Keywords
  • JavaScript
  • static analysis
  • loops

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

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

Author Details

Changhee Park
Sukyoung Ryu

Artifact

  MD5 Sum: 07ebbef865c2df6ad2a2487ac9cdd315 (Get MD5 Sum)

Related Article

  • Changhee Park and Sukyoung Ryu, "Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity", in 29th European Conference on Object-Oriented Programming (ECOOP 2015), LIPIcs, Vol. 37, pp. 735-756, 2015. https://doi.org/10.4230/LIPIcs.ECOOP.2015.735

References

  1. KAIST PLRG. SAFE: Scalable Analysis Framework for ECMAScript. http://safe.kaist.ac.kr, 2014.
  2. 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. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact