지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011한국컴퓨터종합학술대회 논문집 제38권 제1호(C)
- 발행연도
- 2011.6
- 수록면
- 450 - 453 (4page)
이용수
초록· 키워드
오류제보하기
분석 경보에 따른 점층적인 분석을 수행하는 버퍼 오버런 분석 기법을 제안한다. 구간 도메인을 사용한 분석은 비용이 낮지만 정확도도 낮다. 변수들 간의 관계를 고려하는 팔각형 도메인을 사용한 분석은 정확도가 높지만 비용도 높다. 점층적인 분석 방법으로 정적 분석기의 비용과 정확도 사이에서 균형을 잡을 수 있다. 먼저 (비용이 낮은) 구간 도메인을 사용한 분석을 수행하고, 증명하지 못한 부분 코드에 대해서만 (정확도가 높은) 관계 도메인을 사용한 분석을 적용한다. 정확도가 높은 분석이 필요한 부분에만 관계분석을 적용함으로써, 낮은 분석 비용을 유지하면서 정확도를 높일 수 있다.
목차
요약
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-000356708