这是一个Go编写的程序,简单运行,程序需要7位数字,有长度和数字检查。格式正确则没有任何输出,只反复提示输入
用IDA静态分析主函数main_main,似乎也只有以上功能,唯一奇怪的就是最后的“fail!!!"没有输出
跟进去发现fmt_Fprintln_0有一堆全局变量的约束检查,查看引用发现共3处:
fmt_Print:初始化
bufio___ptr_Reader__ReadString:填充,用输入数字的值填充<=0的项
fmt_Fprintln_0:检查,约束条件就是一个4x4数独,每行/每列/每个2x2区域和为10
[培训]内核驱动高级班,冲击BAT一流互联网大厂工作,每周日13:00-18:00直播授课