BUUCTF reverse [ACTF新生赛2020]Universe_final_answer
没有壳，用ida64打开。
查看sub_55B4BF947860函数
这个算法直接没见过，看大佬的wp知道用z3库写。
1 from z3 import * 2 3 s = Solver() 4 v1 = Int('v1') 5 v2 = Int('v2') 6 v3 = Int('v3') 7 v4 = Int('v4') 8 v5 = Int('v5') 9 v6 = Int('v6') 10 v7 = Int('v7') 11 v8 = Int('v8') 12 v9 = Int('v9') 13 v11 = Int('v11') 14 15 s.add(-85 * v9 + 58 * v8 + 97 * v6 + v7 + -45 * v5 + 84 * v4 + 95 * v2 - 20 * v1 + 12 * v3 == 12613) 16 s.add(30 * v11 + -70 * v9 + -122 * v6 + -81 * v7 + -66 * v5 + -115 * v4 + -41 * v3 + -86 * v1 - 15 * v2 - 30 * v8 == -54400) 17 s.add(-103 * v11 + 120 * v8 + 108 * v7 + 48 * v4 + -89 * v3 + 78 * v1 - 41 * v2 + 31 * v5 - (v6 *64) - 120 * v9 == -10283) 18 s.add(71 * v6 + (v7 *128) + 99 * v5 + -111 * v3 + 85 * v1 + 79 * v2 - 30 * v4 - 119 * v8 + 48 * v9 - 16 * v11 == 22855) 19 s.add(5 * v11 + 23 * v9 + 122 * v8 + -19 * v6 + 99 * v7 + -117 * v5 + -69 * v3 + 22 * v1 - 98 * v2 + 10 * v4 == -2944) 20 s.add(-54 * v11 + -23 * v8 + -82 * v3 + -85 * v2 + 124 * v1 - 11 * v4 - 8 * v5 - 60 * v7 + 95 * v6 + 100 * v9 == -2222) 21 s.add(-83 * v11 + -111 * v7 + -57 * v2 + 41 * v1 + 73 * v3 - 18 * v4 + 26 * v5 + 16 * v6 + 77 * v8 - 63 * v9 == -13258) 22 s.add(81 * v11 + -48 * v9 + 66 * v8 + -104 * v6 + -121 * v7 + 95 * v5 + 85 * v4 + 60 * v3 + -85 * v2 + 80 * v1 == -1559) 23 s.add(101 * v11 + -85 * v9 + 7 * v6 + 117 * v7 + -83 * v5 + -101 * v4 + 90 * v3 + -28 * v1 + 18 * v2 - v8 == 6308) 24 s.add(99 * v11 + -28 * v9 + 5 * v8 + 93 * v6 + -18 * v7 + -127 * v5 + 6 * v4 + -9 * v3 + -93 * v1 + 58 * v2 == -1697) 25 26 if s.check() == sat: 27 result = s.model() 28 29 print result
得到[v6 = 95, v1 = 48,v5 = 84, v7 = 121, v2 = 70, v4 = 82, v11 = 64, v3 = 117, v9 = 119, v8 = 55]
得到输入的内容：F0uRTy_7w@，然后输入到程序中
flag{F0uRTy_7w@_42}
