자바스크립트의 이벤트 동작 분석을 위한 이벤트 모델링

DOI QR코드

DOI QR Code

류연희;류석영
Ryou, Yeonhee;Ryu, Sukyoung

  • 투고 : 2015.08.24
  • 심사 : 2015.10.15
  • 발행 : 2015.12.15

초록

자바스크립트 프로그램의 많은 경우가 이벤트 중심의 프로그램(event-driven program)으로, 사용자의 입력을 받아 실행하는 이벤트 함수를 매우 많이 사용한다. 따라서, 이벤트 중심의 자바스크립트 프로그램을 정적으로 분석하려면 이벤트가 어떻게 발생하고 동작하는 지를 분석할 수 있어야 한다. 본 논문에서는 자바스크립트 프로그램에서 이벤트의 발생과 동작을 정적으로 정확하게 분석하기 어려운 이유를 확인하고, 이벤트 중심 프로그램을 효과적으로 분석하기 위해 이벤트를 효율적이고 정확하게 나타낼 수 있는 이벤트 모델 기법을 제시한다.

키워드

자바스크립트;정적분석;이벤트;모델링

참고문헌

  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

과제정보

연구 과제 주관 기관 : 한국연구재단