有了这个工具,不执行代码就可以找PyTorch模型错误
程序员大白
共 3028字,需浏览 7分钟
·
2021-12-27 14:27
点击上方“程序员大白”,选择“星标”公众号
重磅干货,第一时间送达
来源:公众号 机器之心 授权
几秒钟扫完代码,比训练一遍再找快多了。
论文地址:https://arxiv.org/pdf/2112.09037.pdf
项目地址:https://github.com/ropas/pytea
在线分析器:查找基于数值范围的形状不匹配和 API 参数的滥用。如果 PyTea 在分析代码时发现任何错误,它将停在该位置并将错误和违反约束通知用户;
离线分析器:生成的约束传递给 Z3 。Z3 将求解每个路径的约束集并打印第一个违反的约束(如果存在)。
# install node.js
sudo apt-get install nodejs
# install python z3-solver
pip install z3-solver
# download pytea
wget https://github.com/ropas/pytea/releases/download/v0.1.0/pytea.zip
unzip pytea.zip
# run pytea
python bin/pytea.py path/to/source.py
# run example file
python bin/pytea.py packages/pytea/pytest/basics/scratch.py
# install dependencies
npm run install:all
pip install z3-solver
# build
npm run build
推荐阅读
关于程序员大白
程序员大白是一群哈工大,东北大学,西湖大学和上海交通大学的硕士博士运营维护的号,大家乐于分享高质量文章,喜欢总结知识,欢迎关注[程序员大白],大家一起学习进步!
评论