-
-
[原创]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
|
|
|---|---|
