GPCE 2018
Mon 5 - Tue 6 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Mon 5 Nov 2018 16:30 - 17:00 at Studio 2 - III Chair(s): Sarah Nadi

The predominant approach to implementing a dynamic analysis for a JavaScript program is to instrument the program under analysis. Examples of analyses implemented this way range from checkers of user-defined program invariants to concolic testers. For a full-stack JavaScript program, these analyses need to reason about the state of the distributed processes the program is comprised of. Lifting a dynamic analysis from a single process to multiple distributed processes can be challenging. In this paper, we propose an approach to orchestrating the corresponding analysis processes that relieves the analysis developer from implementing distributed communication concerns. We implemented our approach on top of the existing JavaScript instrumentation platform Aran and use this prototype to lift three representative Aran-based analyses. The evaluation shows that our approach greatly simplifies the lifting process at the cost of an additional analysis overhead. We deem this overhead acceptable for analyses intended for use at development time.

Mon 5 Nov

gpce-2018
15:30 - 17:00: GPCE 2018 - III at Studio 2
Chair(s): Sarah NadiUniversity of Alberta
gpce-201815:30 - 16:00
Talk
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France
gpce-201816:00 - 16:30
Talk
Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau
DOI Pre-print
gpce-201816:30 - 17:00
Talk
Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel