首页
论坛
课程
招聘
[原创]2022KCTF春季赛 第七题 一触即发
2022-5-23 22:55 3873

[原创]2022KCTF春季赛 第七题 一触即发

2022-5-23 22:55
3873

这是一个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


【看雪培训】《Adroid高级研修班》2022年夏季班招生中!

收藏
点赞0
打赏
分享
最新回复 (0)
游客
登录 | 注册 方可回帖
返回