securify

[非推奨] Securify

これはSecurifyのバージョンであり、非推奨であり、サポートされなくなります。 Securify v2.0を使用してください。

Securifyは、Ethereum FoundationとChainsecurityがサポートするEthereum Smart Contractsのセキュリティスキャナーです。 Securifyの背後にあるコアリサーチは、Ethチューリッヒのアイスセンターで実施されました。

スマートコントラクトで一般的に見られるセキュリティパターンの広範なリストを備えています。

• DAOバグのいくつかの形式（再発とも呼ばれます）
• ロックされたエーテル
• 入力検証がありません
• トランザクション注文依存額、受信機および転送
• 未処理の例外
• 無制限のエーテルフロー

このプロジェクトは、Ethereum Security Communityのすべてからの貢献を歓迎するオープンなプラットフォームであることを意図しています。新しいパターンを提案し、テストのためにボランティアをする、または新しいパターンの開発に貢献するために、私たちの不一致グループを通して連絡してください。

はじめる

要件

• soufflé：https：//github.com/soufle-lang/soufle/releases（securifyは最新のパッケージで動作するはずです。そうでない場合は問題を提起してください）。 Souffléをインストールできない場合は、代替案についてはDockerコンテナを見てください。 Securifyは、 souffleバイナリなしでクラッシュします。執筆時点では、SuffléはWindowsで利用できないため、SecurifyもWindowsで実行されるとは期待していません。
• Java 8
• Solidityファイルを入力として使用できるようにするには、 solcバイナリが必要です。 Securifyは、指定されたファイルに適切なバージョンがインストールされていると仮定します。 solcはこちらから入手できます。

使用

構築するには：

./gradlew jar

堅牢性ファイルでSecurifyを実行するには：

java -jar build/libs/securify.jar -fs src/test/resources/solidity/transaction-reordering.sol

pysolc.pyスクリプト（py-solcが必要です）によって提供される逆コンパイル出力でSecurifyを実行するには：

java -jar build/libs/securify.jar -co out.json

いくつかのEVMバイナリでSecurifyを実行するには（ solcによって作成された例）：

java -jar build/libs/securify.jar -fh src/test/resources/solidity/transaction-reordering.bin.hex

オプションの完全なリストを表示するには：

java -jar build/libs/securify.jar -h

テストを実行するには（junit4を使用）：

./gradlew test

Pythonラッパーは、 solcとtruffleに対処するのに役立ちます。要件はrequastion.txtファイルにあります。 DockerFileは、このラッパーを使用するようにローカル環境をセットアップするための参照として使用できます。

Docker

インストールは、Debianデリバティブ、またはSouffléによってサポートされているその他のプラットフォームで十分に簡単でなければなりません。

Souffléを必要としない簡単なデモをするには、Dockerを使用できます。

Docker画像を作成します：

docker build . -t securify

小さな例でSecurifyを実行します：

docker run securify

マウント*.solボリュームを指定することで分析されたファイルを変更できます。

docker run -v $( pwd ) /folder_with_solidity_files:/project securify

--truffleフラグを追加すると、Securifyが依存関係が既にインストールされているトリュフプロジェクトを実行できるようにする必要があります（必要に応じてnpm installすることができます）。このフラグがなければ、プロジェクトはsolcを使用してコンパイルされます。 -hを追加して、オプションの完全なリストを取得します。特に、ユーザーがトリュフから編集情報を受け取りたい場合、 -vフラグを追加する必要があります。

JSON出力を受信したい場合、Dockerは、きれいな出力を抑制し、代わりにJSONを返す--jsonフラグをサポートします。進捗情報が表示されない場合は、 -qフラグを追加してください。したがって、純粋なJSON出力をもたらします。一致する線のインデックスは0ベースです。つまり、ラインiと一致するとi+1回の行が一致することを意味します。特に、最初の行のインデックスは0です。

テスト

基本的なエンドツーエンドテストは、test.pyファイルを介して実行できます。

 python3 test . py

要件は、pipenvを使用してインストールできます。

pipenv install

またはpipの使用：

pip install -r requirements.txt

これらのテストは、Securifyによって与えられた現在のJSON出力を過去の出力と比較し、2つの間に違いを報告します。

トラビス統合

次の.travis.ymlプロジェクトに追加して、新しいコミットでSecurifyを実行できます。

 services:
  - docker

before_install:
  - docker pull chainsecurity/securify

script:
- docker run -v $(pwd):/project chainsecurity/securify

これにより、Securifyは依存関係が既にインストールされているトリュフプロジェクトを実行できるようになります（必要に応じてnpm installすることができます）。

出力

出力は大まかにClangスタイルに従います。警告と脆弱性のみが報告されています。コンプライアンス情報も取得したい場合は、dockerの--jsonフラグ、またはJava実行可能ファイルの-coフラグを使用して、JSON形式ですべての分析情報を取得してください。

貢献

Convributing.mdを参照してください。

私たちの不一致に参加して、他のユーザーと話し合いましょう。

既知の制限

SecurifyはChainsecurityでの監査を支援するために定期的に使用されますが、以下を含むバグがまだあります。

• フォールバック関数のコードは現在分析されていません。回避策は、代わりにこの関数に名前を付けることです。
• 場合によっては、 computeBranchesが再帰的であるため、StackoverFlowerrorの例外がスローされます。ほとんどの場合、 javaの-Xssオプションを使用してスタックサイズを増やすだけで十分です。たとえば、 java -Xss1G -jar ...
• ライブラリは適切にサポートされていません
• 抽象契約（ solcを介してバイナリを取得できない）はサポートされていません

Securifyに関するプレゼンテーション、調査、ブログ

• カナダのトロントにあるACM CCS'18で発表された研究論文を証券化する
• 朝の論文の安全な研究論文の概要
• TechCrunch：このスマートコントラクトスキャナーは、トークンがチップトップであることを保証します
• ローザンヌのEPFLで話してください
• CancúnのDevCon3で話してください
• ダボスのD10Eで話します
• EthZürichの研究者は、Ethereum Smart Contractsのための無料の最先端のセキュリティスキャナーをリリースします
• Ethereumスマートコントラクトの自動セキュリティ分析
• パリティの財布を凍結したバグを自動的に検出します

技術的な詳細

Securifie Securify Stately Smart ContractのEVMコードを静的に分析して、契約に関する重要なセマンティック情報（コントロールフローおよびデータフローファクトを含む）を推測します。このステップは、スケーラブルなDatalogソルバーであるSouffléを使用して完全に自動化されています。次に、Securifyは推測された事実をチェックして、セキュリティ違反を発見したり、セキュリティ関連の指示のコンプライアンスを証明したりします。

Securifyスキャナーの背後にある完全な技術的詳細は、研究論文で入手できます。