Pytea, Pytorch Tensor Shape ERROR PENGEALZER, dirancang untuk secara statis memindai aplikasi Pytorch dan mendeteksi kemungkinan kesalahan bentuk dengan menganalisis jalur eksekusi dan batasan bentuk tensor. Namun, Pytea mungkin berjuang dengan API Pytorch tertentu jika mereka tidak sepenuhnya diimplementasikan atau didukung dalam kerangka kerja.
Analisis Pytea dapat meningkatkan alarm palsu jika kode berisi Pytorch atau API pihak ketiga lainnya yang belum diimplementasikan. Ini berarti bahwa jika Pytea menemukan panggilan API yang tidak diimplementasikan, itu mungkin salah menandai itu sebagai kesalahan atau mengeluarkan peringatan. Alat ini mencatat setiap panggilan API yang tidak diimplementasikan dalam log -nya, memungkinkan pengguna untuk mengidentifikasi API spesifik mana yang tidak didukung [10].
Selain itu, efektivitas Pytea dapat dibatasi oleh kompleksitas kode yang dianalisisnya. Misalnya, jika kode tersebut melibatkan operasi yang kompleks atau kendala non-linear yang sulit untuk ditangani oleh pemecah SMT (Z3), Pytea dapat mengklasifikasikan kasus-kasus ini sebagai "tidak dapat dipahami" dan batas waktu [10]. Namun, API Pytorch spesifik yang diperjuangkan Pytea tidak terdaftar secara eksplisit, tetapi operasi yang tidak diterapkan atau terlalu kompleks dapat menimbulkan tantangan.
Kutipan:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/installing-a-specific-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-are-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-theer-an-elegant-way-to-calculate-integral-image-using-pytorch-api/22669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea