Efficient Dynamic Access Analysis Using JavaScript Proxies release_omd6k47rcrb2fka2ertjku72ma

by Matthias Keil, Peter Thiemann

Released as a article .

2013  

Abstract

JSConTest introduced the notions of effect monitoring and dynamic effect inference for JavaScript. It enables the description of effects with path specifications resembling regular expressions. It is implemented by an offline source code transformation. To overcome the limitations of the JSConTest implementation, we redesigned and reimplemented effect monitoring by taking advantange of JavaScript proxies. Our new design avoids all drawbacks of the prior implementation. It guarantees full interposition; it is not restricted to a subset of JavaScript; it is self-maintaining; and its scalability to large programs is significantly better than with JSConTest. The improved scalability has two sources. First, the reimplementation is significantly faster than the original, transformation-based implementation. Second, the reimplementation relies on the fly-weight pattern and on trace reduction to conserve memory. Only the combination of these techniques enables monitoring and inference for large programs.
In text/plain format

Archived Files and Locations

application/pdf  314.8 kB
file_5uz3yjy7gzhopjqdjtv2vddixa
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2013-12-11
Version   v1
Language   en ?
arXiv  1312.3184v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ed6a1c3d-0ebf-4698-a6e0-559fcf36bbc6
API URL: JSON