메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
프로그램을 이해하는 데 가장 중요하고 어려운 요소 중의 하나는 모듈간의 자료흐름을 이해하는 일이다. 모듈간의 자료교환 방법은 크게 파라미터에 의한 방법과 전역변수에 의한 방법이 있는데, 기존의 프로그램 분석 방법들은 파라미터를 분석하는 데 중점을 두었으며 전역변수는 각 모듈에 대한 추가적인 파라미터로 취급했다. 이런 방법으로 프로그램을 분석하면 프로그램 분석 그래프에서 전역변수를 사용하지 않는 모듈내에도 전역변수가 나타나므로 결국 프로그램에 대한 이해와 관리를 어렵게 한다. 이 연구에서는 전역변수를 정확하게 분석하기 위한 새로운 모듈간 흐름분석 방법을 제시한다. 모듈 호출시의 문맥에 기반을 둔 Call Context Graph를 사용하여 모듈간 흐름분석을 수행함으로써 recursion 문제와 aliasing 문제를 해결하였다. 여기서 제시된 방법을 사용하면 전역변수에 대한 정확한 정보를 구할 수 있게 되고 따라서 전역변수에 관련된 도구들을 효과적으로 사용할 수 있게 된다.

목차

요약

1. 서론

2. 관련 연구

3. 모듈내 흐름 분석

4. Call Context Graph (CCG)

5. 전역변수에 대한 모듈간 흐름 분석

6. 결론

참고 문헌

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017969718