Bibliographic Details
| Title: |
Efficient dynamic access analysis using JavaScript proxies |
| Authors: |
Matthias Keil, Peter Thiemann |
| Contributors: |
The Pennsylvania State University CiteSeerX Archives |
| Superior Title: |
http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-proxy.pdf. |
| Publication Year: |
2013 |
| Collection: |
CiteSeerX |
| Subject Terms: |
ERATING SYSTEMS, Security and Protection—Access controls General Terms Design, Languages, Security, Verification Keywords Access Permission Contracts, JavaScript, Proxies |
| Description: |
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 imple-mented by an offline source code transformation. To overcome the limitations of the JSConTest implementation, we redesigned and reimplemented effect monitoring by taking ad-vantange of JavaScript proxies. Our new design avoids all draw-backs 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 reimple-mentation 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 infer-ence for large programs. |
| Document Type: |
text |
| File Description: |
application/pdf |
| Language: |
English |
| Relation: |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.5715; http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-proxy.pdf |
| Availability: |
http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-proxy.pdf |
| Rights: |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Accession Number: |
edsbas.1B3F7EFB |
| Database: |
BASE |
