我们分析程序如果v4 = v6 连续十次则循环结束，然后执行后面函数获得flag
如果数字不等则退出

我们观察栈空间发现var-30(v7)与seed相差0x20。
然后我们可以利用gets函数的天然漏洞，覆盖seed为3，

下面是脚本。我们可以利用ldd file查看libc。这里利用ctypes库实现python、c混合编程
脚本中的cat_flag函数地址是多余的

新人博客，如果错误。请大佬指正