180822 逆向-网鼎杯（2-1）

最新推荐文章于 2024-10-31 21:45:20 发布

奈沙夜影

最新推荐文章于 2024-10-31 21:45:20 发布

阅读量2.3k

点赞数

CC 4.0 BY-SA版权

分类专栏： CTF

本文链接：https://blog.youkuaiyun.com/whklhhhh/article/details/81950438

本文详细介绍了在网鼎杯中的逆向分析过程，包括矩阵相乘的解题思路、MFC程序中按钮点击事件的追踪、以及应对反调试技术的分析方法。通过理解代码逻辑和运用工具，成功解决了挑战。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Reverse

martricks

main函数中接收输入以后将input和一个字符串异或一下存入savedregs中
这里写图片描述
这里7*(i_23/7)+i_23%7这种写法实际上还是i_23，只不过表示成了第x行y列的形式（7个元素/行）

两个数组分别存放在了savedregs-192和savedregs-128中

这里写图片描述
下面两层嵌套循环，中间进行了一个累加的运算
关键是箭头所指向的积的累加

实际上就是矩阵相乘

相乘结果异或后与数组6010a0比较

理解各个变量以后也可以通过逆矩阵的方式求解，不过矩阵归根结底还是线性方程，用Z3照抄跑一下就能出来，更省事XD

from z3 import *
t1 = [115, 111, 109, 101, 32, 108, 101, 103, 101, 110, 100, 115, 32, 114, 32, 116, 111, 108, 100, 44, 32, 115, 111, 109, 101, 32, 116, 117, 114, 110, 32, 116, 111, 32, 100, 117, 115, 116, 32, 111, 114, 32, 116, 111, 32, 103, 111, 108, 100]
t2 = [170, 122, 36, 10, 168, 188, 60, 252, 130, 75, 81, 82, 94, 28, 130, 31, 121, 186, 181, 227, 67, 4, 253, 172, 16, 181, 99,