Integer Overflow of Allocation Size 문제 관련 질문입니다
글쓴이: fensy / 작성시간: 화, 2013/11/05 - 10:24오전
안녕하세요.. 이번에 코드소나로 정적테스트를 하고 있는데
궁금사항이 있어서 질문드립니다.
소스에서 gcc library로 제공되는 시스템 queue를 사용하는데요
CtrlMsgQueue = (Queue_t *)malloc(sizeof(Queue_t)*QueueSize);
이런식으로 메모리 alloc을 하는데 Integer Overflow of Allocation Size 문제가 띵 튀어나오네요..
QueueSize가 전역변수로 선언되어 있는넘인데.. 이걸 코드소나에서 인식을 못해서 그런건지..-_-;;
강제적으로 값을 집어넣으면 에러는 사라지는거 같으나.. 영 찝찝하고, 저 코드 돌기전에
Allocation Size를 체크할수 있는 api같은것이 있을까요?
Forums:
제가 보기에는..
malloc가 받아들이는 size_t가, 예를 들어, 4바이트라고 합시다. 그리고 QueueSize가 역시 4바이트 값이라 치면, Queue_t가 1바이트짜리 자료구조가 아닌 이상 결국 size_t가 표현할 수 있는 범위를 넘어설 가능성이 생기겠죠. 결국 오버플로우가 생겨서 malloc에 이상한 값이 전달될 수가 있는 것입니다. 이러면 생각했던 것보다 더 적은 메모리가 잡히게 되고 그렇게 잘못 할당된 메모리를 사용할 경우 버퍼 오버런 등의 문제가 일어나게 되겠죠. 이게 바로 Integer Overflow 메시지가 의미하는 바입니다. 참고: https://www.owasp.org/index.php/Integer_overflow
결국 방법은 미리 size_t 변수를 하나 만들어서 계산후 malloc에 전달하든지.. 아니면 QueueSize의 데이터타입을 좀더 작은 걸로 바꾸는 정도가 있겠네요. malloc말고 다른 메모리 할당 함수(만약 존재한다면)를 쓰셔도 될것 같고요. 또는 size_t가 64비트로 확장되는 환경을 이용하셔도 될듯 합니다. 물론 이경우 QueueSize의 자료형이 더 커지면 안되겠지요. ^^ 이외에 하여튼 저 malloc의 인자 부분이 오버플로우될 확률만 없애주시면 됩니다. 저 메시지는 자료형만 가지고 계산을 하는 걸로 보이므로 실제로 해당 값이 넘어갈 확률이 있는지는 중요하지가 않습니다. 만약 실제로는 오버플로우 확률이 전혀 없고, 저 메시지가 그냥 워닝이라면, 강제로 꺼도 상관없긴 하겠네요. 저라면 그렇게 하지 않겠지만요.
--
댓글 달기