정수형 오버플로우
정수를 사용한 연산의 결과가 정수값의 범위를 넘어서지 않도록 구현해야 한다. 외부 입력 값을 변수로 사용하여 배열의 크기를 동적으로 결정하고 있는 경우 해당 변수가 의도한 범위 내에 존재하는지 확인하는 절차가 있는지 확인 언어·플랫폼별 정수타입의 범위를 확인하여 사용한다. 정수형 변수를 연산에 사용하는 경우, 결과값 의 범위를 체크하는 모듈을 사용한다. 외부입력 값을 동적 메모리 할당에 사용하는 경우, 변수값이 적절한 범위 내에 존재하는 값인지 확인한다