• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.696-702
• /
• 2003

This paper presents a static analysis based on set-based framework which estimates exception propagation paths of Java programs, and a visualization tool which visualizes propagation paths of exceptions using the static analysis information. We have implemented the exception propagation analysis and a visualization tool, which can guide programmers to handle exceptions more effectively.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.323-325
• /
• 2000

자바 컴파일러의 예외 처리 메커니즘을 기술한다. 자바 컴파일러 방식의 예외 상황 분석은 프로그래머의 선언에 의존하는 프로시져-내 분석이다. 본 논문에서는 자바 컴파일러 반식의 프로시져-내(intraprocedural) 분석과 선언에 의존하지 않는 프로시져-간(interprocedural) 예외 상황 분석기를 개발하고 실제 자바 프로그램에 적용시켜 봄으로서의 자바 컴파일러의 예외 상황 분석의 문제점을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.24-26
• /
• 2013

Undefined Instruction 하드웨어 Trojan 은 정의되지 않은 명령어가 명령어 버스를 통해 CPU 에 유입될 경우 발현되어 CPU 의 전반적인 기능을 마비시킬 수 있는 하드웨어 Trojan 이다. 일반적으로 대부분의 상용화된 CPU 는 Undefined Instruction 에 대한 예외 처리를 지원하는데, ARM 의 경우 파이프 라인의 실행 단계에서 Undefined Instruction 임을 판별한다. 본 연구에서는 파이프 라인의 명령어 추출단계에서 발현되어서 명령어 해독단계에는 다른 명령어를 전달 시킴으로써 Undefined Instruction 예외처리를 피할 수 있는 하드웨어 Trojan 을 설계하고, 이를 방지하는 대응책을 제안한다.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.4
• /
• pp.90-97
• /
• 2014

Context-aware systems provide proper services for the user according to current contexts. However, it is not actively deployed in our daily lives as expected, due to many concerns including occurrences of exceptions. C++/C#/JAVA provide exception handling facilities for desktop computing programs, but context-aware system developers might feel far more difficult to make use of such general facilities, because it is hard to decide the timing and position of exception handling with various devices engaged. In this paper, we propose an exception detection and handling mechanism using device semantics and AspectJ so that it can constantly detect a large number of devices to allow the programmers to detect and handle exceptions with less burden.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.223-225
• /
• 2006

최근의 비즈니스 환경은 조직 내의 업무 프로세스 자동화뿐만 아니라, 조직간의 상호 운용을 통한 복잡하고 거대한 서비스들의 처리를 요구하고 있다. 업무 처리 복잡도와 요청 밀집도가 높은 워크플로우 서비스를 처리하기 위한 시스템이 e-chautuauqua 워크플로우 엔진이다. e-chautuaqua 워크플로우 엔진은 대량의 워크플로우 인스턴스 처리에 목적을 둔 초대형 워크플로우 기반의 엔진이기 때문에, 워크플로우 프로세스에 대한 예외 발생을 최소화하는데 목적을 둔 트랜잭션 워크플로우 기반의 엔진에 비해서 신뢰성 보장이 미흡하다는 문제점을 가진다. 따라서, 본 논문에서는 신뢰성 강화와 비즈니스 트랜잭션의 안정적인 처리를 위한 e-chautauqua 워크플로우 엔진의 예외 처리 메커니즘에 대해 기술하고자 한다.

• Annual Conference on Human and Language Technology
• /
• 1998.10c
• /
• pp.329-334
• /
• 1998

자연언어 처리 시스템은 시제품 개발이 비교적 용이한 반면에 이를 실용적인 시스템으로 발전 시키는데 많은 어려움이 있다. 본 논문에서는 형태소 분석기와 구문분석기, 기계번역 시스템 등을 개발할 때 발생하는 문제점과 방법론을 고찰하고, 실용적인 시스템을 개발하기 위한 효율적인 방법으로 2-step 패러다임과 이를 실현하는 방안으로 기능별 모듈화에 의한 divide and conquer 기법, 단순화 기법, 예외처리 기법 등을 활용하는 방법을 제안한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2014.07a
• /
• pp.369-370
• /
• 2014

본 논문에서는 안드로이드 환경에서 클래스 반사(Reflection)과 예외처리를 이용하여 안드로이드 보호 시스템을 우회하여 임의의 코드를 수행할 수 있는 방법을 제시한다. 일반적인 자바 환경과는 달리 안드로이드 환경에서는 보안 강화를 위해 APK 파일 내 루트 디렉토리의 클래스 파일만을 반사를 통해 동적 로딩이 가능하다. 하지만, 본 논문에서는 클래스 반사와 예외 처리를 이용하여 임의의 디렉토리 내 파일을 로딩 및 동적 실행할 수 있는 방법을 보이며 이 방법은 저자가 알기로는 기존에 알려지지 않은 방법이다. 이를 기반으로, 본 논문에서는 AES 암호와 동적 로딩을 이용하여, 모바일 어플리케이션의 내부 코드를 은폐하는 기법을 제안한다. 제안기법을 활용 시, 첫째 공격자의 입장에서는 내부 코드를 은폐하여 백신을 우회하는 악성코드 제작이 가능하고, 둘째, 프로그램 제작자의 입장에서는 핵심 알고리즘을 은폐하여 저작권을 보호하는 코드 제작이 가능하다. 안드로이드 버전 4.4.2(Kitkat)에서 프로토타입을 구현하여 제안 기법의 실효성을 보였다.

• 한국IT서비스학회:학술대회논문집
• /
• 2003.05a
• /
• pp.571-576
• /
• 2003

보험시스템은 상품 및 보험 종류에 따라서 결정되는 요소들이 많고 이에 대한 예외 사항이 많이 존재하는 특성을 가지고 있다. 기존 시스템에서의 상품속성 반영은 테이블을 통한 값 정의와 어플리케이션에서의 예외처리 로직(if then else)을 병행하여 사용함으로 인해, 상품변경과 신상품 개발에 대한 비용이 증가하고 신속한 시장 대응이 어려웠다. 본 논문에서는 보험상품 속성의 비즈니스 로직을 데이터화로 가능하게 하는 Well Formed Rule Base 시스템을 제시하고 실제 프로젝트 적용을 통한 효과를 설명한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.5
• /
• pp.355-359
• /
• 2009

When an unexpected software exception arises, we programmers are to analyze what causes it. Precisely speaking, we need to analyze the cause and property of the unexpected exception. But if exceptions arise irregularly from unknown causes, it is even more difficult for us to handle them, especially in embedded system like mobile phone software development. In this paper, we propose a debugger-friendly analyzing method for exceptions using aspect oriented programming technique. What we need to know upon arising exceptions is the function call history in order to identify the reason for the exceptions. Since programmers used to spend their debugging time on unidentified exceptions, which arise irregularly our method would greatly improve the embedded software development productivity.

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.173-180
• /
• 2010

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.