Analysis of JavaScript Web Applications Using SAFE 2.0

Author email: jhpark0223@kaist.ac.kr
Tool name: SAFE 2.0
Description: —JavaScript has been the language for web applications, and the growing prevalence of web environments in various devices makes JavaScript web applications even more ubiquitous. However, because JavaScript and web environments are extremely dynamic, 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. In this paper, we present SAFE 2.0, a scalable analysis framework for ECMAScript especially designed as a playground for advanced research in JavaScript web applications. SAFE 2.0 is light-weight, which supports pluggability, extensibility, and debuggability.
Bibtex: "@inproceedings{park2017analysis, title={Analysis of JavaScript web applications using SAFE 2.0}, author={Park, Jihyeok and Ryou, Yeonhee and Park, Joonyoung and Ryu, Sukyoung}, booktitle={2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)}, pages={59--62}, year={2017}, organization={IEEE} }"
Link to public pdf: https://dl.acm.org/citation.cfm?id=3098366
Link to tool webpage: https://github.com/sukyoung/safe
Link to demo: https://youtu.be/ZI_emiRMoxQ
Category: None
Year and Conference: 2017, ICSE
Terms of use