Linvail: A General-Purpose Platform for Shadow Execution of JavaScript

Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

9 Citations (Scopus)

Abstract

We present Linvail, a novel instrumentation platform for developing dynamic analyses of JavaScript programs. Linvail is particularly well-suited to implementing shadow executions which involve tagging runtime values with analysis-specific data. In contrast to existing instrumentation platforms, Linvail is capable of tracking both tagged objects and tagged primitive values during their entire life-time in a behavior-preserving manner. To demonstrate the expressiveness of our platform, we present the implementation of several state-of-the-art analyses. Our experiments demonstrate that Linvail’s accuracy comes at the price of a performance overhead, but we believe that real-world applications will remain usable under analysis.
Original languageEnglish
Title of host publicationProceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016)
PublisherIEEE CS
Pages260-270
Number of pages10
ISBN (Print)978-1-5090-1855-0
Publication statusPublished - 18 Mar 2016
Event23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER2016) - Osaka University, Osaka, Japan
Duration: 14 Mar 201618 Mar 2016

Conference

Conference23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER2016)
CountryJapan
CityOsaka
Period14/03/1618/03/16

Keywords

  • Shadow Execution
  • Dynamic Analysis
  • JavaScript
  • Taint Analysis
  • Object Proxy
  • Reflection
  • Membrane Pattern
  • ECMAScript6

Fingerprint

Dive into the research topics of 'Linvail: A General-Purpose Platform for Shadow Execution of JavaScript'. Together they form a unique fingerprint.

Cite this