在CTF-ALL-IN-ONE的题，讲到了Z3求解器，研究了两天，不会用Z3来处理这种题目，请问一下大佬这种怎么搞？flag = '#�LXEEg[&5N@,q2H7?09:G>4!O]iJ('\nV'int num2 = 0; // 交谈次数void giff_flag(&flag, int key) { for(int i = 0; i <= 36; i++) { if (num2 % 2 == 1) { flag[i] = flag[i] - i key % 37; } else { flag[i] = flag[i] + i key % 37; } } num2++;}flag格式是:ECTF{...}
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入！
