Solidityにセキュリティアラート　イーサリアムファンデーション公式発表(by Christian Reiteiessner)

概要

場合によっては、変数がストレージの他の変数を上書きする事があり、Solidity（EVM上で使用するプログラミング言語）コンパイラバージョン:0.16から0.4.3(0.4.4のプリリリースバージョンを含む)

更に詳しい説明

256bitより小さいストレージの変数は、もし適合する場合に同じ256bitのスロットに一緒にパッケージされ、もし初期変数に割当られた型によって許可された数値が大きい場合、その数値は２つめの変数へと上書きされます。

これはもしアタッカーが最初の変数の値のオーバーフローを起こすことができ、更に２つ目の変数を変更できるなら、初期変数を利用したオーバーフローは算術を使用することが可能、または直接呼び出しデータ()から数値を通すことができるということです。(呼び出しデータの数値は32バイトに合わせ、パディングは確認も強制もされません)

影響されないコントラクト

下記にある状態変数しか使用していないコントラクトは影響を受けません

配列、マッピングと構造体(下記のものをベースとするもの)も影響を受けません

・符号あり整数、サイズを含み256bitより小さいもの

・bitNNの型、サイズを含み256bitより小さいもの

・256bitの符号なし整数（ユニット）

隣接することのない256bitより小さい型とのコントラクト(＊状態変数のベースコントラクトは”引きつけられる”)はお互いに影響することはなく、

イーサリアムのマルチシグウォレットコントラクトは影響ありません

＊アドレスは160bitを取ることに注意、アドレスを使用するコントラクトと256bitの型は安全です

更にアドレスとブーリアン型は算術演算を通して操作されることは実際にはほとんどないと言っていいでしょう、そしてアドレスだけを使用するコントラクト、ブーリアン型と256bit型も安全であるでしょう。

影響を受けるであろうコントラクト

合計サイズが256bit以下のものと最初の状態変数が符号なし整数とbitNN型ではない２つまたはそれ以上のコンフィギュレーション状態変数により作られたコントラクト