$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

[국내논문] CTOC에서 자바 바이트코드를 이용한 제어 흐름 분석에 관한 연구
A Study on Control Flow Analysis Using Java Bytecodes in CTOC 원문보기

한국콘텐츠학회논문지 = The Journal of the Korea Contents Association, v.6 no.1, 2006년, pp.160 - 169  

유원희 (인하대학교 컴퓨터 공학부) ,  김기태 (인하대학교 컴퓨터 공학부)

초록
AI-Helper 아이콘AI-Helper

본 논문은 바이트코드(bytecode) 수준에서 프로그램 분석최적화를 위한 구조를 서술한다. 바이트코드 수준에서 분석을 수행하기 위해서는 우선 제어 흐름 그래프(CFG : Control Flow Graph)를 생성해야 한다. 바이트코드의 특성 때문에 기존의 제어 흐름 분석 기술을 바이트코드에 적합하게 확장해야 한다. CFG를 작성하기 위해 기본 블록을 생성하고 기본 블록간의 관계를 이용하여 최적화 과정에서 사용되는 각종 정보를 생성한다. 생성된 CFG는 자바 바이트코드의 이해와 유지보수를 위해 테스트되고, 데이터 흐름 분석과 의존성 분석과 같은 다른 분석을 위해서 사용된다. 본 논문에서는 바이트코드 수준의 제어 흐름 분석을 위해 CTOC(Classes To Optimized Classes)의 CTOC-BR(CTOC-Bytecode tRanslator)을 구현한다. CTOC는 자바 바이트코드의 최적화와 분석을 위해 현재 개발 중인 프레임 워크의 이름이고, CTOC에서 CTOC-BR은 스택 기반인 바이트코드의 최적화와 분석을 쉽게 하기 위해 트리 형태로 변환을 수행하는 도구이다.

Abstract AI-Helper 아이콘AI-Helper

This paper describes the data structure for program analysis and optimization of bytecode level. First we create an extended CFG(Control Flow Graph). Because of the special properties of bytecode, we must adaptively extend the existing control flow analysis techniques. We build basic blocks to creat...

주제어

AI 본문요약
AI-Helper 아이콘 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

문제 정의

  • 처음에 노드를 생성할 때 모든 블록은 인덱스 값을 -1값을 갖도록 하였다. 따라서 도달 불가능한 블록을 판단하기 위해서는 블록의 인덱스 값이 음수 값을 갖는가를 확인하는 것이다. 만약 블록의 인덱스 값이 음수를 갖는다면 이 블록은 방문 집합에 존재하지 않을 뿐더러 전위 리스트에도 존재하지 않는다는 의미이다.
  • 생성해야 한다. 따라서 본 논문에서는 자바 바이트 코드의 특성을 고려하여 기존의 제어 흐름 분석 기술을 자바 바이트 코드에 적합하게 확장하였다. 그리고 분석을 위해, 자바 바이트코드의 정보를 이용하여 CFG를 생성하였다.
  • 본 논문에서는 바이트코드 수준의 분석을 위해 확장된 CFG(제어 흐름 그래프)를 생성한다. 일반적으로 CFG에 의해서 표현되는 컴파일러 최적화와 프로그램 분석 기술은 제어 흐름 정보에 기반한다.
  • 본 논문에서는 자바 바이트코드를 위해 제어 흐름을 분석하고 최적화를 위한 준비로 탐색을 위한 리스트와 도달 불가능한 기본 블록에 대한 제거를 수행하였다. 마지막으로 CTOC와 기존의 도구들 사이에 비교를 수행하였다.
본문요약 정보가 도움이 되었나요?

저자의 다른 논문 :

섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로