v7 <= 0xc 代表输入长度小于等于 12。然而 v2 最多只有 8 字节，此处存在栈溢出。 想办法通过此处的栈溢出使得 input 满足 correct 条件。 或者直接调用 system 走 binsh，两种方法都可以完成这道题目。由于题目已经给了 correct 函数，这里只尝试第一种。

exp：

ctfshow{a9218822-b7d2-42dc-b3ae-ab5d12ecc0c9}