Analysis of Java']JavaScript Programs: Challenges and Research Trends

被引:19
|
作者
Sun, Kwangwon [1 ,2 ]
Ryu, Sukyoung [2 ]
机构
[1] Samsung Elect, Suwon, South Korea
[2] Korea Adv Inst Sci & Technol, Sch Comp, 291 Daehak Ro, Daejeon 34141, South Korea
基金
新加坡国家研究基金会;
关键词
!text type='Java']Java[!/text]Script; static analysis; dynamic analysis; analysis framework; web applications; security analysis;
D O I
10.1145/3106741
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
JavaScript has been a de facto standard language for client-side web programs, and now it is expanding its territory to general purpose programs. In this article, we classify the client-side JavaScript research for the last decade or so into six topics: static analysis, dynamic analysis, formalization and reasoning, type safety and JIT optimization, security for web applications, and empirical studies. Because the majority of the research has focused on static and dynamic analyses of JavaScript, we evaluate research trends in the analysis of JavaScript first and then the other topics. Finally, we discuss possible future research directions with open challenges.
引用
收藏
页数:34
相关论文
共 50 条
  • [1] An Analysis of the Dynamic Behavior of Java']JavaScript Programs
    Richards, Gregor
    Lebresne, Sylvain
    Burg, Brian
    Vitek, Jan
    [J]. ACM SIGPLAN NOTICES, 2010, 45 (06) : 1 - 12
  • [2] Converting Physlets and Other Java']Java Programs to Java']JavaScript
    Christian, Wolfgang
    Belloni, Mario
    Hanson, Robert M.
    Mason, Bruce
    Barbato, Lyle
    [J]. PHYSICS TEACHER, 2021, 59 (04): : 278 - 281
  • [3] Towards Specializing Java']JavaScript Programs
    Thiemann, Peter
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 320 - 334
  • [4] Precise String Analysis for Java']JavaScript Programs Using Automata
    Almashfi, Nabil
    Lu, Lunjin
    Picker, Koby
    Maldonado, Christian
    [J]. 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), 2019, : 159 - 166
  • [5] Completeness of Abstract Domains for String Analysis of Java']JavaScript Programs
    Arceri, Vincenzo
    Olliaro, Martina
    Cortesi, Agostino
    Mastroeni, Isabella
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2019, 2019, 11884 : 255 - 272
  • [6] Points-to Analysis for Context-Oriented Java']JavaScript Programs
    Cardenas, Sergio
    Leger, Paul
    Fukuda, Hiroaki
    Cardozo, Nicolas
    [J]. PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023, 2023, : 18 - 24
  • [7] Weakly sensitive analysis for Java']JavaScript object-manipulating programs
    Ko, Yoonseok
    Rival, Xavier
    Ryu, Sukyoung
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2019, 49 (05): : 840 - 884
  • [8] A declarative enhancement of Java']JavaScript programs by leveraging the Java']Java metadata infrastructure
    Wang, Yuchen
    Cheng, Kwok Sun
    Song, Myoungkyu
    Tilevich, Eli
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2019, 181 : 27 - 46
  • [9] Trends on Crowdsourcing Java']JavaScript Small Tasks
    Zozas, Ioannis
    Anagnostou, Iason
    Bibi, Stamatia
    [J]. ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2022, : 85 - 94
  • [10] Type Analysis for Java']JavaScript
    Jensen, Simon Holm
    Moller, Anders
    Thiemann, Peter
    [J]. STATIC ANALYSIS, 2009, 5673 : 238 - +