在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{...}
[培训]内核驱动高级班，冲击BAT一流互联网大厂工作，每周日13:00-18:00直播授课
