JOURNAL BROWSE
Search
Advanced SearchSearch Tips
Event Modeling for Static Analysis of JavaScript Event Dispatch
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
 Title & Authors
Event Modeling for Static Analysis of JavaScript Event Dispatch
Ryou, Yeonhee; Ryu, Sukyoung;
 
 Abstract
Many JavaScript programs are event-driven in the sense that they heavily use event functions that take user inputs to manipulate program behaviors. Thus, in order to statically analyze event-driven JavaScript programs effectively and precisely, static analyzers should be able to understand and precisely analyze the behaviors of events in terms of how they are created and evaluated. In this paper, we describe several reasons why static analysis of event behaviors in JavaScript programs is particularly difficult, and present a new event modeling mechanism that can represent behaviors of events precisely and efficiently for effective analysis of event-based JavaScript programs.
 Keywords
JavaScript;static analysis;event;modeling;
 Language
Korean
 Cited by
 References
1.
Benjamin S. Lerner et al., Modeling and Reasoning about DOM Events, USENIX 2012.

2.
Hors, A. L. et al., Document object model (DOM) level 3 core specification. Written Apr. 2004: [Online]. Available: http://www.w3.org/TR/DOM-Level-3-Core/

3.
Schepers D. and Rossi J., Document object model (DOM) level 3 events specification. Written Sept. 2011: [Online]. Available: http://dev.w3.org/2006/webapi/DOM-Level-3-Events/html/DOM3-Events.html

4.
Van Kesteren, A. et al., Dom4. Written Jan. 2012: [Online]. Available: http://dvcs.w3.org/hg/domcore/rawfile/tip/Overview.html

5.
Document Object Model (DOM) Level 3 Events Specification, 25 September, 2014: [Online]. Available: http://www.w3.org/TR/2014/WD-DOM-Level-3-Events-20140925

6.
DOM Standard, 14 January, 2015: [Online]. Available: https://dom.spec.whatwg.org/

7.
W3C, DOM Level 2: [Online]. Available: http://www.w3.org/TR/DOM-Level-2-Events/events.html

8.
TAJS: [Online]. Available: http://www.brics.dk/TAJS/

9.
SAFE: [Online]. Available: http://plrg.kaist.ac.kr/redmine/projects/jsf

10.
Simon Holm Jensen et al., Modeling the HTML DOM and browser API in static analysis of Java-Script web applications, FSE 2011.

11.
W3C Wiki, Handling events with JavaScript: [Online]. Available: http://www.w3.org/wiki/Handling_events_with_JavaScript