지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011한국컴퓨터종합학술대회 논문집 제38권 제1호(C)
- 발행연도
- 2011.6
- 수록면
- 454 - 457 (4page)
이용수
초록· 키워드
오류제보하기
명령형 언어로 작성된 프로그램에 대한 정적 분석을 효과적으로 수행하는 방법을 제시한다. 흐름을 고려하면서 분석 할 때, 일부의 계산만이 분석 결과를 만들어내는 데 이바지한다. 주어진 입력 메모리로 어떤 명령문을 계산할 때 입력 메모리의 일부만 계산에 사용하고, 계산의 결과는 입력 메모리에서 일부만 변경된 값이기 때문이다. 또한, 변경된 값이 다시 계산에 사용되기까지 불필요한 값의 전달을 수반한다. 이 논문에서는 가벼운 전분석을 통해 불필요한 계산들을 미리 찾아내어 계산에서 제외하는 방법을 제시한다. 상용화된 요약해석 기반 분석기에 이 기법을 적용하고 10개의 오픈 소스 프로그램에서 실험한 결과 분석속도가 평균 65배 빨라졌다. 또한, 최근에 제안된 필요한 정보만 가지고 계산하기 기법을 적용한 결과에 비해서도 분석속도가 평균 16배 빨라졌다.
목차
요약
1. 서론
2. 관련연구
3. 필요한 계산 어림잡기
4. 불필요한 계산 제거하기
5. 비교 및 평가
6. 결론
7. 참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
전분석을 이용한 정적 분석의 정확도 선별적 향상 기법
오학주
,
허기홍
,
이광근
한국정보과학회 학술발표논문집
2014
.06
양측의 보안을 유지하는 프로그램 분석 서비스
이우석
,
오학주
,
이광근
한국정보과학회 학술발표논문집
2014
.06
정적분석 중 남은시간 정확하게 예측하기
이우석
,
오학주
,
이광근
한국정보과학회 학술발표논문집
2013
.06
비싼 관계 분석이 꼭 필요한 부분만 선별하는 방법
허기홍
,
오학주
,
이광근
한국정보과학회 학술발표논문집
2013
.06
정적 분석에서의 거짓 호출 사이클의 존재
유병준
,
오학주
,
이광근
한국정보과학회 학술발표논문집
2012
.11
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-000356713