pyre check تنزيل - pyre check تنزيل كود المصدر

pyre check

بايثون

v0

تنزيل

Pyre هو مدقق نوعي عالي الأداء لـ Python متوافق مع PEP 484. يمكن لـ Pyre تحليل قواعد التعليمات البرمجية بملايين أسطر التعليمات البرمجية بشكل متزايد - مما يوفر تعليقات فورية للمطورين أثناء كتابتهم للتعليمات البرمجية. يمكنك تجربتها على أمثلة في Pyre Playground.

تأتي Pyre مع Pysa ، وهي أداة تحليل ثابتة تركز على الأمان قمنا ببنائها فوق Pyre والتي تهتم بتدفق البيانات في تطبيقات Python. يرجى الرجوع إلى وثائقنا للبدء في تحليلنا الأمني.

Pysa متاح أيضًا في GitHub Marketplace باعتباره إجراء Github

متطلبات

للبدء، تحتاج إلى Python 3.8 أو إصدار أحدث وحارس يعمل على نظامك. على نظام MacOS، يمكنك الحصول على كل شيء باستخدام البيرة المنزلية:

$ brew install python3 watchman

على Ubuntu أو Mint أو Debian ؛ استخدم apt-get وhomebrew:

$ sudo apt-get install python3 python3-pip python3-venv
$ brew install watchman

لقد اختبرنا Pyre على Ubuntu 18.04.5 LTS و CentOS 7 بالإضافة إلى OSX 10.11 والإصدارات الأحدث.

إنشاء مشروع

نبدأ بإنشاء دليل مشروع فارغ وإعداد بيئة افتراضية:

$ mkdir my_project && cd my_project
$ python3 -m venv ~ /.venvs/venv
$ source ~ /.venvs/venv/bin/activate
(venv) $ pip install pyre-check

بعد ذلك، نقوم بتعليم Pyre عن مشروعنا الجديد:

(venv) $ pyre init

سيقوم هذا الأمر بإعداد تكوين لـ Pyre ( .pyre_configuration ) بالإضافة إلى watchman ( .watchmanconfig ) في دليل مشروعك. اقبل الإعدادات الافتراضية في الوقت الحالي – ويمكنك تغييرها لاحقًا إذا لزم الأمر.

تشغيل المحرقة

نحن الآن جاهزون لتشغيل Pyre:

(venv) $ echo " i: int = 'string' " > test.py
(venv) $ pyre
 ƛ Found 1 type error !
test.py:1:0 Incompatible variable type [9]: i is declared to have type ` int ` but is used as type ` str ` .

سيبدأ هذا الاستدعاء الأول برنامجًا خفيًا يستمع إلى تغييرات نظام الملفات - اكتب التحقق من مشروعك بشكل متزايد أثناء إجراء تعديلات على الكود. ستلاحظ أن الاستدعاءات اللاحقة pyre ستكون أسرع من الأولى.

لمزيد من الوثائق التفصيلية، راجع https://pyre-check.org.