PYTEA, analyzátor chyby tvaru tvaru tenzora Pytorch, je navrhnutý tak, aby staticky skenoval aplikácie Pytorch a detegoval možné chyby tvaru analýzou cestovných dráh vykonávania a obmedzení tenzora tvaru. Pytea však môže zápasiť s určitými API Pytorch, ak nie sú v rámci svojho rámca úplne implementované alebo podporované.
Analýza spoločnosti Pytea môže zvýšiť falošné poplachy, ak kód obsahuje Pytorch alebo iné rozhrania API tretích strán, ktoré neboli implementované. To znamená, že ak sa Pytea stretne s nepredvídaným hovorom API, môže ho nesprávne označiť ako chybu alebo vydať varovanie. Nástroj zaznamenáva vo svojich protokoloch každé nezmenené volanie API, čo používateľom umožňuje zistiť, ktoré konkrétne API nie sú podporované [10].
Účinnosť PYTEA môže byť navyše obmedzená zložitosťou kódu, ktorý analyzuje. Napríklad, ak kód zahŕňa komplexné operácie alebo nelineárne obmedzenia, ktoré sú pre riešiteľ SMT (Z3) ťažké zvládnuť, PYTEA by tieto prípady klasifikovala ako „nerebačný“ a časový limit [10]. Osobitné API Pytorch API, s ktorými Pytea zápasí, však nie sú výslovne uvedené, ale akékoľvek nepredstamované alebo príliš zložité operácie by mohli predstavovať výzvy.
Citácie:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/installing-a-specific-pytorch-build-f-e-cpu--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-are-you-using-t-c-api-api-for/55163
[7] https://docs.habana.ai/en/latest/pytorch_custyop_api/page_index.html
[8] https://discuss.pytorch.org/t/is-there-an-elegant-way-o-calculate-integral-image-using-using-pytorch-api/226669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea