-
-
[原创]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
[培训]《安卓高级研修班(网课)》月薪三万计划，掌握调试、分析还原ollvm、vmp的方法，定制art虚拟机自动化脱壳的方法
|
|
|---|---|
