تم تصميم Pytea ، وهو محلل خطأ في شكل Pytorch ، لمسح تطبيقات Pytorch ، واكتشاف أخطاء الشكل المحتملة عن طريق تحليل مسارات التنفيذ وقيود شكل الموتر. ومع ذلك ، قد يناضل Pytea مع بعض واجهات برمجة تطبيقات Pytorch إذا لم يتم تنفيذها أو دعمها بالكامل في إطار عملها.
يمكن أن يرفع تحليل Pytea إنذارات كاذبة إذا كان الكود يحتوي على Pytorch أو واجهات برمجة تطبيقات الطرف الثالث الأخرى التي لم يتم تنفيذها. هذا يعني أنه إذا واجهت Pytea مكالمة API التي لا تنفذ ، فقد يكون ذلك غير صحيح على أنها خطأ أو إصدار تحذير. تسجل الأداة كل استدعاء واجهة برمجة تطبيقات غير مستغلة في سجلاتها ، مما يسمح للمستخدمين بتحديد أي واجهات برمجة التطبيقات المحددة التي لا يتم دعمها [10].
بالإضافة إلى ذلك ، يمكن أن تقتصر فعالية Pytea على تعقيد الكود الذي يحلله. على سبيل المثال ، إذا كان الكود يتضمن عمليات معقدة أو قيود غير خطية يصعب على SMT Solver (Z3) التعامل معها ، فقد يصنف Pytea هذه الحالات على أنها "غير قابلة للانسداد" والتهمة [10]. ومع ذلك ، فإن واجهات برمجة تطبيقات Pytorch المحددة التي لا تكافح بها Pytea غير مدرجة بشكل صريح ، ولكن يمكن أن تشكل أي عمليات غير مفيدة أو معقدة للغاية تحديات.
الاستشهادات:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/installing-a-pecific-pytorch-build-f-e-cpu-only-with-poetry
[3] https://pytorch.org/docs/stable/func.ux_limitations.html
[4] https://pytorch.org/docs/stable/torch.compiler_fine_grain_apis.html
[5] https://pytorch.org/functorch/stable/ux_limitations.html
[6] https://discuss.pytorch.org/t/survey-what-e-you-using-the-c-api-for/55163
[7] https://docs.habana.ai/en/latest/pytorch_customop_api/page_index.html
[8] https://discuss.pytorch.org/t/is-teere-an-elegant-way-to-calculate-integral-emage-using-pytorch-api/22669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea