Write a Blog >>

While JavaScript has been the language for web applications, JavaScript web applications are often vulnerable to type-related errors and security attacks. To lessen the problem, researchers have developed various analysis techniques in different analyzers, but such analyzers are not especially aimed for ease of use by analysis developers. SAFE, a scalable analysis framework for ECMAScript, is especially designed as a playground for advanced research in JavaScript web applications. SAFE is light-weight, which supports pluggability, extensibility, and debuggability. In this tutorial, we walk the attendees through this process. We start with a technical overview of the SAFE framework and its support for analysis of JavaScript web applications. Then, we present two concrete use cases of SAFE: a taint analysis of web applications and a cross-project big code analysis.

Sun 18 Jun

pldi-2017-workshops-and-tutorials
14:00 - 15:30: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework at Vertex WS215
pldi-2017-workshops-and-tutorials14:00 - 15:30
Other
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg
pldi-2017-workshops-and-tutorials
16:00 - 18:00: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials16:00 - 18:00
Other
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg