Dynamic Analysis Using Java']JavaScript Proxies

被引:3
|
作者
Christophe, Laurent [1 ]
De Roover, Coen [1 ]
De Meuter, Wolfgang [1 ]
机构
[1] Vrije Univ Brussel, Software Languages Lab, Brussels, Belgium
关键词
D O I
10.1109/ICSE.2015.261
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
JavaScript has become a popular programming language. However, its highly dynamic nature encumbers static analysis for quality assurance purposes. Only dynamic techniques such as concolic testing seem to cope. Often, these involve an instrumentation phase in which source code is extended with analysis-specific concerns. The corresponding implementations represent a duplication of engineering efforts. To facilitate developing dynamic analyses for JavaScript, we introduce Aran; a general-purpose JavaScript instrumenter that takes advantage of proxies, a recent addition to the JavaScript reflection APIs.
引用
收藏
页码:813 / 814
页数:2
相关论文
共 50 条
  • [31] Constraint Programming for Dynamic Symbolic Execution of Java']JavaScript
    Amadini, Roberto
    Andrlon, Mak
    Gange, Graeme
    Schachte, Peter
    Sondergaard, Harald
    Stuckey, Peter J.
    [J]. INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2019, 2019, 11494 : 1 - 19
  • [32] Jivin' with (Java']Java and) Java']JavaScript
    Beck, CO
    [J]. 45TH ANNUAL CONFERENCE ON IMAGINATION, INNOVATION AND COMMUNICATION, 1998, : 331 - 333
  • [33] Cyberaide Java']JavaScript: A Java']JavaScript Commodity Grid Kit
    von Laszewski, Gregor
    Wang, Fugang
    Younge, Andrew
    He, Xi
    Guo, Zhenhua
    Pierce, Marlon
    [J]. GCE: 2008 GRID COMPUTING ENVIRONMENTS WORKSHOP, 2008, : 89 - +
  • [34] Supporting Dynamic, Third-Party Code Customizations in Java']JavaScript Using Aspects
    Lerner, Benjamin S.
    Venter, Herman
    Grossman, Dan
    [J]. ACM SIGPLAN NOTICES, 2010, 45 (10) : 361 - 376
  • [35] Dynamic Parallelization of Java']JavaScript Applications Using an Ultra-lightweight Speculation Mechanism
    Mehrara, Mojtaba
    Hsu, Po-Chun
    Samadi, Mehrzad
    Mahlke, Scott
    [J]. 2011 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE (HPCA), 2011, : 87 - 98
  • [36] State-Sensitive Points-to Analysis for the Dynamic Behavior of Java']JavaScript Objects
    Wei, Shiyi
    Ryder, Barbara G.
    [J]. ECOOP 2014 - OBJECT-ORIENTED PROGRAMMING, 2014, 8586 : 1 - 26
  • [37] Learning analysis of mobile Java']JavaScript frameworks
    Brito, Hugo
    Santos, Alvaro
    Bernardino, Jorge
    Gomes, Anabela
    [J]. 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2019,
  • [38] Conventionality Analysis of Array Objects in Java']JavaScript
    Younang, Astrid
    Lu, Lunjin
    [J]. 2017 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), 2017, : 561 - 562
  • [39] Analysis and Identification of Malicious Java']JavaScript Code
    Fraiwan, Mohammad
    Al-Salman, Rami
    Khasawneh, Natheer
    Conrad, Stefan
    [J]. INFORMATION SECURITY JOURNAL, 2012, 21 (01): : 1 - 11
  • [40] Type Refinement for Static Analysis of Java']JavaScript
    Kashyap, Vineeth
    Sarracino, John
    Wagner, John
    Wiedermann, Ben
    Hardekopf, Ben
    [J]. ACM SIGPLAN NOTICES, 2014, 49 (02) : 17 - 26