-
-
[原创]2022KCTF春季赛 第七题 一触即发
-
2022-5-23 22:55
-
这是一个Go编写的程序，简单运行，程序需要7位数字，有长度和数字检查。格式正确则没有任何输出，只反复提示输入
用IDA静态分析主函数main_main，似乎也只有以上功能，唯一奇怪的就是最后的“fail!!!"没有输出
跟进去发现fmt_Fprintln_0有一堆全局变量的约束检查，查看引用发现共3处：
fmt_Print：初始化
bufio___ptr_Reader__ReadString：填充，用输入数字的值填充<=0的项
fmt_Fprintln_0：检查，约束条件就是一个4x4数独，每行/每列/每个2x2区域和为10
约束条件都满足时，将传入的"fail!!!"转为“success”输出
初始数独：
0 3 1 0
1 0 0 3
2 0 3 4
0 4 2 0
填充数独：
4 3 1 2
1 2 4 3
2 1 3 4
3 4 2 1
[2023春季班]2023，新的征程，脱壳机更新、iOS/eBPF、赠送云手机套装！一块裸板虚拟化五个容器云手机！3月25日起同时上调价格并赠送新设备！
|
|
|---|---|
