OD 实验(三) - 破解程序的文件验证
需要破解的程序
双击程序,提示需要许可证文件
逆向程序
用 OD 打开
LoadIconA 为加载图标
LoadCursorA 为加载鼠标
F8 走一下程序
走到了这里,调用了 CreateFileA,打开或创建文件 Keyfile.dat
但是当前目录没有 Keyfile.dat 文件
接下来是有个跳转指令 jnz 指令跳转到地址 0040109A
先看一下地址 0040109A 上的指令
地址 0040109A 走下去是调用 ReadFile
如果这个 jnz 语句没跳转而是直走的话,程序将退出
所以要让 jnz 这个语句实现跳转,当前的条件不足以让这个 jnz 进行跳转
jnz 跳转的条件是 ZF=0
把 ZF 改为 0,让这个 jnz 指令进行跳转
按 F8 往下走
程序实现了跳转
然后 F8 继续往下走
然后走到 ReadFile 读取文件
之后有个 jnz 跳转指令,还是有一个 jmp 跳转指令
该跳转哪个跳转指令还不能确定
先看看地址 004010B4 上有什么指令,为 xor ebx, ebx
再看看地址 004010F7 上的指令
这个是最早运行程序弹出来的对话框
看来要执行 jnz 跳转指令
将 ZF 置 0,按 F8 进行跳转
之后有一个 jl 跳转指令
看看地址 004010F7 上的指令
看来不能进行这个跳转
jl 跳转指令为当 SF != OF 的时候才进行跳转
将 SF 的 1 修改为 0,不让 jl 跳转指令进行跳转
F8 往下走
有个 je 跳转指令,跳转到地址 004010D3
不知道下面的情况怎么样,执行 je 跳转指令看看情况
然后有两个跳转指令 jl 和 jmp
从上面的步骤可以知道,地址 004010F7 不能走,那就不跳转 jl 指令,执行 jmp 跳转指令
这个跳转已经实现了,把 SF 设置为 0,为 SF = OF 不进行跳转
然后按 F8 往下走,到 jmp 跳转指令
看看地址 00401205 上的指令
这个地址上的指令是最终想要的
所以执行这个 jmp 跳转指令是正确的
按 F8 走 jmp 跳转
然后按 F8 进行往下走
成功
修改程序
重新走一下程序
这个 jnz 跳转指令需要跳转,可以改为 jmp 跳转指令,jmp 跳转指令为无条件跳转
改完按 F8,进行跳转
然后接着走
这个 jnz 跳转指令也需要跳转,那就也改成 jmp
然后接着走,之后有个 jl 指令
这个地方不能跳,改为 nop
然后往下走,有个 je 跳转指令,他会直接跳,让他跳
接下来是一条 jl 跳转指令,这个跳转不能跳,改为 nop
最后 jmp 指令跳往正确的地方
修改完成了
选中所修改的区域,即最初修改的地方到最后修改的地方
点击右键 -> 复制到可执行文件 -> 选择
然后右键 -> 备份 -> 保存数据到文件
成功
逆向算法
重新载入程序
走到第一条跳转指令前,这条指令显示为灰色是因为刚才修改过这个地方
将 ZF 置 0,让其跳转
跳转之后按 F8 往下走
这段指令是程序的核心算法
往下走
将 ZF 置 0,让 jnz 跳转指令跳转
跳转到 xor 异或指令
xor ebx,ebx
该 xor 异或指令会将 ebx 清 0
程序在
cmp dword ptr ds:[0x402173],0x10
上对地址为 0x402173 的值和 0x10 进行判断
往上拉可以看到程序往 402173 上放了什么
402173 上放的是 ReadFile 的第四个参数
函数参数的入栈顺序是:第一个参数先入栈,在最下面,接着是第二个参数入栈放在倒二下的位置,以此类推
ReadFile 函数:
BOOL ReadFile(
HANDLE hFile, //文件的句柄
LPVOID lpBuffer, //用于保存读入数据的一个缓冲区
DWORD nNumberOfBytesToRead, //要读入的字节数
LPDWORD lpNumberOfBytesRead, //指向实际读取字节数的指针
LPOVERLAPPED lpOverlapped
//如文件打开时指定了FILE_FLAG_OVERLAPPED,那么必须,用这个参数引用一个特殊的结构。
//该结构定义了一次异步读取操作。否则,应将这个参数设为NULL
);
ReadFile 函数的第四个参数为读取文件内容的字节数
cmp 比较文件内容字节数和 16 字节的关系(0x10 的十进制为 16)
如果文件内容的字节数小于 16 字节的话,将会走到下一条指令,然后跳转
所以文件内容至少为 16 字节,将不进行跳转
接下来是
语句
mov al,byte ptr ds:[ebx+0x40211A]
把地址 0x40211A 上的值加上 ebx 的值给 al
地址 0x40211A 为 ReadFile 的第二个参数
然后
cmp al,0x0
比较 al 是否为 0
如果 al 等于 0,ZF 就置 1,然后 je 跳转语句会跳转到
如果 esi 等于 8 的话,就会跳转到
所以 esi 要大于 8
要让 al 大于 0,不进行跳转
然后会走到
0x47 是字符 G 的 ASCII 码值 71 的十六进制
如果 al 的值等于 0x47 的话,ZF 就会置 1,下一条的 jnz 语句将不会进行跳转
之后执行指令 inc esi,递增 esi
esi 的值至少要为 9
所以 Keyfile.dat 中的值至少要有 9 个 G
创建一个 Keyfile.dat 文件
内容为 9 个 G,然后是数字 1,2,3,4,5,6,7,8,一共十七个字节
现在直接运行原程序
成功
OD 实验(三) - 破解程序的文件验证的更多相关文章
- OD 实验(一) - 修改程序标题
需要修改的程序 把 I love fishc.com 修改为 hello world sch01ar 用 OD 打开程序 在程序入口处开始一直按 F8 运行程序,看看在哪里弹出对话框 运行到该地址的时 ...
- 20155308&20155316 2017-2018-1 《信息安全系统设计基础》实验三
20155308&20155316 2017-2018-1 <信息安全系统设计基础>实验三 并发程序-1 学习使用Linux命令wc(1) 基于Linux Socket程序设计实现 ...
- 2017-2018-1 20155234 实验三 实时系统及mypwd实现
2017-2018-1 20155234实验三实时系统及mypwd实现 实验三-并发程序-1 学习使用Linux命令wc(1) 基于Linux Socket程序设计实现wc(1)服务器(端口号是你学号 ...
- struts2学习笔记(三)—— 在用户注冊程序中使用验证框架
实现目标: 1.使用验证框架对用户注冊信息进行验证 2.验证username.password.邮箱不能为空 3.验证username.password长度 ...
- 软件工程第三个程序:“WC项目” —— 文件信息统计(Word Count ) 命令行程序
软件工程第三个程序:“WC项目” —— 文件信息统计(Word Count ) 命令行程序 格式:wc.exe [parameter][filename] 在[parameter]中,用户通过输入参数 ...
- 微信小程序配置域名的时候提示“校验文件验证失败”
在微信小程序后台配置web-view的业务域名跟扫普通链接二维码打开小程序两项功能时, 一直提示"校验文件验证失败,请下载校验文件,上传到服务器指定的目录" 实际访问校验文件的路径 ...
- OD 实验(八) - 对一个程序的逆向
程序: 运行 弹出 NAG 窗口,提示要花 20 美元注册 然后会进入主窗口 提示剩余 5 天的使用时间 点击,菜单栏 -> Help -> About 显示未注册版本 逆向: 用 OD ...
- 20145229&20145316 《信息安全系统设计基础》实验三 实时系统的移植
实验封面 实验内容 1.安装ADS(安装文件在00-ads1.2目录下,破解方法00-ads1.2\Crack目录下) 2.安装GIVEIO驱动(安装文件在01-GIVEIO目录下) 3.把整个GIV ...
- 20162330 实验三 《敏捷开发与XP实践》 实验报告
2016-2017-2 实验报告目录: 1 2 3 4 5 20162330 实验三 <敏捷开发与XP实践> 实验报告 课程名称:<程序设计与数据结构> 学生班级:1623班 ...
随机推荐
- 使用 $scope.$apply 手动更新页面数据
注意 $scope.$apply 调用时的位置
- [Python] print中的左右对齐问题
一.数值类型(int.float) # %d.%f是占位符>>> a = 3.1415926>>> print("%d"%a) #%d只 ...
- android代码常识
查看当前android代码版本号:build/core/version_defaults.mk---->查找platform_version android源码在线阅读网址 http://and ...
- js之敏感词过滤
HTML <!DOCTYPE html> <html> <head> <meta charset="UTF-8"> <titl ...
- 【剑指offer】二叉搜索树转双向链表,C++实现
原创博文,转载请注明出处! # 题目 输入一棵二叉搜索树,将该二叉搜索树转换成一个排序的双向链表.要求不能创建任何新的结点,只能调整树中结点指针的指向. 二叉树节点的定义 struct TreeNod ...
- Git 中文教程
以下内容转载自:http://www.open-open.com/lib/view/open1328928294702.html Git是一个分布式的版本控制工具,本篇文章从介绍Git开始,重点 在于 ...
- Canvas 与 SVG 的区别
这个说实话,我只用过canvas画过一些简单的图形,复杂的不懂,之所以列出来,是因为之前在面试中有被问到,在这里mark一下,后期深化. 以下的内容全部来自于w3school http://www.w ...
- 每天一个linux命令:【转载】less命令
less 工具也是对文件或其它输出进行分页显示的工具,应该说是linux正统查看文件内容的工具,功能极其强大.less 的用法比起 more 更加的有弹性.在 more 的时候,我们并没有办法向前面翻 ...
- Atcoder Beginner Contest 118
A: B +/- A 签到题. B: Foods Loved by Everyone 签到题. C: Monsters Battle Royale 怪物的血量一直两两相减,类似于辗转相减法. 可以证明 ...
- 轻量级KVO[译]
在这篇文章中,我会实现一个自己用的简单KVO类,我认为KVO非常棒,然而对于我大部分的使用场景来说,有这两个问题: 1. 我不喜欢在observeValueForKeyPath:ofObjec ...