Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
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 Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
15:30 - 16:00 Talk | Meta-programming for cross-domain tensor optimizations GPCE 2018 Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France | ||
16:00 - 16:30 Talk | Model-based Security Analysis of Feature-oriented Software Product Lines GPCE 2018 Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau DOI Pre-print | ||
16:30 - 17:00 Talk | Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs GPCE 2018 Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel |