초록

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

Abstract ▼ AI-Helper

While the applications of JavaScript have covered from web developments to applications embedded in smart appliances, many researchers from both academia and industry are actively working on developments of web browsers and JavaScript engines. However, unfortunately, such developments are not well-d...

While the applications of JavaScript have covered from web developments to applications embedded in smart appliances, many researchers from both academia and industry are actively working on developments of web browsers and JavaScript engines. However, unfortunately, such developments are not well-documented nor available to the public, which make the researchers struggle to pursue aggressive research on JavaScript applications. At the same time, while JavaScript has been the most widely used programming language in recent years, its vulnerability to security attacks has been reported and the demands for the JavaScript analyzers and safe development tools are ever increasing. In this paper, we introduce SAFE (Scalable Analysis Framework for ECMAScript) as a solution to the above mentioned problems. SAFE is an extensible and pluggable analysis framework for JavaScript analyzers, which is formally described and developed, and open to the public. As an example of pluggable analyses, we describe a mechanism to enhance the analysis precision by using assertions on branches supported in SAFE.

주제어