Pyteaが苦労している特定のPytorch APIはありますか

Pyteaの分析は、コードにPytorchまたは実装されていない他のサードパーティAPIが含まれている場合、誤ったアラームを引き起こす可能性があります。これは、Pyteaが実装されていないAPI呼び出しに遭遇した場合、エラーとして誤ってフラグを立てるか、警告を発行する可能性があることを意味します。このツールは、それぞれの実装されていないAPI呼び出しをログに記録し、ユーザーがどの特定のAPIがサポートされていないかを識別できるようにします[10]。

さらに、Pyteaの有効性は、分析するコードの複雑さによって制限できます。たとえば、コードにSMTソルバー(Z3)が処理するのが困難な複雑な操作または非線形制約が含まれる場合、Pyteaはこれらのケースを「適切な」およびタイムアウト[10]として分類する可能性があります。ただし、Pyteaが苦労している特定のPytorch APIは明示的にリストされていませんが、実装されていないまたは過度に複雑な操作は課題を引き起こす可能性があります。