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 publicationGPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming
Subtitle of host publicationConcepts and Experiences, co-located with SPLASH 2018
EditorsEric Van Wyk, Tiark Rompf
PublisherACM
Pages107-118
Number of pages12
ISBN (Electronic)9781450360456
ISBN (Print)978-1-4503-6045-6/18/11
DOIs
Publication statusPublished - 5 Nov 2018
EventInternational Conference on Generative Programming: Concepts & Experience - Boston, United States
Duration: 5 Nov 20186 Nov 2018
Conference number: 17

Conference

ConferenceInternational Conference on Generative Programming: Concepts & Experience
Abbreviated titleGPCE
CountryUnited States
CityBoston
Period5/11/186/11/18

    Research areas

  • Distributed Applications, Dynamic Analysis, JavaScript

ID: 39766632