PyTochi tenso kuju veaanalüsaator Pytea on loodud Pytorchi staatiliselt skaneerimiseks ja võimalike kujuvead tuvastamiseks, analüüsides täitmisteed ja tensor -kuju piiranguid. Pytea võib siiski pingutada teatud Pytorch API -dega, kui neid pole selle raamistikus täielikult rakendatud ega toetatud.
Pytea analüüs võib tõsta valehäireid, kui kood sisaldab Pytorchi või muid kolmandate osapoolte API-sid, mida pole rakendatud. See tähendab, et kui Pytea kohtub mõjutamata API -kõnega, võib see selle vea või hoiatuse välja anda valesti. Tööriist registreerib iga parandamata API -kõne oma logides, võimaldades kasutajatel tuvastada, milliseid konkreetseid API -sid ei toetata [10].
Lisaks saab Pytea tõhusust piirata analüüsi koodi keerukusega. Näiteks kui kood hõlmab keerulisi toiminguid või mittelineaarseid piiranguid, mida SMT lahendaja (Z3) jaoks on keeruline käsitseda, võib Pytea neid juhtumeid liigitada "otsustamatuks" ja aegumistähtajaks [10]. Spetsiifilised Pytorch API -d, millega Pytea võitleb, ei ole selgesõnaliselt loetletud, kuid kõik mõjutamata või liiga keerulised toimingud võivad tekitada väljakutseid.
Tsitaadid:[1] https://arxiv.org/pdf/2112.09037.pdf
]
[3] https://pytorch.org/docs/stable/func.ux_limitats.html
[4] https://pytorch.org/docs/stable/torch.compiler_fine_grain_apis.html
]
]
[7] https://docs.habana.ai/en/latest/pytorch_customop_api/page_index.html
]
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea