정보과학회 컴퓨팅의 실제 논문지 (KIISE Transactions on Computing Practices)

  • 제21권12호
  • /
  • Pages.751-755
  • /
  • 2015
  • /
  • 2383-6318(pISSN)
  • /
  • 2383-6326(eISSN)
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지
DOI QR코드

DOI QR Code

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

Event Modeling for Static Analysis of JavaScript Event Dispatch

  • 류연희 (한국과학기술원 전산학부) ;
  • 류석영 (한국과학기술원 전산학부)
  • 투고 : 2015.08.24
  • 심사 : 2015.10.15
  • 발행 : 2015.12.15
⟨ 이전 논문 다음 논문 ⟩

초록

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

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.

키워드

과제정보

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

참고문헌

  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