Documents

  • paper

    377 KB, PDF-document

Dynamic analyses are commonly implemented by instrumenting the program under analysis.
Examples of such analyses for JavaScript range from checkers of user-defined invariants to concolic testers.
For a full-stack JavaScript program, these analyses need to reason about the state of the client-side and server-side processes it is comprised of.
Lifting a dynamic analysis so that it supports full-stack programs can be challenging.
It involves distributed communication to maintain the analysis state across all processes, which has to be deadlock-free.
In this paper, we advocate maintaining distributed analysis state in a centralized analysis process instead ---which is communicated with from the processes under analysis.
The approach is supported by a dynamic analysis platform that provides abstractions for this communication.
We evaluate the approach through a case study.
We use the platform to build a distributed origin analysis, capable of tracking the expressions from which values originate from across process boundaries, and deploy it on collaborative drawing application.
The results show that our approach greatly simplifies the lifting process at the cost of a computational overhead.
We deem this overhead acceptable for analyses intended for use at development time.
Original languageEnglish
Title of host publicationProceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
ISBN (Electronic)978-1-4503-6045-6/18/11
StateAccepted/In press - 8 Oct 2018

    Research areas

  • Dynamic Analysis, Distributed Applications, JavaScript

ID: 39766632