지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011가을 학술발표논문집 제38권 제2호(A)
- 발행연도
- 2011.11
- 수록면
- 365 - 368 (4page)
이용수
초록· 키워드
오류제보하기
소멸된 지역변수 참조 오류란 C/C++로 작성된 프로그램에서 지역변수가 전역적인 포인터 변수에 의해 참조되어, 지역변수의 범위를 벗어난 시점에 사용되는 것을 말한다. 이 오류는 언어 차원에서 강제할 방법이 없기 때문에 프로그래머가 부주의하면 쉽게 발생할 수 있고, 프로그램의 의도되지 않은 실행을 일으키므로 오류를 미리 검출하는 것이 매우 중요하다. 프로그램의 구문분석만으로는 정상적인 경우와 오류인 상황을 구분할 수가 없기 때문에 의미구조 기반의 함수 간 분석을 필요로 한다. 함수 간 메모리 버퍼 오버런 분석기인 Airac[1]의 분석결과를 이용하여 소멸된 지역 변수 참조 오류를 검출할 수 있다. 이 분석기의 결과에 오류검출 알고리즘을 적용하여 오픈 소스 프로그램들에서 소멸된 지역변수 참조 오류를 얼마나 검출할 수 있는 지 실험해보았다.
목차
요약
1. 서론
2. 소멸된 지역변수 참조 알아내기
3. 실험결과
4. 알고리즘의 한계
5. 결론
참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
Inferbo: Infer 기반 버퍼 오버런 오류 분석기
허기홍
,
조성근
,
이광근
한국정보과학회 학술발표논문집
2017
.06
ISO 26262-6에 따른 차량용 임베디드 소프트웨어에 대한 소프트웨어 정적 분석
권구훈
,
고병각
한국자동차공학회 춘계학술대회
2017
.05
정적 분석 방법을 이용한 차량용 능동 제어 엔진마운트 소프트웨어 개발
정명수
,
문창수
,
류현기
외 1명
한국자동차공학회 춘계학술대회
2016
.05
임베디드 소프트웨어에서 발생하는 정수 확장 (Integer Promotion) 버그 검출을 위한 정적 분석 기법
김태진
,
김문주
,
이호정
외 2명
한국정보과학회 학술발표논문집
2015
.12
정적 분석 기법을 이용한 차량용 소프트웨어의 개발 사례 연구
김장훈
,
조성래
,
진성호
한국자동차공학회 추계학술대회 및 전시회
2014
.11
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001149761