nssctf_Check_Your_Luck

下载明显是c文件打开解析代码逐语句详细解析#include iostream#include头文件包含指令。iostream是 C 标准输入输出头文件提供cout屏幕输出、cin键盘读取功能。没有这行程序不能做打印和读取键盘输入。using namespace std;namespace std标准命名空间。C 标准库所有功能cout、cin、endl都放在std命名空间下。写这句之后就不用每次写std::cout、std::cin直接简写cout、cin。void flag_checker(int v, int w,int x, int y, int z);函数声明原型声明void函数返回值类型代表这个函数执行完不返回任何结果。flag_checker函数名字。(int v,int w,int x,int y,int z)形参列表代表调用这个函数时必须传入 5 个 int 整数。末尾分号;声明结束。作用告诉编译器后面会定义这个函数main 函数可以提前调用它。C 要求函数要么写在 main 前面要么提前做声明。int main(){main()程序入口函数C 程序运行一定从 main 函数开始。int代表 main 执行结束返回一个整数给操作系统。{ }大括号包裹函数内部全部执行代码。int v,w,x,y,z;定义 5 个整型局部变量v w x y z用来存放用户从键盘输入的 5 个数字。int代表整数类型可以存放正负整数。此时变量只有内存空间里面是随机垃圾值等待 cin 赋值。cout Input 5 random number and check your luck ;) endl;cout输出流对象负责向控制台打印文字。输出运算符把后面字符串送到屏幕。Input 5 random number and check your luck ;)打印的提示字符串。endlend‑line输出完毕后换行并且刷新输出缓冲区文字立刻显示。屏幕输出Input 5 random number and check your luck ;)cout Num1: ;打印提示文字Num1:提示用户输入第一个数字 v。cin v;cin输入流对象读取键盘输入。输入运算符把键盘输入的整数存入变量v。程序在这里会暂停等待用户输入数字敲回车输入完成后继续往下跑。cout Num2: ; cin w;打印Num2:等待用户输入第二个数字存到变量w。cout Num3: ; cin x;打印Num3:输入第三个数字存入x。cout Num4: ; cin y;打印Num4:输入第四个数字存入y。cout Num5: ; cin z;打印Num5:输入第五个数字存入z。cout endl;单纯输出一个换行把输入提示符和后面输出内容隔开界面好看。flag_checker(v,w,x,y,z);调用之前声明的flag_checker函数。把刚刚用户输入的 5 个变量v,w,x,y,z作为实参传递给函数。程序跳转到flag_checker函数内部执行等 flag_checker 全部跑完再回到 main。}main 函数结束的大括号。main 跑完程序主逻辑结束。void flag_checker(int v,int w, int x, int y, int z){函数定义实现void无返回值。flag_checker函数名和前面的声明保持一致。int v,int w,int x,int y,int z形式参数。调用函数时main 传过来的 5 个值会复制给这 5 个局部变量在这个函数内部使用。{ }函数体开始。if ((v * 23 w * -32 x * 98 y * 55 z * 90 333322) (v * 123 w * -322 x * 68 y * 67 z * 32 707724) (v * 266 w * -34 x * 43 y * 8 z * 32 1272529) (v * 343 w * -352 x * 58 y * 65 z * 5 1672457) (v * 231 w * -321 x * 938 y * 555 z * 970 3372367))if(条件)条件判断语句。拆解每一部分v * 23变量 v 乘以 23w * -32w 乘以负 32等价于‑32*w。比较相等运算符判断左边计算结果是否等于右边常数返回 true/false。⚠注意一个是赋值两个才是判断相等。逻辑与含义并且。 规则括号里 5 个表达式必须全部为 true整个 if 条件才成立只要任意一个等式不成立整体条件就是 false。本质5 个线性方程必须同时全部满足。{ cout Congratulations, Here is your flag:\n;条件全部满足进入成功分支。打印恭喜字符串\n是换行符。cout flag{ v _ w _ x _ y _ z } endl;拼接输出 flag 字符串把输入的 5 个变量的值用下划线_连接输出格式flag{v_w_x_y_z}。⚠重点flag 不是写死在代码里的字符串flag 内容就是用户输入的 5 个数字。} else{else分支当 if 条件不成立5 个等式至少一个不满足执行 else 内部代码。cout \nSeems your luck is not in favor right now!\nBetter luck next time! endl;打印失败提示文字告诉用户输入数字不对。} }依次闭合 else 代码块、flag_checker 函数体。函数执行完毕回到 main 函数main 结束程序退出。整体运行时序总结程序启动 → 进入 main ()定义 5 个 int 变量控制台依次提示 Num1~Num5等待用户输入 5 个整数将 5 个数字传给 flag_checker 函数flag_checker 做数学校验✅5 条等式全部成立打印由输入数字拼接得到的 flag❌任意等式不成立输出失败提示函数返回main 结束程序退出明显是求解v,w,x,y,z5个参数的是一个五元一次方程23*v −32*w98*x55*y90*z333322123*v −322*w68*x67*y32*z707724266*v −34*w43*x8*y32*z1272529343*v −352*w58*x65*y5*z1672457231*v −321*w938*x555*y970*z3372367写解密脚本importnumpyasnp Anp.array([[23,-32,98,55,90],[123,-322,68,67,32],[266,-34,43,8,32],[343,-352,58,65,5],[231,-321,938,555,970]])Bnp.array([333322,707724,1272529,1672457,3372367])Xnp.linalg.solve(A,B)v,w,x,y,znp.round(X).astype(int)print(v,w,x,y,z)这个脚本用途求解五元一次线性方程组 (AXB)拿到 C 逆向题的 5 个整数输入得到 flag 需要的数字import numpy as npimport导入库numpyPython 数值计算库做矩阵、线性代数运算别名简写为np。如果运行报错ModuleNotFoundError: No module named numpy说明没装库执行python -m pip install numpyA np.array([ [23, -32, 98, 55, 90], [123, -322, 68, 67, 32], [266, -34, 43, 8, 32], [343, -352, 58, 65, 5], [231, -321, 938, 555, 970] ])np.array()创建 numpy 矩阵二维数组。矩阵 A 方程组的系数矩阵直接照搬 C 代码 if 里面每一条等式左边的系数。每一行对应原代码一条等式第 1 行(23v -32w 98x 55y 90z)第 2 行(123v -322w 68x 67y 32z)第 3 行(266v -34w 43x 8y 32z)第 4 行(343v -352w 58x 65y 5z)第 5 行(231v -321w 938x 555y 970z)矩阵每一行格式[v系数, w系数, x系数, y系数, z系数]B np.array([333322, 707724, 1272529, 1672457, 3372367])B 是一维数组存放每条等式等号右边的常数。顺序和 A 的行一一对应333322 →第一条等式右边 707724 →第二条等式右边 1272529 →第三条等式右边 1672457 →第四条等式右边 3372367 →第五条等式右边数学模型(\boldsymbol{A}\boldsymbol{X}\boldsymbol{B})(X [v,w,x,y,z]^T)就是我们想求的 5 个未知数。X np.linalg.solve(A, B)np.linalgnumpy 线性代数子模块.solve(A,B)高斯消元求解线性方程组 AXB返回解向量 X。⚠注意要求矩阵 A 必须可逆行列式不为 0方程组有唯一解如果矩阵奇异会直接抛异常。返回出来的 X 里面是浮点数例如[4544.00000012, 122.9999998,...]不是整数。因为浮点数计算存在微小精度误差。v,w,x,y,z np.round(X).astype(int)拆解两步np.round(X)四舍五入。把上面带微小误差的浮点数变回理论上的整数。例4544.00000012 →4544122.9999998 →123CTF 这道题未知数一定是整数所以可以四舍五入。.astype(int)把 numpy 浮点类型强制转换成 Python 普通整数。序列解包把数组 X 的 5 个值依次赋值给变量v,w,x,y,z和 C 程序变量一一对应。print(v,w,x,y,z)打印 5 个解。输出结果4544 123 677 1754 777拿到这 5 个数字输入 C 程序 Num1~Num5即可输出 flag。flag{4544_123_677_1754_777}完整执行流程把 C 逆向得到的系数、常数整理成矩阵 A、向量 B调用 numpy 线性代数求解器解方程组 (AXB)处理浮点数精度四舍五入转为整数输出 5 个未知数作为原程序的输入坑点说明CTF 实操会遇到浮点数精度问题计算机浮点数运算有误差解出来不会是完美整数不能直接转 int必须先round四舍五入。如果直接astype(int)122.9999999会被截断变成122直接算错。numpy.linalg.solve 局限性只适用于方阵、可逆矩阵方程数 未知数有唯一解如果方程无解 / 无穷多解会直接报错。此时不能用 solve改用最小二乘np.linalg.lstsq。得到flagNSSCTF{4544_123_677_1754_777}本题知识点1、能看懂代码2、知道怎么解五元一次方程