Pytea, staatiline analüsaator Pytorchi koodi tenso kuju vigade tuvastamiseks, on mitu piirangut, hoolimata selle tõhususest võimaliku kuju ebakõla tuvastamisel:
1. tee plahvatus ja keerukus: kuigi Pytea kasutab täitmisteede arvu haldamiseks konservatiivset pügamist, võivad keerulised mudelid, millel on palju tingimuslikke väiteid või silmuseid, siiski põhjustada tee plahvatust, piirates selle mastaapsust väga suurte või väga dünaamiliste koodibaaside korral [1] [1] [1] [1] [1] [1] [1] [1] [1] 3].
2. Kaalumata API-d: Pytea võib tõsta valehäireid, kui see puutub kokku Pytorchi või muude kolmandate osapoolte API-dega, mida pole selle raamistikus rakendatud. See tähendab, et kasutajad peavad olema teadlikud, milliseid API -sid toetatakse, et vältida tarbetuid hoiatusi [5].
3. Võrguühenduseta analüüsipiirangud: võrguühenduseta analüüs Z3 SMT lahendaja abil võib põhjustada otsustamatuid teid, kui piirangud on liiga keerulised või mittelineaarsed, mis põhjustab aegumistähtajaid. See ei pruugi alati anda selget viidet, kas tee on kehtiv või mitte [5].
4. Tulemuste tõlgendamine: kasutajad peavad tulemusi hoolikalt tõlgendama, kuna Pytea tuvastab potentsiaalsed vead piirangutel, mis ei pruugi alati põhjustada tegelikke käitumisvigu. See nõuab koodi konteksti ja võimalike täitmisteede mõistmist [5].
5. Integreerimine ja tugi: kuigi Pytea toetab selliseid peamisi raamatukogusid nagu Torchvision, Numpy ja PIL, on selle integreerimine arenduskeskkondadega nagu VSCODE endiselt väljatöötamisel. See tähendab, et interaktiivsed silumisfunktsioonid pole veel täielikult küpsed [2].
Tsitaadid:[1] https://arxiv.org/pdf/2112.09037.pdf
]
[3] https://sf.snu.ac.kr/pytea/
]
[5] https://github.com/ropas/pytea
[6] https://arxiv.org/pdf/2106.02887.pdf
[7] https://dl.acm.org/doi/10.1145/3510454.3528638
]