slither

# [Slither، أداة التحليل الثابت للعقود الذكية](https://crytic.github.io/slither/slither.html)

<img src="https://assets.kitploit.com/production/public/readmes/2943/62b8c109c585043091c50668ec219aa530aa6d589d7cda02181bf209249f5205.png" alt="شعار إطار عمل Slither للتحليل الثابت" width="500" />

[![Build Status](https://img.shields.io/github/actions/workflow/status/crytic/slither/ci.yml?branch=master)](https://github.com/crytic/slither/actions?query=workflow%3ACI)
![PyPI](https://img.shields.io/pypi/v/slither-analyzer?logo=python&logoColor=white&label=slither-analyzer)
[![Slither - Read the Docs](https://img.shields.io/badge/Slither-Read_the_Docs-2ea44f)](https://crytic.github.io/slither/slither.html)
[![Slither - Wiki](https://img.shields.io/badge/Slither-Wiki-2ea44f)](https://github.com/crytic/slither/wiki/SlithIR)

> انضم إلى سلاك Empire Hacking
>
> [![Slack Status](https://slack.empirehacking.nyc/badge.svg)](https://slack.empirehacking.nyc/)
> > _- مناقشات ودعم_

**Slither** هو إطار عمل للتحليل الثابت للعقود الذكية بلغة Solidity و Vyper، مكتوب بلغة Python3. يقوم بتشغيل مجموعة من كاشفات الثغرات الأمنية، ويطبع معلومات مرئية حول تفاصيل العقد، ويوفر واجهة برمجة تطبيقات لكتابة تحليلات مخصصة بسهولة. يمكّن Slither المطورين من العثور على الثغرات الأمنية، وتحسين فهمهم للكود، والنمذجة السريعة للتحليلات المخصصة.

* [الميزات](#features)
* [الاستخدام](#usage)
* [كيفية التثبيت](#how-to-install)
  * [استخدام uv (مُوصى به)](#using-uv-recommended)
  * [استخدام Pip](#using-pip)
  * [استخدام Git](#using-git-development)
  * [استخدام Docker](#using-docker)
  * [التكامل](#integration)
* [الكاشفات](#detectors)
* [الطابعات](#printers)
  * [طابعات المراجعة السريعة](#quick-review-printers)
  * [طابعات المراجعة المتعمقة](#in-depth-review-printers)
* [الأدوات](#tools)
* [توثيق API](#api-documentation)
* [الحصول على المساعدة](#getting-help)
* [الأسئلة الشائعة](#faq)
* [الترخيص](#license)
* [المنشورات](#publications)
  * [منشورات Trail of Bits](#trail-of-bits-publication)
  * [منشورات خارجية](#external-publications)

## الميزات

* يكشف عن كود Solidity الضعيف مع نتائج إيجابية خاطئة منخفضة (انظر قائمة [الجوائز](https://github.com/crytic/slither/blob/master/trophies.md))
* يحدد مكان حدوث حالة الخطأ في الكود المصدري
* يتكامل بسهولة مع التكامل المستمر وبنيات Hardhat/Foundry
* 'طابعات' مدمجة تبلغ بسرعة عن معلومات العقد الحيوية
* واجهة برمجة تطبيقات للكاشفات لكتابة تحليلات مخصصة بلغة Python
* القدرة على تحليل العقود المكتوبة بلغة Solidity >= 0.4
* التمثيل الوسيط ([SlithIR](https://github.com/crytic/slither/wiki/SlithIR)) يتيح تحليلات بسيطة وعالية الدقة
* يحل 99.9% من جميع كود Solidity العام بشكل صحيح
* متوسط وقت التنفيذ أقل من ثانية واحدة لكل عقد
* يتكامل مع فحص كود GitHub في [CI](https://github.com/marketplace/actions/slither-action)
* دعم العقود الذكية بلغة Vyper

## الاستخدام

قم بتشغيل Slither على تطبيق Hardhat/Foundry/Dapp/Brownie:```console
slither .
```
هذا هو الخيار المفضل إذا كان مشروعك يحتوي على تبعيات، حيث يعتمد Slither على إطار التجميع الأساسي لتجميع الكود المصدري. ومع ذلك، يمكنك تشغيل Slither على ملف واحد لا يستورد تبعيات:```console
slither tests/uninitialized.sol
```
## كيفية التثبيت

> **ملاحظة**
> يتطلب Slither بايثون 3.10+.
إذا كنت **لن** تستخدم أحد [أطر التجميع المدعومة](https://github.com/crytic/crytic-compile)، فأنت بحاجة إلى [solc](https://github.com/ethereum/solidity/)، مترجم Solidity؛ نوصي باستخدام [solc-select](https://github.com/crytic/solc-select) للتبديل بسهولة بين إصدارات solc.

### باستخدام uv (موصى به)

[uv](https://github.com/astral-sh/uv) هو مدير حزم بايثون سريع أسرع من pip بمقدار 10-100 مرة.```console
# Install uv if you haven't already
curl -LsSf https://astral.sh/uv/install.sh | sh

# Install slither as a tool
uv tool install slither-analyzer

# Or run slither without installation
uvx --from slither-analyzer slither <target>
```
للترقية:```console
uv tool upgrade slither-analyzer
```
### استخدام Pip```console
python3 -m pip install slither-analyzer
```
للتحديث:```console
python3 -m pip install --upgrade slither-analyzer
```
### استخدام Brew```console
brew install slither-analyzer
```
### استخدام Git (التطوير)```bash
git clone https://github.com/crytic/slither.git && cd slither

# Install as editable for development
uv tool install -e .

# Or use uv run for testing without installation
uv run slither <target>
```
العلامة `-e` تقوم بالتثبيت في الوضع القابل للتحرير، مما يعني أن التغييرات على الكود المصدري تنعكس فورًا دون الحاجة إلى إعادة التثبيت.

### استخدام Docker

استخدم صورة docker الخاصة بـ [`eth-security-toolbox`](https://github.com/crytic/eth-security-toolbox/). وهي تتضمن جميع أدوات الأمان الخاصة بنا وكل إصدار رئيسي من Solidity في صورة واحدة. سيتم تثبيت `/home/share` في `/share` داخل الحاوية.```bash
docker pull trailofbits/eth-security-toolbox
```
لمشاركة دليل داخل الحاوية:```bash
docker run -it -v /home/share:/share trailofbits/eth-security-toolbox
```
### التكامل

* لتكامل GitHub Action، استخدم [slither-action](https://github.com/marketplace/actions/slither-action).
* لتكامل pre-commit، استخدم (استبدل `$GIT_TAG` بالعلامة الحقيقية)  ```YAML
  - repo: https://github.com/crytic/slither
    rev: $GIT_TAG
    hooks:
      - id: slither
  ```
* لتوليد تقرير ماركداون، استخدم `slither [target] --checklist`.
* لتوليد ماركداون مع تمييز الكود المصدري من GitHub، استخدم `slither [target] --checklist --markdown-root https://github.com/ORG/REPO/blob/COMMIT/` (استبدل `ORG` و `REPO` و `COMMIT`)

## الكاشفات

الرقم | الكاشف | مايكتشفه | التأثير | الثقة
--- | --- | --- | --- | ---
1 | `abiencoderv2-array` | [مصفوفة abiencoderv2 في التخزين](https://github.com/crytic/slither/wiki/Detector-Documentation#storage-abiencoderv2-array) | عالي | عالي
2 | `arbitrary-send-erc20` | [transferFrom يستخدم `from` تعسفي](https://github.com/crytic/slither/wiki/Detector-Documentation#arbitrary-from-in-transferfrom) | عالي | عالي
3 | `array-by-reference` | [تعديل مصفوفة التخزين بالقيمة](https://github.com/crytic/slither/wiki/Detector-Documentation#modifying-storage-array-by-value) | عالي | عالي
4 | `encode-packed-collision` | [تصادم ABI encodePacked](https://github.com/crytic/slither/wiki/Detector-Documentation#abi-encodePacked-collision) | عالي | عالي
5 | `incorrect-shift` | [ترتيب المعاملات في تعليمة الإزاحة غير صحيح.](https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-shift-in-assembly) | عالي | عالي
6 | `multiple-constructors` | [أنماط منشئات متعددة](https://github.com/crytic/slither/wiki/Detector-Documentation#multiple-constructor-schemes) | عالي | عالي
7 | `name-reused` | [إعادة استخدام اسم العقد](https://github.com/crytic/slither/wiki/Detector-Documentation#name-reused) | عالي | عالي
8 | `protected-vars` | [كشف متغيرات غير محمية](https://github.com/crytic/slither/wiki/Detector-Documentation#protected-variables) | عالي | عالي
9 | `public-mappings-nested` | [تعيينات عامة بمتغيرات متداخلة](https://github.com/crytic/slither/wiki/Detector-Documentation#public-mappings-with-nested-variables) | عالي | عالي
10 | `rtlo` | [استخدام حرف تحكم من اليمين إلى اليسار](https://github.com/crytic/slither/wiki/Detector-Documentation#right-to-left-override-character) | عالي | عالي
11 | `shadowing-state` | [تظليل متغيرات الحالة](https://github.com/crytic/slither/wiki/Detector-Documentation#state-variable-shadowing) | عالي | عالي
12 | `suicidal` | [دوال تسمح لأي شخص بتدمير العقد](https://github.com/crytic/slither/wiki/Detector-Documentation#suicidal) | عالي | عالي
13 | `uninitialized-state` | [متغيرات حالة غير مهيأة](https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-state-variables) | عالي | عالي
14 | `uninitialized-storage` | [متغيرات تخزين غير مهيأة](https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-storage-variables) | عالي | عالي
15 | `unprotected-upgrade` | [عقد قابل للترقية غير محمي](https://github.com/crytic/slither/wiki/Detector-Documentation#unprotected-upgradeable-contract) | عالي | عالي
16 | `arbitrary-send-erc20-permit` | [transferFrom يستخدم from تعسفي مع permit](https://github.com/crytic/slither/wiki/Detector-Documentation#arbitrary-from-in-transferfrom-used-with-permit) | عالي | متوسط
17 | `arbitrary-send-eth` | [دوال ترسل إيثر إلى وجهات تعسفية](https://github.com/crytic/slither/wiki/Detector-Documentation#functions-that-send-ether-to-arbitrary-destinations) | عالي | متوسط
18 | `controlled-array-length` | [تعيين طول مصفوفة ملوث](https://github.com/crytic/slither/wiki/Detector-Documentation#array-length-assignment) | عالي | متوسط
19 | `controlled-delegatecall` | [وجهة delegatecall مسيطر عليها](https://github.com/crytic/slither/wiki/Detector-Documentation#controlled-delegatecall) | عالي | متوسط
20 | `delegatecall-loop` | [وظائف قابلة للدفع تستخدم `delegatecall` داخل حلقة](https://github.com/crytic/slither/wiki/Detector-Documentation/#payable-functions-using-delegatecall-inside-a-loop) | عالي | متوسط
21 | `incorrect-exp` | [أسية غير صحيحة](https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-exponentiation) | عالي | متوسط
22 | `incorrect-return` | [إذا تم استخدام `return` بشكل غير صحيح في وضع التجميع.](https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-return-in-assembly) | عالي | متوسط
23 | `msg-value-loop` | [msg.value داخل حلقة](https://github.com/crytic/slither/wiki/Detector-Documentation/#msgvalue-inside-a-loop) | عالي | متوسط
24 | `reentrancy-eth` | [ثغرات إعادة الدخول (سرقة الإيثرات)](https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities) | عالي | متوسط
25 | `reentrancy-balance` | [ثغرات إعادة الدخول تؤدي إلى فحوصات رصيد قديمة](https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-4) | عالي | متوسط
26 | `return-leave` | [إذا تم استخدام `return` بدلاً من `leave`.](https://github.com/crytic/slither/wiki/Detector-Documentation#return-instead-of-leave-in-assembly) | عالي | متوسط
27 | `storage-array` | [خطأ في مترجم مصفوفة الأعداد الصحيحة الموقعة في التخزين](https://github.com/crytic/slither/wiki/Detector-Documentation#storage-signed-integer-array) | عالي | متوسط
28 | `unchecked-transfer` | [نقل رمز غير محقق](https://github.com/crytic/slither/wiki/Detector-Documentation#unchecked-transfer) | عالي | متوسط
29 | `weak-prng` | [PRNG ضعيف](https://github.com/crytic/slither/wiki/Detector-Documentation#weak-PRNG) | عالي | متوسط
30 | `domain-separator-collision` | [يكشف عن رموز ERC20 التي تحتوي على دالة يتعارض توقيعها مع DOMAIN_SEPARATOR() من EIP-2612](https://github.com/crytic/slither/wiki/Detector-Documentation#domain-separator-collision) | متوسط | عالي
31 | `enum-conversion` | [كشف تحويل enum خطير](https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-enum-conversion) | متوسط | عالي
32 | `erc20-interface` | [واجهات ERC20 غير صحيحة](https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-erc20-interface) | متوسط | عالي
33 | `erc721-interface` | [واجهات ERC721 غير صحيحة](https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-erc721-interface) | متوسط | عالي
34 | `incorrect-equality` | [مساوات صارمة خطيرة](https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-strict-equalities) | متوسط | عالي
35 | `locked-ether` | [عقود تقفل الإيثر](https://github.com/crytic/slither/wiki/Detector-Documentation#contracts-that-lock-ether) | متوسط | عالي
36 | `mapping-deletion` | [حذف على تعيين يحتوي على بنية](https://github.com/crytic/slither/wiki/Detector-Documentation#deletion-on-mapping-containing-a-structure) | متوسط | عالي
37 | `pyth-deprecated-functions` | [كشف دوال Pyth المهملة](https://github.com/crytic/slither/wiki/Detector-Documentation#pyth-deprecated-functions) | متوسط | عالي
38 | `pyth-unchecked-confidence` | [اكتشاف عندما لا يتم التحقق من مستوى الثقة لسعر Pyth](https://github.com/crytic/slither/wiki/Detector-Documentation#pyth-unchecked-confidence-level) | متوسط | عالي
39 | `pyth-unchecked-publishtime` | [اكتشاف عندما لا يتم التحقق من publishTime لسعر Pyth](https://github.com/crytic/slither/wiki/Detector-Documentation#pyth-unchecked-publishtime) | متوسط | عالي
40 | `shadowing-abstract` | [تظليل متغيرات الحالة من العقود المجردة](https://github.com/crytic/slither/wiki/Detector-Documentation#state-variable-shadowing-from-abstract-contracts) | متوسط | عالي
41 | `tautological-compare` | [مقارنة متغير بنفسه ترجع دائماً صحيح أو خطأ، حسب المقارنة](https://github.com/crytic/slither/wiki/Detector-Documentation#tautological-compare) | متوسط | عالي
42 | `tautology` | [حشو أو تناقض](https://github.com/crytic/slither/wiki/Detector-Documentation#tautology-or-contradiction) | متوسط | عالي
43 | `write-after-write` | [كتابة غير مستخدمة](https://github.com/crytic/slither/wiki/Detector-Documentation#write-after-write) | متوسط | عالي
44 | `boolean-cst` | [إساءة استخدام ثابت منطقي](https://github.com/crytic/slither/wiki/Detector-Documentation#misuse-of-a-boolean-constant) | متوسط | متوسط
45 | `chronicle-unchecked-price` | [اكتشاف عندما لا يتم التحقق من سعر Chronicle.](https://github.com/crytic/slither/wiki/Detector-Documentation#chronicle-unchecked-price) | متوسط | متوسط
46 | `constant-function-asm` | [دوال ثابتة تستخدم كود التجميع](https://github.com/crytic/slither/wiki/Detector-Documentation#constant-functions-using-assembly-code) | متوسط | متوسط
47 | `constant-function-state` | [دوال ثابتة تغير الحالة](https://github.com/crytic/slither/wiki/Detector-Documentation#constant-functions-changing-the-state) | متوسط | متوسط
48 | `divide-before-multiply` | [ترتيب عمليات حسابية غير دقيق](https://github.com/crytic/slither/wiki/Detector-Documentation#divide-before-multiply) | متوسط | متوسط
49 | `gelato-unprotected-randomness` | [استدعاء `_requestRandomness` داخل دالة غير محمية](https://github.com/crytic/slither/wiki/Detector-Documentation#gelato-unprotected-randomness) | متوسط | متوسط
50 | `out-of-order-retryable` | [معاملات قابلة لإعادة المحاولة خارج الترتيب](https://github.com/crytic/slither/wiki/Detector-Documentation#out-of-order-retryable-transactions) | متوسط | متوسط
51 | `reentrancy-no-eth` | [ثغرات إعادة الدخول (بدون سرقة إيثر)](https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-1) | متوسط | متوسط
52 | `reused-constructor` | [منشئ أساسي معاد استخدامه](https://github.com/crytic/slither/wiki/Detector-Documentation#reused-base-constructors) | متوسط | متوسط
53 | `tx-origin` | [استخدام خطير لـ `tx.origin`](https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-usage-of-txorigin) | متوسط | متوسط
54 | `unchecked-lowlevel` | [استدعاءات منخفضة المستوى غير محققة](https://github.com/crytic/slither/wiki/Detector-Documentation#unchecked-low-level-calls) | متوسط | متوسط
55 | `unchecked-send` | [إرسال غير محقق](https://github.com/crytic/slither/wiki/Detector-Documentation#unchecked-send) | متوسط | متوسط
56 | `uninitialized-local` | [متغيرات محلية غير مهيأة](https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-local-variables) | متوسط | متوسط
57 | `unused-return` | [قيم إرجاع غير مستخدمة](https://github.com/crytic/slither/wiki/Detector-Documentation#unused-return) | متوسط | متوسط
58 | `chainlink-feed-registry` | [اكتشاف عند استخدام سجل تغذية Chainlink](https://github.com/crytic/slither/wiki/Detector-Documentation#chainlink-feed-registry-usage) | منخفض | عالي
59 | `incorrect-modifier` | [معدِّلات يمكنها إرجاع القيمة الافتراضية](https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-modifier) | منخفض | عالي
60 | `optimism-deprecation` | [اكتشاف عند استخدام predeploy أو دالة مهملة من Optimism.](https://github.com/crytic/slither/wiki/Detector-Documentation#optimism-deprecated-predeploy-or-function) | منخفض | عالي
61 | `shadowing-builtin` | [تظليل الرموز المضمنة](https://github.com/crytic/slither/wiki/Detector-Documentation#builtin-symbol-shadowing) | منخفض | عالي
62 | `shadowing-local` | [تظليل المتغيرات المحلية](https://github.com/crytic/slither/wiki/Detector-Documentation#local-variable-shadowing) | منخفض | عالي
63 | `uninitialized-fptr-cst` | [استدعاءات مؤشر دالة غير مهيأة في المنشئات](https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-function-pointers-in-constructors) | منخفض | عالي
64 | `variable-scope` | [متغيرات محلية مستخدمة قبل إعلانها](https://github.com/crytic/slither/wiki/Detector-Documentation#pre-declaration-usage-of-local-variables) | منخفض | عالي
65 | `void-cst` | [منشئ مستدعى لم يتم تنفيذه](https://github.com/crytic/slither/wiki/Detector-Documentation#void-constructor) | منخفض | عالي
66 | `calls-loop` | [استدعاءات متعددة في حلقة](https://github.com/crytic/slither/wiki/Detector-Documentation/#calls-inside-a-loop) | منخفض | متوسط
67 | `events-access` | [التحكم في الوصول إلى الأحداث المفقودة](https://github.com/crytic/slither/wiki/Detector-Documentation#missing-events-access-control) | منخفض | متوسط
68 | `events-maths` | [الأحداث الحسابية المفقودة](https://github.com/crytic/slither/wiki/Detector-Documentation#missing-events-arithmetic) | منخفض | متوسط
69 | `incorrect-unary` | [تعابير أحادية خطيرة](https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-unary-expressions) | منخفض | متوسط
70 | `missing-zero-check` | [التحقق من صحة العنوان الصفري المفقود](https://github.com/crytic/slither/wiki/Detector-Documentation#missing-zero-address-validation) | منخفض | متوسط
71 | `reentrancy-benign` | [ثغرات إعادة الدخول الحميدة](https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-2) | منخفض | متوسط
72 | `reentrancy-events` | [ثغرات إعادة الدخول تؤدي إلى أحداث خارج الترتيب](https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-3) | منخفض | متوسط
73 | `return-bomb` | [قد يستهلك المتلقي منخفض المستوى كل غاز المتصل بشكل غير متوقع.](https://github.com/crytic/slither/wiki/Detector-Documentation#return-bomb) | منخفض | متوسط
74 | `timestamp` | [استخدام خطير لـ `block.timestamp`](https://github.com/crytic/slither/wiki/Detector-Documentation#block-timestamp) | منخفض | متوسط
75 | `assembly` | [استخدام التجميع](https://github.com/crytic/slither/wiki/Detector-Documentation#assembly-usage) | إعلامي | عالي
76 | `assert-state-change` | [تغيير حالة assert](https://github.com/crytic/slither/wiki/Detector-Documentation#assert-state-change) | إعلامي | عالي
77 | `boolean-equal` | [مقارنة مع ثابت منطقي](https://github.com/crytic/slither/wiki/Detector-Documentation#boolean-equality) | إعلامي | عالي
78 | `cyclomatic-complexity` | [يكشف عن دوال ذات تعقيد دوري عالي (> 11)](https://github.com/crytic/slither/wiki/Detector-Documentation#cyclomatic-complexity) | إعلامي | عالي
79 | `deprecated-standards` | [معايير Solidity المهملة](https://github.com/crytic/slither/wiki/Detector-Documentation#deprecated-standards) | إعلامي | عالي
80 | `erc20-indexed` | [معاملات حدث ERC20 غير مفهرسة](https://github.com/crytic/slither/wiki/Detector-Documentation#unindexed-erc20-event-parameters) | إعلامي | عالي
81 | `function-init-state` | [دالة تهيئ متغيرات الحالة](https://github.com/crytic/slither/wiki/Detector-Documentation#function-initializing-state) | إعلامي | عالي
82 | `incorrect-using-for` | [يكشف عن استخدام عبارة using-for عندما لا تتطابق أي دالة من مكتبة معينة مع نوع معين](https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-usage-of-using-for-statement) | إعلامي | عالي
83 | `low-level-calls` | [استدعاءات منخفضة المستوى](https://github.com/crytic/slither/wiki/Detector-Documentation#low-level-calls) | إعلامي | عالي
84 | `missing-inheritance` | [وراثة مفقودة](https://github.com/crytic/slither/wiki/Detector-Documentation#missing-inheritance) | إعلامي | عالي
85 | `naming-convention` | [الامتثال لاتفاقيات تسمية Solidity](https://github.com/crytic/slither/wiki/Detector-Documentation#conformance-to-solidity-naming-conventions) | إعلامي | عالي
86 | `pragma` | [إذا تم استخدام توجيهات pragma مختلفة](https://github.com/crytic/slither/wiki/Detector-Documentation#different-pragma-directives-are-used) | إعلامي | عالي
87 | `redundant-statements` | [عبارات زائدة عن الحاجة](https://github.com/crytic/slither/wiki/Detector-Documentation#redundant-statements) | إعلامي | عالي
88 | `solc-version` | [إصدار Solidity غير صحيح](https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-versions-of-solidity) | إعلامي | عالي
89 | `unimplemented-functions` | [دوال غير منفذة](https://github.com/crytic/slither/wiki/Detector-Documentation#unimplemented-functions) | إعلامي | عالي
90 | `unindexed-event-address` | [أحداث بمعاملات عنوان بدون معاملات مفهرسة](https://github.com/crytic/slither/wiki/Detector-Documentation#unindexed-event-address-parameters) | إعلامي | عالي
91 | `unused-state` | [متغيرات حالة غير مستخدمة](https://github.com/crytic/slither/wiki/Detector-Documentation#unused-state-variable) | إعلامي | عالي
92 | `costly-loop` | [عمليات مكلفة في حلقة](https://github.com/crytic/slither/wiki/Detector-Documentation#costly-operations-inside-a-loop) | إعلامي | متوسط
93 | `dead-code` | [دوال غير مستخدمة](https://github.com/crytic/slither/wiki/Detector-Documentation#dead-code) | إعلامي | متوسط
94 | `reentrancy-unlimited-gas` | [ثغرات إعادة الدخول من خلال send و transfer](https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-4) | إعلامي | متوسط
95 | `too-many-digits` | [الامتثال لأفضل الممارسات في الترميز الرقمي](https://github.com/crytic/slither/wiki/Detector-Documentation#too-many-digits) | إعلامي | متوسط
96 | `cache-array-length` | [يكشف عن حلقات `for` التي تستخدم عضو `length` لمصفوفة تخزين في شرط الحلقة ولا تقوم بتعديله.](https://github.com/crytic/slither/wiki/Detector-Documentation#cache-array-length) | تحسيني | عالي
97 | `constable-states` | [متغيرات حالة يمكن إعلانها كثوابت](https://github.com/crytic/slither/wiki/Detector-Documentation#state-variables-that-could-be-declared-constant) | تحسيني | عالي
98 | `external-function` | [دالة عامة يمكن إعلانها كخارجية](https://github.com/crytic/slither/wiki/Detector-Documentation#public-function-that-could-be-declared-external) | تحسيني | عالي
99 | `immutable-states` | [متغيرات حالة يمكن إعلانها كغير قابلة للتغيير](https://github.com/crytic/slither/wiki/Detector-Documentation#state-variables-that-could-be-declared-immutable) | تحسيني | عالي
100 | `var-read-using-this` | [العقد يقرأ متغيره الخاص باستخدام `this`](https://github.com/crytic/slither/wiki/Detector-Documentation#public-variable-read-in-external-context) | تحسيني | عالي

لمزيد من المعلومات، انظر

* [توثيق الكاشفات](https://github.com/crytic/slither/wiki/Detector-Documentation) للحصول على تفاصيل حول كل كاشف
* [اختيار الكاشفات](https://github.com/crytic/slither/wiki/Usage#detector-selection) لتشغيل كاشفات محددة فقط. افتراضياً، يتم تشغيل جميع الكاشفات.
* [وضع الفرز](https://github.com/crytic/slither/wiki/Usage#triage-mode) لتصفية النتائج الفردية

## الطابعات

### طابعات المراجعة السريعة

* `human-summary`: [طباعة ملخص قابل للقراءة البشرية للعقود](https://github.com/trailofbits/slither/wiki/Printer-documentation#human-summary)
* `inheritance-graph`: [تصدير رسم بياني للوراثة لكل عقد إلى ملف dot](https://github.com/trailofbits/slither/wiki/Printer-documentation#inheritance-graph)
* `contract-summary`: [طباعة ملخص للعقود](https://github.com/trailofbits/slither/wiki/Printer-documentation#contract-summary)
* `loc`: [عد إجمالي عدد أسطر الكود (LOC)، أسطر الكود المصدر (SLOC)، وأسطر التعليقات (CLOC) الموجودة في ملفات المصدر (SRC)، التبعيات (DEP)، وملفات الاختبار (TEST).](https://github.com/trailofbits/slither/wiki/Printer-documentation#loc)
* `entry-points`: [طباعة جميع دوال نقطة الدخول التي تغير الحالة ومتغيراتها للعقود](https://github.com/trailofbits/slither/wiki/Printer-documentation#entry-points)

### طابعات المراجعة المتعمقة* `call-graph`: [تصدير رسم بياني للاستدعاءات للعقود إلى ملف dot](https://github.com/crytic/slither/wiki/Printer-documentation#call-graph)
* `cfg`: [تصدير مخطط تدفق التحكم لكل دالة](https://github.com/crytic/slither/wiki/Printer-documentation#cfg)
* `function-summary`: [طباعة ملخص للدوال](https://github.com/crytic/slither/wiki/Printer-documentation#function-summary)
* `vars-and-auth`: [طباعة متغيرات الحالة المكتوبة وصلاحية الدوال](https://github.com/crytic/slither/wiki/Printer-documentation#variables-written-and-authorization)
* `not-pausable`: [طباعة الدوال التي لا تستخدم معدّل `whenNotPaused`](https://github.com/crytic/slither/wiki/Printer-documentation#when-not-paused).

لتشغيل أداة طباعة، استخدم `--print` وقائمة مفصولة بفواصل من أدوات الطباعة.

انظر [وثائق أدوات الطباعة](https://github.com/crytic/slither/wiki/Printer-documentation) للقوائم الكاملة.

## الأدوات

* `slither-check-upgradeability`: [مراجعة قابلية الترقية القائمة على `delegatecall`](https://github.com/crytic/slither/blob/master/docs/src/tools/Upgradeability-Checks.md)
* `slither-prop`: [توليد اختبارات وخصائص تلقائية](https://github.com/crytic/slither/blob/master/docs/src/tools/Property-generation.md)
* `slither-flat`: [تسطيح قاعدة الشيفرة](https://github.com/crytic/slither/blob/master/docs/src/tools/Contract-Flattening.md)
* `slither-check-erc`: [التحقق من مطابقة ERC](https://github.com/crytic/slither/blob/master/docs/src/tools/ERC-Conformance.md)
* `slither-read-storage`: [قراءة قيم التخزين من العقود](https://github.com/crytic/slither/blob/master/docs/src/tools/ReadStorage.md)
* `slither-interface`: [إنشاء واجهة لعقد](https://github.com/crytic/slither/blob/master/docs/src/tools/Interface.md)

انظر [وثائق الأدوات](https://github.com/crytic/slither/blob/master/docs/src/tools/README.md) للأدوات الإضافية.

[اتصل بنا](https://www.trailofbits.com/contact/) للحصول على مساعدة في بناء أدوات مخصصة.

## وثائق واجهة برمجة التطبيقات (API)

وثائق داخلية حول سلذر متاحة [هنا](https://crytic.github.io/slither/slither.html).

## الحصول على المساعدة

لا تتردد في التوقف في [قناة Slack](https://empireslacking.herokuapp.com) (#ethereum) للحصول على مساعدة في استخدام أو توسيع سلذر.

* [وثائق أدوات الطباعة](https://github.com/crytic/slither/wiki/Printer-documentation) تصف المعلومات التي يستطيع سلذر تصورها لكل عقد.

* [وثائق المكتشفات](https://github.com/crytic/slither/wiki/Adding-a-new-detector) تصف كيفية كتابة تحليل ثغرات جديد.

* [وثائق واجهة برمجة التطبيقات](https://github.com/crytic/slither/wiki/Python-API) تصف الدوال والكائنات المتاحة للتحليلات المخصصة.

* [وثائق SlithIR](https://github.com/crytic/slither/wiki/SlithIR) تصف التمثيل الوسيط SlithIR.

## الأسئلة الشائعة

كيف أستثني النسخ الوهمية أو الاختبارات؟

* انظر وثائقنا حول [تصفية المسار](https://github.com/crytic/slither/wiki/Usage#path-filtering).

كيف أصلح مشكلة "ملف غير معروف" أو مشاكل الترجمة؟
```

---

[Read more](https://github.com/crytic/slither)