思路：查看程序主函数使sub_860函数返回true就能获得flag跟进去查看看到这么规律的计算就知道要拿z3秒了exp：from z3 import *v1,v2, v3, v4, v5, v... 1970-01-01T08:00:00+08:00 Typecho https://dirtycow.cn/feed/atom/209.html