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

来源：

2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2 | 2015年

关键词：

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

共 9 条

[1]

Gibbs, 2013, P 2013 9 JOINT M FDN, P488, DOI DOI 10.1145/2491411.2491447

[2]

Mickens James., 2010, P 7 S NETWORKED SYST, P11

[3]

Ratanaworabhan P., 2010, P 2010 USENIX C WEB, P3

[4] Automated Construction of Java']JavaScript Benchmarks [J].

Richards, Gregor ;

Gal, Andreas ;

Eich, Brendan ;

Vitek, Jan .

ACM SIGPLAN NOTICES, 2011, 46 (10) :677-693

[5] An Analysis of the Dynamic Behavior of Java']JavaScript Programs [J].

Richards, Gregor ;

Lebresne, Sylvain ;

Burg, Brian ;

Vitek, Jan .

ACM SIGPLAN NOTICES, 2010, 45 (06) :1-12

[6]

Steinert B, 2015, ACM SIGPLAN NOTICES, V50, P113, DOI [10.1145/2661088.2661093, 10.1145/10.1145/2661088.2661093]

[7] TAJ: Effective Taint Analysis of Web Applications [J].

Tripp, Omer ;

Pistoia, Marco ;

Fink, Stephen ;

Sridharan, Manu ;

Weisman, Omri .

ACM SIGPLAN NOTICES, 2009, 44 (06) :87-97

[8] Proxies: Design Principles for Robust Object-oriented Intercession APIs [J].

Van Cutsem, Tom ;

Miller, Mark S. .

ACM SIGPLAN NOTICES, 2010, 45 (12) :59-72

[9]

Wassermann G., 2008, P 2008 INT S SOFTW T, P249, DOI DOI 10.1145/1390630.1390661

← 1 →