http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
필요한 정보만 가지고 필요한 지점만 분석하는 일반적인 방법
고윤석(Yoonseok Ko),오학주(Hakjoo Oh),허기홍(Kihong Heo),이광근(Kwangkeun Yi) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1C
명령형 언어로 작성된 프로그램에 대한 정적 분석을 효과적으로 수행하는 방법을 제시한다. 흐름을 고려하면서 분석 할 때, 일부의 계산만이 분석 결과를 만들어내는 데 이바지한다. 주어진 입력 메모리로 어떤 명령문을 계산할 때 입력 메모리의 일부만 계산에 사용하고, 계산의 결과는 입력 메모리에서 일부만 변경된 값이기 때문이다. 또한, 변경된 값이 다시 계산에 사용되기까지 불필요한 값의 전달을 수반한다. 이 논문에서는 가벼운 전분석을 통해 불필요한 계산들을 미리 찾아내어 계산에서 제외하는 방법을 제시한다. 상용화된 요약해석 기반 분석기에 이 기법을 적용하고 10개의 오픈 소스 프로그램에서 실험한 결과 분석속도가 평균 65배 빨라졌다. 또한, 최근에 제안된 필요한 정보만 가지고 계산하기 기법을 적용한 결과에 비해서도 분석속도가 평균 16배 빨라졌다.
고윤석(Yoonseok Ko),황선태(Suntae Hwang) 한국정보과학회 2006 정보과학회논문지 : 시스템 및 이론 Vol.33 No.11·12
그리드 포탈 서비스는 기존의 어플리케이션 기반 그리드 서비스가 갖는 시간적 공간적 제약을 극복하여 보다 유연한 연구 환경을 제공한다. 그러나 사용자 인터페이스와 같은 사용자 요구 사항은 개발기간 동안 불분명하기도 하고 자주 변하기도 한다. 그러므로 그리드 서비스를 위한 사용자 인터페이스를 만들고 유지 관리하는 비용을 줄일 수 있는 방안이 필요하다. 본 논문에서는 유저 인터페이스 개발이 보다 쉽고 코드의 재사용률을 증가시킬 수 있는 객체 기반의 컨트롤 모델을 제안한다. 이 모델에서는 프레젠테이션 페이지의 구조를 보다 명확히 기술할 수 있고 액션들을 구현하는 것이 보다 쉽고 간단하다. Grid portal services provide more flexible research environment by overcoming time and space limit of existing application-based grid services. However user's requirements such as user interfaces are not clear during development cycle and changed frequently. Therefore it is necessary to reduce the cost for creating and maintaining user interfaces of grid services. In this paper, we suggest an object-oriented user control model which allows easier development of user interfaces and increases code reusability by abstracting objects from presentation layer of web. In this model, structure of presentation pages can be described more clearly and implementation of actions is simple and easy.
SAFE: 확장 가능한 JavaScript 분석 프레임워크
이홍기(Hongki Lee),진준호(Junho Jin),원순철(Sooncheol Won),조준희(Junhee Cho),류석영(Sukyoung Ryu),고윤석(Yoonseok Ko) 한국정보과학회 2013 정보과학회논문지 : 소프트웨어 및 응용 Vol.40 No.5
JavaScript의 활용이 웹 개발을 넘어 내장형 기기 내부의 응용 애플리케이션까지 확장되고 있는 가운데, 이를 지원하기 위한 웹 브라우저 및 JavaScript 엔진 등의 개발에 산학의 다양한 노력이 이어지고 있다. 하지만 이러한 도구들의 대다수가 체계적으로 문서화되어 있지 않기 때문에 이를 응용한 개발 혹은 연구가 힘들고, 소스코드가 공개되어 있지 않은 경우도 많아 사용 자체가 불가능하기도 하다. 한편, JavaScript가 차세대 언어로 각광을 받고 있는 반면 언어 자체의 보안 취약성에 대한 문제 또한 끊임없이 불거짐에 따라 신뢰도 높은 응용 애플리케이션 개발에 대한 개발자들의 욕구가 점점 거세지고 있다. 본 논문에서는 이러한 한계점들의 대안으로써 개발한 확장 가능한 JavaScript 분석 프레임워크인 SAFE(Scalable Analysis Framework for ECMAScript)에 대해 소개하고, 이에 기반한 산학연구의 사례로 JavaScript 분석기의 정확도를 높이는 기법을 기술함으로써 다양한 분석기를 지원하는 SAFE의 확장성을 보인다. 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.