| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
김은상
손님
|
 올려짐: 2006년6월15일 16:03 주제: malloc E 에 대해서... |
 |
|
syntax상으로는, E의 값이 interval로 주어질 경우도 발생할 수 있는데요.
그럼 array의 size도 interval의 값을 갖는다고 요약해석을 진행해야 하나요?
예를 들어 malloc E에서 E = [1,4]일 경우엔, array의 size값이 [1,4]가 될텐데...
buffer overrun의 가능성이 있는 경우 경고를 출력하는 방향으로 구현하는 것인가요? |
|
| 위로 |
|
 |
진민식
가입: 2006년 3월 21일
올린 글: 67
|
| 올려짐: 2006년6월15일 16:29 주제: |
|
|
1.
| 인용: | syntax상으로는, E의 값이 interval로 주어질 경우도 발생할 수 있는데요.
그럼 array의 size도 interval의 값을 갖는다고 요약해석을 진행해야 하나요? |
네 그렇습니다.
2.
| 인용: | 예를 들어 malloc E에서 E = [1,4]일 경우엔, array의 size값이 [1,4]가 될텐데...
buffer overrun의 가능성이 있는 경우 경고를 출력하는 방향으로 구현하는 것인가요? |
분석을 끝내어서 요약 메모리의 테이블을 가지고 있다면, buffer overrun을
찾는 것은 쉽습니다. 따라서 스펙에서는 buffer overrun이 있는지 검사하는 것
까지는 요구하지 않는 것 입니다.
[/quote] |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
