개발자는 Solidity 스마트 계약 개발 시 상태 변수의 표시 유형을 설정하여 해당 함수를 가져오거나 설정할 수 있는 사용자를 제어해야 합니다.

상태 변수 표시 유형을 명시적으로 설정하면 해당 변수에 액세스할 수 있는 사용자에 대한 잘못된 가정을 더욱 쉽게 파악할 수 있습니다.

예제 1: 다음 코드는 변수의 명시적 표시 유형 수준을 설정하지 않습니다.

bytes16 data = "data";

0.5.0 이전 버전의 Solidity 컴파일러 사용 시 개발자는 함수가 포함되는 계약과 같은 이름으로 함수를 생성하여 생성자를 정의할 수 있습니다. 생성자는 대개 중요한 기능용으로 예약되며 계약 생성 시에만 실행됩니다. 생성자에 오타가 있어서 생성자 이름이 계약 이름과 일치하지 않으면 생성자의 중요한 기능이 노출됩니다.

예제 1: 다음 코드는 0.5.0 이전 버전의 Solidity 컴파일러를 사용하며 계약 이름과 정확하게 일치하지 않는 이름으로 생성자 선언을 시도합니다. 이 예에서는 계약 이름과 생성자 이름의 대/소문자가 Missing, missing으로 서로 일치하지 않습니다.

pragma solidity 0.4.20;

contract Missing {
    address private owner;
    function missing() public {
        owner = msg.sender;
    }
}

개발자는 Solidity 스마트 계약을 생성할 때 테스트 시 기준으로 사용했던 버전을 명확하게 설정하여 다른 컴파일러 버전 사용 시의 문제를 방지하기 위해 사용할 컴파일러 버전을 지정할 수 있습니다. 하지만 컴파일러와 관련된 여러 가지 취약성이 장기간에 걸쳐 공개되어 왔으며 이러한 문제를 해결하기 위해 최신 패치가 적용된 컴파일러 버전이 생성되었습니다.

개발자는 스마트 계약 생성 시에 사용할 호환 가능한 Solidity 컴파일러 버전의 범위를 지정할 수 있습니다. 그런데 계약 개발과 테스트는 대개 사용 가능한 버전 중 하나에서만 진행되므로 이러한 지정 방식은 사용하지 않는 것이 좋니다. 이러한 지정 방식을 사용하는 경우 계약 컴파일 시 알려진 보안 취약성이 있는 오래된 컴파일러 버전가 사용될 수 있습니다.

예제 1: 다음 코드 줄은 스마트 계약이 0.4.5 이전 버전에서 컴파일되지 않는 동시에 0.5.0 이상 버전 컴파일러에서 작동하지 않도록 pragma를 설정합니다.

pragma solidity ^0.4.5;

정수로 배정된 부호 없는 문자가 부호 있는 문자에 할당되는 경우, 해당 값이 EOF와 구별되지 않을 수도 있습니다.

예제 1: 다음 코드는 문자를 읽고 이를 EOF와 비교합니다.

char c;

while ( (c = getchar()) != '\n' && c != EOF ) {
  ...
}

이 경우, getchar()의 반환 값은 char로 배정되고 EOF(int)와 비교됩니다. c가 부호가 있는 8 비트 값이고 EOF 부호가 있는 32 비트 값이라고 가정하여 getchar()가 0xFF로 표시된 문자를 반환하는 경우, c의 값은 EOF와 비교해 볼 때 0xFFFFFFFF로 확장된 부호가 됩니다. EOF는 일반적으로 -1(0xFFFFFFFF)로 정의되기 때문에 루프가 실수로 종료됩니다.

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

예제 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 취약점과 가장 많이 관련되어 있습니다.

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

예제 1: 이 예제에서 accecssmainframe()의 반환 값에 따라 변수 amount는 반환될 때 음수 값을 가질 수 있습니다. 함수가 부호 없는 값을 반환하도록 선언되었으므로 amount는 암시적으로 부호가 없는 수를 가리킵니다.

unsigned int readdata () {
	int amount = 0;
    ...
    amount = accessmainframe();
    ...
	return amount;
}

accessmainframe()의 반환 값이 -1인 경우 32비트 정수를 사용하는 시스템에서 readdata()의 반환 값은 4,294,967,295입니다.

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