Write a Blog >>
Thu 13 Jul 2017 11:00 - 11:30 at ESB 2003 - Analysis Chair(s): Mary Lou Soffa

Web applications are difficult to analyze using code-based tools because data-flow and control-flow through the application occurs via both server-side code and client-side pages. Client-side pages are typically specified in a scripting language that is different from the main server-side language; moreover, the pages are generated dynamically from the scripts. To address these issues we propose a static-analysis approach that automatically constructs a “model” of each page in a given application. A page model is a code fragment in the same language as the server-side code, which faithfully over-approximates the possible elements of the page as well as the control-flows and data-flows due to these elements. The server-side code in conjunction with the page models then becomes a standard (non-web) program, thus amenable to analysis using standard code-based tools.

Thu 13 Jul (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: Doctoral Symposium - Analysis at ESB 2003
Chair(s): Mary Lou SoffaUniversity of Virginia
issta-2017-doctoral-symposium10:30 - 11:00
Jaroslav BendíkMasaryk University
issta-2017-doctoral-symposium11:00 - 11:30
issta-2017-doctoral-symposium11:30 - 12:00