Pytea, pytorch tensora formas kļūdu analizators, ir paredzēts, lai statiski skenētu Pytorch lietojumprogrammas un noteiktu iespējamās formas kļūdas, analizējot izpildes ceļus un tensora formas ierobežojumus. Tomēr Pytea var cīnīties ar noteiktām Pytorch API, ja tās nav pilnībā ieviestas vai atbalstītas tās ietvaros.
Pytea analīze var izraisīt viltus trauksmes signālus, ja kods satur pytorch vai citas trešās puses API, kas nav ieviestas. Tas nozīmē, ka, ja PyTea sastopas ar nepiemērotu API zvanu, tas var to nepareizi apzīmēt kā kļūdu vai izsniegt brīdinājumu. Rīks reģistrē katru neierobežotu API zvanu savos žurnālos, ļaujot lietotājiem noteikt, kuras īpašās API netiek atbalstītas [10].
Turklāt Pytea efektivitāti var ierobežot ar analizētā koda sarežģītību. Piemēram, ja kods ietver sarežģītas operācijas vai nelineārus ierobežojumus, kurus SMT risinātājam (Z3) ir grūti apstrādāt, Pytea var klasificēt šos gadījumus kā "nedecamējamus" un noildzes [10]. Tomēr īpašas pytorch apis, ar kurām Pytea cīnās, nav skaidri uzskaitīti, bet jebkuras nepamatotas vai pārāk sarežģītas operācijas varētu radīt izaicinājumus.
Atsauces:[1] https://arxiv.org/pdf/2112.09037.pdf
[2.]
[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-there-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