Pytea, анализатор ошибок в форме формы тензора Pytorch, предназначен для статического сканирования приложений Pytorch и обнаружения возможных ошибок формы путем анализа путей выполнения и ограничений формы тензора. Тем не менее, Pytea может бороться с определенными API Pytorch, если они не полностью реализованы или поддерживаются в рамках его рамки.
Анализ Pytea может поднять ложные тревоги, если код содержит Pytorch или другие сторонние API, которые не были реализованы. Это означает, что если Pytea встречается с невыполненным вызовом API, это может неправильно помечать его как ошибку или выпустить предупреждение. Инструмент записывает каждый невыполненный вызов API в своих журналах, позволяя пользователям определить, какие конкретные API не поддерживаются [10].
Кроме того, эффективность Pytea может быть ограничена сложностью кода, который он анализирует. Например, если код включает в себя сложные операции или нелинейные ограничения, которые трудны для решателя SMT (Z3), Pytea может классифицировать эти случаи как «неразрешимые» и тайм-аут [10]. Тем не менее, конкретные API Pytorch, с которыми борется Pytea, не указаны явно, но любые непреднамеренные или чрезмерно сложные операции могут создавать проблемы.
Цитаты:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/installing-apecifice-pytorch-build-f-e-cpu-onlyly-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-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