Pytea, analyzátor tvaru chyby typu Pytorch, je navržen tak, aby staticky skenoval aplikace Pytorch a detekoval možné chyby tvaru analýzou provedenních cest a omezením tvaru tenzoru. Pytea však může bojovat s určitými Pytorch API, pokud nejsou plně implementována nebo podporována v rámci jeho rámce.
Analýza Pytea může zvýšit falešné poplachy, pokud kód obsahuje Pytorch nebo jiná API třetích stran, která nebyla implementována. To znamená, že pokud se Pytea setká s neimplementovaným voláním API, může jej nesprávně označit jako chybu nebo vydat varování. Nástroj zaznamenává každé neimplementované volání API ve svých protokolech, což uživatelům umožňuje určit, která konkrétní API nejsou podporována [10].
Účinnost Pytea může být navíc omezena složitostí kódu, který analyzuje. Například, pokud kód zahrnuje složité operace nebo nelineární omezení, která jsou pro řešitele SMT obtížná (Z3), může Pytea tyto případy klasifikovat jako „nerozhodnutelné“ a časový limit [10]. Specifická Pytorch API, se kterými Pytea bojuje, však nejsou výslovně uvedeny, ale jakékoli neimplementované nebo příliš složité operace by mohly představovat výzvy.
Citace:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/installing-a-specific-Pytorch-build-f-e-cpu-with-with-poetry
[3] https://pytorch.org/docs/stable/func.ux_lititations.html
[4] https://pytorch.org/docs/stable/torch.compiler_fine_grain_apis.html
[5] https://pytorch.org/functorch/stable/ux_lititations.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-ising-Pytorch-api/22669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea