これはEchidnaというLinuxアプリケーションで、最新リリースはechidna-2.2.7-x86_64-linux.tar.gzとしてダウンロードできます。ワークステーション向けの無料ホスティングプロバイダーであるOnWorksでオンラインで実行できます。
Echidna 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。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショットは
Ad
エキドナ
DESCRIPTION
Echidna はバグを食べ、非常に電気感受性の奇妙な生き物です (Jacob Stanley に謝罪) もっと深刻なことに、Echidna は Ethereum スマート コントラクトのファジング/プロパティ ベースのテスト用に設計された Haskell プログラムです。 コントラクト ABI に基づく洗練された文法ベースのファジング キャンペーンを使用して、ユーザー定義の述語または Solidity アサーションを改ざんします。 モジュール性を念頭に置いて Echidna を設計したため、簡単に拡張して新しいミューテーションを含めたり、特定のケースで特定のコントラクトをテストしたりできます。 より深いバグを見つけるためのオプションのコーパス コレクション、ミューテーション、カバレッジ ガイダンス。 Slither を利用して、ファジング キャンペーンの前に有用な情報を抽出します。 ファジング キャンペーン後にカバーされる行を識別するためのソース コードの統合。 Curses ベースのレトロな UI、テキストのみまたは JSON 出力。
オプション
- 実際のコードに合わせた入力を生成します
- Etheno と Truffle による複雑なコントラクトの初期化のサポート
- ファジング キャンペーンの最大ガス使用量レポート
- 開発ワークフローへのシームレスな統合
- 迅速なトリアージのための自動テストケース最小化
- Curses ベースのレトロな UI、テキストのみまたは JSON 出力
プログラミング言語
ハスケル、ソリディティ
カテゴリー
https://sourceforge.net/projects/echidna.mirror/ からも取得できるアプリケーションです。 これは、OnWorks でホストされており、無料のオペレーティング システムの XNUMX つからオンラインで簡単に実行できます。
