Pytea, un analizor de erori de formă tensiunii Pytorch, este conceput pentru a scana static aplicațiile Pytorch și pentru a detecta erorile de formă posibile prin analizarea căilor de execuție și a constrângerilor de formă de tensiune. Cu toate acestea, Pytea se poate lupta cu anumite API -uri Pytorch dacă nu sunt pe deplin implementate sau susținute în cadrul său.
Analiza Pytea poate ridica alarme false dacă codul conține Pytorch sau alte API terțe care nu au fost implementate. Aceasta înseamnă că, dacă Pytea întâlnește un apel API neimplementat, acesta îl poate semnaliza incorect ca o eroare sau emite un avertisment. Instrumentul înregistrează fiecare apel API neimplementat în jurnalele sale, permițând utilizatorilor să identifice ce API -uri specifice nu sunt acceptate [10].
În plus, eficacitatea Pytea poate fi limitată de complexitatea codului pe care îl analizează. De exemplu, dacă codul implică operațiuni complexe sau constrângeri neliniare care sunt dificile pentru gestionarea SMT Solver (Z3), PYTEA ar putea clasifica aceste cazuri drept „nedecidabile” și Timeout [10]. Cu toate acestea, API -urile specifice Pytorch cu care se luptă Pytea nu sunt listate în mod explicit, dar orice operațiuni neimplementate sau excesiv de complexe ar putea prezenta provocări.
Citări:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/installing-a-pecific-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-there-an-elegant-way-to-calculat-integral-image-using-pytorch-API/22669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea