1 research outputs found

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

    Get PDF
    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
    corecore