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 つのバージョンのみで開発およびテストされるため、これは推奨されません。これにより、既知のセキュリティ脆弱性がある古いバージョンのコンパイラーを使用してコンパイルされる可能性が残ります。

例 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 ビットの符号付きの値であると家庭した場合、0xFF で表わされる文字を getchar() が返すと、c の値は EOF と比較して、0xFFFFFFFF に拡張された符号となります。通常 EOF は -1 (0xFFFFFFFF) と定義されるため、このループは誤って終了します。

符号付き数値と符号なし数値の間の暗黙的なキャストを信頼するのは危険です。キャストの結果、予期しない値が発生し、プログラムの別の場所での貧弱な想定が破られる可能性があるためです。

例 1: この例では、変数 amount は返されるときに負の値を保持する可能性があります。関数で符号なし int を返すよう宣言されているため、amount は暗黙で符号なしに変換されます。

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

Example 1 のエラー条件が満たされると、readdata() の戻り値は、32 ビット整数を使用するシステムで 4,294,967,295 になります。

符号付き値と符号なし値の変換は、さまざまなエラーにつながる可能性がありますが、セキュリティに関するものとしては、Integer Overflow と Buffer Overflow の脆弱性に関連するエラーが最も頻繁に発生します。

符号付き数値と符号なし数値の間の暗黙的なキャストを信頼するのは危険です。キャストの結果、予期しない値が発生し、プログラムの別の場所での貧弱な想定が破られる可能性があるためです。

例 1: この例では、accecssmainframe() の戻り値に依存しているため、変数 amount は返されるときに負の値を保持する可能性があります。関数で符号なし値を返すよう宣言されているため、amount は暗黙で符号なしの数値にキャストされます。

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

accessmainframe() の戻り値が -1 の場合、readdata() の戻り値は、32 ビット整数を使用するシステムで 4,294,967,295 になります。

符号付き値と符号なし値の変換は、さまざまなエラーにつながる可能性がありますが、セキュリティに関するものとしては、Integer Overflow と Buffer Overflow の脆弱性に関連するエラーが最も頻繁に発生します。