S. H. Jensen, A. Møller, and P. Thiemann, Type analysis for JavaScript, SAS, 2009.

H. Lee, S. Won, J. J. Cho, J. Ryu, and S. , SAFE: Formal specification and implementation of a scalable analysis framework for ECMAScript, 2012.

B. Hackett and G. Sy, Fast and precise hybrid type inference for JavaScript, 2012.

S. Wei and B. G. Ryder, Practical blended taint analysis for JavaScript. ISSTA, 2013.

E. Andreasen and A. Møller, Determinacy in static analysis for jQuery. OOPLSA, 2014.

C. Park and S. Ryu, Scalable and precise static analysis of JavaScript applications via loop-sensitivity, 2015.

M. Sridharan, J. Dolby, S. Chandra, M. Schäfer, and F. Tip, Correlation tracking for points-to analysis of JavaScript, ECOOP, 2012.

S. Wei, O. Tripp, B. G. Ryder, and J. Dolby, Revamping javascript static analysis via localization and remediation of root causes of imprecision, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, pp.487-498, 2016.

V. Kashyap, K. Dewey, E. A. Kuefner, J. Wagner, K. Gibbons et al., JSAI: A static analysis platform for JavaScript, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, vol.14, 2014.

G. Balakrishnan and T. Reps, Recency-abstraction for heap-allocated storage, SAS, 2006.

P. Cousot and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. POPL, 1977. Softw. Pract. Exper. (0000) Prepared using speauth

, European Association for Standardizing Information and Communication Systems (ECMA), vol.5, 2011.

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, 1979.

N. D. Jones and S. S. Muchnick, A flexible approach to interprocedural data flow analysis and programs with recursive data structures, Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '82, pp.66-74, 1982.

D. R. Chase, M. Wegman, and F. K. Zadeck, Analysis of pointers and structures, Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, PLDI '90, pp.296-310, 1990.

H. Oh, L. Brutschy, and K. Yi, Access Analysis-Based Tight Localization of Abstract Memories, pp.356-370, 2011.

Y. Ko, K. Heo, and H. Oh, A sparse evaluation technique for detailed semantic analyses, Systems & Structures, 2014.

H. Oh, K. Heo, W. Lee, W. Lee, and K. Yi, Design and implementation of sparse global analyses for C-like languages, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.229-238, 2012.

H. Oh, Large spurious cycle in global static analyses and its algorithmic mitigation, APLAS, 2009.

C. Park, S. Won, J. J. Ryu, and S. , Static analysis of JavaScript web applications in the wild via practical DOM modeling, 2015.

S. Bae, H. Cho, I. Lim, S. Ryu, . Safe et al., Web API misuse detector for web applications, ESEC/FSE, 2014.

S. H. Jensen, M. Madsen, and A. Møller, Modeling the HTML DOM and browser API in static analysis of JavaScript web applications, ESEC/FSE, 2011.

A. Cox, B. Chang, and X. Rival, Automatic analysis of open objects in dynamic language programs, SAS, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01095955

A. Cox, B. Chang, and S. Sankaranarayanan, QUIC graphs: Relational invariant generation for containers, ECOOP, 2013.

. T. Ibm-research and . Watson,

M. Schäfer, M. Sridharan, J. Dolby, and F. Tip, Dynamic determinacy analysis, 2013.

A. Feldthaus, M. Schäfer, M. Sridharan, J. Dolby, and F. Tip, Efficient construction of approximate call graphs for JavaScript IDE services, 2013.

. Softw and . Pract, Exper. (0000) Prepared using speauth