이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김은상 손님
|
올려짐: 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
|