Buuctf [ACTF新生赛2020]Universe_final_answer 题解

1.程序逻辑

程序逻辑并不复杂:

首先输入字符串,然后对字符串进行一个判断是否满足条件的操作

如果满足则对字符串进行处理并输出,输出的就是flag

 2.judge_860函数

显然根据这十个条件可以通过矩阵解线性方程组,这里对变量的命名做了一些调整,让Vi对应flag[i]方便读

​​​​​​在线解方程组网站

下面是矩阵和特征向量(纯手打,费眼费手):

x:
9   8   7   6   5   4   3   2    1   0
0 -85 58 97 1 -45 84 12 -20 95
30 -70 -30 -122 -81 -66 -115 -41 -86 -15
-103 -120 120 -64 108 31 48 -89 78 -41
-16 48 -119 71 128 99 -30 -111 85 79
5 23 122 -19 99 -117 10 -69 22 -98
-54 100 -23 95 -60 -8 -11 -82 124 -85
-83 -63 77 16 -111 26 -18 73 41 -57
81 -48 66 -104 -121 95 85 60 80 -85
101 -85 -1 7 117 -83 -101 90 -28 18
99 -28 5 93 -18 -127 6 -9 -93 58
特征向量:
12613
-54400
-10283
22855
-2944
-2222
-13258
-1559
6308
-1697

解方程结果:

注意这里的x1对应V9,x10对应V0

 

 作为字符串输出后得到 F0uRTy_7w@

3.运行程序输出flag

flag{F0uRTy_7w@_42}