これは Slither という名前の Linux アプリで、最新リリースは 0.10.0sourcecode.zip としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
Slither with OnWorks という名前のこのアプリをオンラインで無料でダウンロードして実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショット：
ずるずる滑る
説明：
Slither は、Python 3 で記述された Solidity 静的分析フレームワークです。一連の脆弱性検出機能を実行し、契約の詳細に関する視覚的な情報を出力し、カスタム分析を簡単に作成するための API を提供します。 Slither を使用すると、開発者は脆弱性を見つけ、コードの理解を深め、カスタム分析のプロトタイプをすばやく作成できます。 Slither は、Solidity 向けの最初のオープンソースの静的解析フレームワークです。 Slither は高速で正確です。 ユーザーの介入なしに、数秒で実際の脆弱性を見つけることができます。 高度なカスタマイズが可能で、Solidity コードを簡単に検査および分析するための一連の API を提供します。 すべてのセキュリティ レビューで使用しています。 これで、コード レビュー プロセスに統合できます。 Slither のコア解析エンジンをオープンソース化しています。 このコアは、高度な静的分析機能を提供します。これには、複雑な分析 (「検出器」) を構築できる汚染追跡機能を備えた中間表現 (SlithIR) が含まれます。
特徴
- 脆弱な Solidity コードを低い誤検知で検出 (トロフィーのリストを参照)
- ソース コード内でエラー状態が発生した場所を特定します。
- 継続的インテグレーションと Truffle ビルドに簡単に統合
- 組み込みの「プリンター」が重要な契約情報を迅速に報告
- Python でカスタム分析を作成するための検出器 API
- Solidity >= 0.4 で書かれたコントラクトを分析する機能
プログラミング言語
Python、ソリッド性
カテゴリー
これは https://sourceforge.net/projects/slither.mirror/ からも取得できるアプリケーションです。 これは、OnWorks でホストされており、無料のオペレーティング システムの XNUMX つからオンラインで簡単に実行できます。