Type Mismatch: Negative to Unsigned

함수가 부호 없는 값을 반환하도록 선언되어 있는데 경우에 따라 음수 값 반환을 시도합니다.

예상치 않은 값이 나타날 수 있고 프로그램에서 약한 가정의 위반이 발생할 수 있으므로 부호 있는 수와 부호 없는 수 간의 암시적 캐스트에 의지하는 것은 위험합니다.

예제 1: 이 예제에서 변수 amount는 반환될 때 음수 값을 가질 수 있습니다. 함수가 부호 없는 정수를 반환하도록 선언되었으므로 amount는 암시적으로 부호가 없는 상태로 변환됩니다.

unsigned int readdata () {
	int amount = 0;
    ...
	if (result == ERROR)
		amount = -1;
	...
	return amount;
}

Example 1의 코드에서 오류 조건이 충족되는 경우 32비트 정수를 사용하는 시스템에서 readdata()의 반환 값은 4,294,967,295입니다.

부호 있는 값과 부호 없는 값 간의 변환은 다양한 오류를 발생시키지만 보안 측면에서 보면 integer overflow 및 buffer overflow 취약점과 가장 많이 관련되어 있습니다.