slitherin
v0.7.2
いらっしゃいませ！私たちはPessimistic.ioチームであり、ここ数ヶ月で、コードレビューと監査プロセスを支援するために、独自のスリザー検出器を積極的に開発しています。このリポジトリには、あなたが彼らと仕事をするために必要なものすべてが含まれています！
検出器は非常に簡単で、「オリジナルスタイル」で書かれていないため、検出器の感度を高めました。その結果、彼らは元のものよりも頻繁にFPS（偽陽性）を生成します。そのため、検出器はチェックリストに実装されたチェックの自動化の一種であり、その主な目的は問題を探して、コード監査人を支援することです。
カスタムスリザー検出器を介して問題/バグ/脆弱性を発見した場合はお知らせください。 PR/Issueを開くか、直接お問い合わせください。さらに質問や提案がある場合は、Discord ServerまたはTelegram Chatに参加してください！そこでお会いしましょう。コミュニティとそのイニシアチブをサポートするつもりです！
| セクション | リンク |
|---|---|
| ドキュメント | 各検出器のドキュメント |
| スリザーリン | 検出器コード |
| テスト | 検出器のテスト契約 |
| utils | 補助ファイル |
| 問題 | アイデアを提案します |
| インストールプロセス | ステップバイステップガイド |
| 検出器 | 検出器テーブル |
| 強化と新しい検出器 | プロジェクトの改善 |
悲観的な検出器をインストールするには：
python3 setup.py developリポジトリの変更後にプラグインを再インストールする必要がないことに注意してください！
npm installpip install slitherinpipx install slitherin echo -e " # Slitherin with pipxnexport PATH= "$ PATH:/home/ $USER /.local/pipx/venvs/slitherin/bin " n " >> ~ /.bashrc
&& source ~ /.bashrcSlitherin-Cliを使用して、Hardhat/Foundry/Dapp/Brownieアプリケーションで検出器を実行します。次のオプションがあります。
slitherin . --pessslitherin . --slitherslitherin . --separatedslitherin . --arbitrumSlitherin-CliはすべてのSlithersオプションをサポートしていることに留意してください。
インストール後、Slitherin検出器は元のSlitherに含まれています。いつものようにスリザーを使用できます。
| 検出器リンク | ドキュメントとセットアップ | テスト契約 | 有効な*問題 |
|---|---|---|---|
| 保護されていないセッター | 探検する | テスト | 1 |
| 保護されていない初期化 | 探検する | テスト | 0 |
| TX Gasprice警告 | 探検する | テスト | 0 |
| uniswapv2統合 | 探検する | テスト | 0 |
| トークンフォールバック | 探検する | テスト | 0 |
| タイムロックコントローラー | 探検する | テスト | 1 |
| 奇妙なセッター | 探検する | テスト | 0 |
| 読み取り専用の再発 | 探検する | テスト | 0 |
| NFT承認警告 | 探検する | テスト | 0 |
| 複数のストレージ読み取り | 探検する | テスト | 9 |
| マジックナンバー | 探検する | テスト | 3 |
| 一貫性のない非レントラント | 探検する | テスト | 0 |
| falsyのみのEOA修飾子 | 探検する | テスト | 0 |
| イベントセッターがありません | 探検する | テスト | 1 |
| 疑わしいタイプキャスト | 探検する | テスト | 0 |
| ダブルエントリトークンの可能性 | 探検する | テスト | 0 |
| 保護されているように前方に電話してください | 探検する | テスト | 0 |
| トークン転送の前 | 探検する | テスト | 2 |
| 続行するため | 探検する | テスト | 0 |
| aave flasloanコールバック | 探検する | テスト | 0 |
| 任意の呼び出し | 探検する | テスト | 0 |
| 楕円曲線回復 | 探検する | テスト | 0 |
| パブリック対外部 | 探検する | テスト | 0 |
| Balancer Readのみの再発 | 探検する | テスト | 0 |
ご注意ください：
*有効 - レポートに含まれ、開発者によって修正された問題（2023年1月 - 2023年6月）。
内部にいくつかのチェックがある2つの検出器があります：PESS-UNI-V2と任意のコール。
ここでは、更新、ワークフロー、マークの完了したタスクと改善を示します。
次のリンクで問題を開くと、独自の検出器/アイデア/強化を追加できます。
カスタム検出器を追加する前に、次のことを確認してください
アイデアを追加する前に、次のことを確認してください
強化を追加する前に、次のことを確認してください
私たちのチームは、スリザーツールクリエイター、ジョセリンファイスト、グスタボグリコ、アレックスグロース、そしてビットのブロックチェーンセキュリティ部門のトレイル、そして元のツールとその進化を信じるすべての人々に、私たちの最も深い感謝を表明したいと思います。
マスメディアのスリザーリン
Pessimisticは、2017年以来、信頼できるセキュリティ監査を提供します。
あなたの安全の専門家の監視が必要ですか？
Pessimistic.ioでサービスをご覧ください。
