eburger

テンプレートベースのスマートコントラクト静的アナライザー

不和|ディスカッション|機能リクエスト| wiki | Twitter DM

Eburgerとは何ですか

Eburgerは、Solidity Smart Contractsを迅速にクエリして分析する方法を提供する静的分析ツールです。

テンプレートを作成します

テンプレートを実行します

静的アナライザーを実行することは、競争に勝ちません。代わりにEburgerで提供するのは、数分で現在の監査プロジェクトに合わせて調整されたカスタムテンプレートをスピンアップする機能（WIKI）で、コードベースを通してユニークなルックアップを調整して監査を強化することができます。

• インストール方法
• 実行方法
  • 実行方法 - シンプル
  • 実行方法 - Advanced
• どのように見えますか？
• SARIFサポート
• githubアクション
• 寄付テンプレート
• 比較表
• 特徴
• 何が欠けている

インストール方法

Pypiから

 pip3 install eburger
eburger -h

ソースから

 git clone https://github.com/forefy/eburger.git
cd eburger
pip3 install .
eburger -h

実行方法

簡単な例

最も簡単です

 cd MyProject/
eburger
cat eburger-output.json

SARIF出力

eburger -f MyProject/ -o sarif

マークダウン出力（プロジェクトのディレクトリから実行）

eburger -o markdown

単一のファイルとその依存関係のフォーカススキャン

eburger -f ../ProjectToScan/src/SomeContract.sol

NSLOCカウントのみを印刷します

eburger -f MyProject/ --nsloc

カスタムYAMLテンプレートを実行します

eburger -t MyCustomYAMLs/ -f MyProject/

高度な使用

wikiを参照してください。

どのように見えるか

これがデモビデオです

eburger.mov

eburger-output.jsonに加えて、上記の例は、フォルダー.eburgerの下に拡張情報も生成します。

SARIFサポート

SARIF（静的分析結果インターチェンジ形式）は、静的分析ツールの結果の標準形式です。

vscodeでインタラクティブなGUIを開くには、見つかった結果と相互作用できるVSCodeで開きます。これらの手順に従ってください。

• MicrosoftのSarif Viewer VSCODE Extenstionをインストールします
• eburger --output sarifを実行します
• vscode内から、結果のeburger-output.sarifファイルをクリックします。

これにより、問題、説明、脆弱なコードラインのナビゲーションなど、インタラクティブなVSCODEメニューが開きます。

githubアクション

CIパイプラインは、eBurger-action-action Githubアクションを介してサポートされており、コードを継続的に評価し、リポジトリのセキュリティペインでの洞察を表示するのに役立ちます。

詳細については、アクションのページをご覧ください。

寄付テンプレート

テンプレートは、新しいYAMLファイルを作成し、 eburger -t mytemplate.yaml .または、それらをtemplates/ディレクトリの下に配置します。

インストール前にブラウザでEburgerで再生することを好む場合は、専用のJupyterノートブックインスタンスを試すことができます。

EburgerをPythonパッケージとして使用している場合（PIPインストールを介してインストール）、既存のテンプレートの場所は、 pip3 show eburger実行するか、契約でツールを実行し、コンソールに印刷されたテンプレートパスを表示することで見つけることができます。

テンプレートの書き込みとドキュメントについては、Wikiを参照してください。

比較表

アクティブに維持されている /人気のある堅牢性スマートコントラクト静的分析装置の比較

静的アナライザー	言語	ChatGptを使用してカスタムテンプレートを書くのに2分	githubアクション	コンテストが始まる前にすでに見つかった多くの調査結果	食べたいと思う
Eburger	Python	✅	✅		✅
スリザー	Python		✅	✅
4naly3er	タイプスクリプト？			✅
mythlil	Python
アデリン	さび

忘れたか、間違いを犯しましたか？プルリクエストまたは問題を開きます:)

特徴

• YAMLテンプレート契約構造を照会し、あらゆる試合の洞察を提起するためのサポート
• テンプレートを作成するための高速学習曲線、現在進行中の監査プロジェクトにテンプレートをカスタマイズする機能
• Foundry and Hardhatサポート❣️
• SARIFサポートとVSCODE GUI統合
• eburger-actionによるgithubアクション統合
• マークダウンレポート
• EburgerテンプレートジェネレーターGPTを介したクイックカスタムテンプレート生成
• コミュニティとDiscordによる無料のサポート

何が欠けている

どんな機能を見たいですか？教えてください！