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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials at Vertex WS215
14:00
90m
Other
Bug detection in JavaScript web apps using the SAFE framework
PLDI Tutorials
Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg
16:00 - 18:00
Bug detection in JavaScript web apps using the SAFE framework (cont'd)PLDI Tutorials at Vertex WS215
16:00
26h
Other
Bug detection in JavaScript web apps using the SAFE framework
PLDI Tutorials
Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg