代码实例分析android中inline hook
作者:mmmmar 发布时间:2022-11-06 18:45:08
以下内容通过1、实现目标注入程序,2、实现主程序,3、实现注入函数,4、thumb指令集实现等4个方面详细分析了android中inline hook的用法,以下是全部内容:
最近终于沉下心来对着书把hook跟注入方面的代码敲了一遍,打算写几个博客把它们记录下来。
第一次介绍一下我感觉难度最大的inline hook,实现代码参考了腾讯GAD的游戏安全入门。
inline hook的大致流程如下:
首先将目标指令替换为跳转指令,跳转地址为一段我们自己编写的汇编代码,这段汇编代码先是执行用户指定的代码,如修改寄存器的值,然后执行被替换掉的原指令2,最后再跳转回原指令3处,恢复程序的正常运行。
为了避开注入过程,我们通过hook自己进程加载的动态连接库进行演示。
1、实现目标注入程序
我们将这个程序编译为动态连接库,然后在主程序中加载,作为hook的目标。
target.h
#ifndef TARGET_H_INCLUDED#define TARGET_H_INCLUDEDvoid target_foo();#endif // TARGET_H_INCLUDEDtarget.c#include "target.h"#include <stdlib.h>#include <stdio.h>#include <unistd.h>void target_foo(){ int a = 3; int b = 2; while(a--) { sleep(2); b = a * b; printf("[INFO] b is %d\n", b); } b = b + 2; b = b - 1; printf("[INFO] finally, b is %d\n", b);}
Android.mk
include $(CLEAR_VARS)LOCAL_ARM_MODE := armLOCAL_MODULE := targetLOCAL_CFLAGS += -pie -fPIE -std=c11LOCAL_LDFLAGS += -pie -fPIE -shared -llogAPP_ABI := armeabi-v7aLOCAL_SRC_FILES := target.cinclude $(BUILD_SHARED_LIBRARY)
注意Android.mk中LOCAL_ARM_MODE := arm代表编译时使用4字节的arm指令集,而不是2字节的thumb指令集。
2、实现主程序
在主程序中我们首先加载之前编写的动态链接库,进行hook之后再对其中的函数target_foo进行调用。
main.c#include <stdio.h>#include <stdlib.h>#include <dlfcn.h>#include <unistd.h>#include <stdbool.h>#include "hook_inline.h"typedef void (*target_foo)(void);void my_func(struct hook_reg *reg){ puts("here we go!");}void main(){ void *handler = dlopen("/data/local/tmp/libtarget.so", RTLD_NOW); target_foo foo = (target_foo)dlsym(handler, "target_foo"); hook_inline_make("/data/local/tmp/libtarget.so", 0xde2, my_func, true); foo();}hook_inline.h#ifndef HOOK_INLINE_H_INCLUDED#define HOOK_INLINE_H_INCLUDED#include <stdbool.h>struct hook_reg { long ARM_r0; long ARM_r1; long ARM_r2; long ARM_r3; long ARM_r4; long ARM_r5; long ARM_r6; long ARM_r7; long ARM_r8; long ARM_r9; long ARM_r10;long ARM_r11; long ARM_r12;long ARM_sp; long ARM_lr; long ARM_cpsr;};typedef void (*hook_func)(struct hook_reg *reg);bool hook_inline_make(const char *library, long address, hook_func func, bool isArm);#endif // HOOK_INLINE_H_INCLUDED
这里我们hook功能的实现函数为hook_inline_make,4个参数分别为动态库路径,目标地址,用户函数,目标地址处指令集。
当程序执行到目标地址处时会回调我们传入的用户函数,可通过参数hook_reg来更改寄存器的值(不包括寄存器pc)。因为之前在动态链接库的Android.mk文件指定了使用arm指令集进行编译,所以此处指定最后一个参数为true。
3、实现注入函数
现在到了最为关键的地方,为了实现这个功能还需要了解几个知识。
(1)、获取内存中动态链接库的基址
Linux系统中各个进程的内存加载信息可以在/proc/pid/maps文件中到,通过它我们可以获取到动态链接库在内存中的加载基址。
long get_module_addr(pid_t pid, const char *module_name){ char file_path[256]; char file_line[512]; if (pid < 0) { snprintf(file_path, sizeof(file_path), "/proc/self/maps"); } else { snprintf(file_path, sizeof(file_path), "/proc/%d/maps", pid); } FILE *fp = fopen(file_path, "r"); if (fp == NULL) { return -1; } long addr_start = -1, addr_end = 0; while (fgets(file_line, sizeof(file_line), fp)) { if (strstr(file_line, module_name)) { if (2 == sscanf(file_line, "%8lx-%8lx", &addr_start, &addr_end)) { break; } } } fclose(fp); printf("library :%s %lx-%lx, pid : %d\n", module_name, addr_start, addr_end, pid); return addr_start;}
(2)、更改内存中的二进制代码
现在的计算机系统中一般对内存进行分段式管理,不同的段有不同的读、写、执行的属性。一般来讲代码段只有读和执行的属性,不允许对代码段进行写操作。Linux系统中通过函数mprotect对内存的属性进行更改,需要注意的一点是需要以内存页的大小进行对齐。
bool change_addr_writable(long address, bool writable) { long page_size = sysconf(_SC_PAGESIZE); //align address by page size long page_start = (address) & (~(page_size - 1)); //change memory attribute if (writable == true) { return mprotect((void*)page_start, page_size, PROT_READ | PROT_WRITE | PROT_EXEC) != -1; } else { return mprotect((void*)page_start, page_size, PROT_READ | PROT_EXEC) != -1; }}
接下来就可以着手实现功能了,inline hook跟指令集密切相关,此处我们先演示arm指令集的情况,之后对thumb指令集进行讨论。这里实现的功能是用户可在自己注册的回调函数中对hook点寄存器的值进行修改。
为了实现32位地址空间的长跳转,我们需要两条指令的长度(8个字节)来实现。一般手机上的arm处理器为3级流水,所以pc寄存器的值总是指向当前执行指令后的第二条指令,因而使用ldr pc, [pc, #-4]来加载该指令之后的跳转地址。当程序跳转到shellcode后,首先对寄存器组进行备份,然后调用用户注册的回调函数,用户可在回调函数中修改备份中各个寄存器(pc寄存器除外)的值,然后从备份中恢复寄存器组再跳转到stubcode,stubcode的功能是执行被hook点的跳转指令替换掉的两条指令,最后跳回原程序。
ellcode.S 1 .global _shellcode_start_s
.global _shellcode_end_s
.global _hook_func_addr_s
.global _stub_func_addr_s
.data
_shellcode_start_s:
@ 备份各个寄存器
push {r0, r1, r2, r3}
mrs r0, cpsr
str r0, [sp, #0xc]
str r14, [sp, #0x8]
add r14, sp, #0x10
str r14, [sp, #0x4]
pop {r0}
push {r0-r12}
@ 此时寄存器被备份在栈中,将栈顶地址作为回调函数的参数(struct hook_reg)
mov r0, sp
ldr r3, _hook_func_addr_s
blx r3
@ 恢复寄存器值
ldr r0, [sp, #0x3c]
msr cpsr, r0
ldmfd sp!, {r0-r12}
ldr r14, [sp, #0x4]
ldr sp, [r13]
ldr pc, _stub_func_addr_s
_hook_func_addr_s:
.word 0x0
_stub_func_addr_s:
.word 0x0
_shellcode_end_s:
.end
shellcode使用汇编实现,在使用时需要对里边的两个地址进行修复,用户回调函数地址(_hook_func_addr_s)跟stubcode地址(_stub_func_addr_s)。
接下来我们可以看一下函数hook_inline_make的具体实现了
void hook_inline_make(const char *library, long address, hook_func func)
{
//获取hook点在内存中的地址
long base_addr = get_module_addr(-1, library);
long hook_addr = base_addr + address;
//获取shellcode中的符号地址
extern long _shellcode_start_s;
extern long _shellcode_end_s;
extern long _hook_func_addr_s;
extern long _stub_func_addr_s;
void *p_shellcode_start = &_shellcode_start_s;
void *p_shellcdoe_end = &_shellcode_end_s;
void *p_hook_func = &_hook_func_addr_s;
void *p_stub_func = &_stub_func_addr_s;
//计算shellcode大小
int shellcode_size = (int)(p_shellcdoe_end - p_shellcode_start);
//新建shellcode
void *shellcode = malloc(shellcode_size);
memcpy(shellcode, p_shellcode_start, shellcode_size);
//添加执行属性
change_addr_writable((long)shellcode, true);
//在32bit的arm指令集中,stubcode中的4条指令占用16个字节的空间
//前两条指令为hook点被替换的两条指令
//后两条指令跳转回原程序
void *stubcode = malloc(16);
memcpy(stubcode, (void*)hook_addr, 8);
//ldr pc, [pc, #-4]
//[address]
//手动填充stubcode
char jump_ins[8] = {0x04, 0xF0, 0x1F, 0xE5};
uint32_t jmp_address = hook_addr + 8;
memcpy(jump_ins + 4, &jmp_address, 4);
memcpy(stubcode + 8, jump_ins, 8);
//添加执行属性
change_addr_writable((long)stubcode, true);
//修复shellcode中的两个地址值
uint32_t *shell_hook = shellcode + (p_hook_func - p_shellcode_start);
*shell_hook = (uint32_t)func;
uint32_t *shell_stub = shellcode + (p_stub_func - p_shellcode_start);
*shell_stub = (uint32_t)stubcode;
//为hook点添加写属性
change_addr_writable(hook_addr, true);
//替换hook点指令为跳转指令,跳转至shellcode
jmp_address = (uint32_t)shellcode;
memcpy(jump_ins + 4, &jmp_address, 4);
memcpy((void*)hook_addr, jump_ins, 8);
change_addr_writable(hook_addr, false);
//刷新cache
cacheflush(hook_addr, 8, 0);
}
注意这里的change_addr_writable函数无论传入false还是true对应地址都会添加上执行属性。由于处理器采用流水线跟多级缓存,在更改代码后我们需要手动刷新cache,即函数cacheflush(第三个参数无意义)。
4、thumb指令集实现
由于thumb指令集的功能受到限制,虽然思路上跟arm指令集一致,但在实现上需要用更多条指令,下面是我自己想的一种实现方式,欢迎交流。
需要注意的是由于每条thumb指令为16bit,所以32位的跳转地址需要占用两条指令的空间,而且跳转时会污染r0寄存器所以要对其进行保护。我在实现程序时将shellcode编译为了arm指令集,所以在原程序、shellcode、stubcode之间相互跳转时需要使用bx指令进行处理器状态切换(需要跳转的地址代码为thumb指令集时,需要将地址的第1个bit位置位)。
来源:http://www.cnblogs.com/mmmmar/p/8185549.html


猜你喜欢
- 简介本文介绍MyBatis-Plus的分页的方法。包括:不传参数时的默认结果查询不存在的数据手动包装page自定义SQL建库建表DROP D
- 公钥与私钥公钥与私钥是成对的,一般的,我们认为的是公钥加密、私钥解密、私钥签名、公钥验证,有人说成私钥加密,公钥解密时不对的。公钥与私钥的生
- 包的作用,1是为了防止类和方法的重名,2是为了管理众多的java类。步骤 1 工具包里面有很多个工具类之前讲了打印数据的方法:S
- 核心代码:Imei = ((TelephonyManager) getSystemService(TELEPHONY_SERVICE)).g
- Map映射Map映射是一个java集合存储在键 - 值对的元素,并且不允许在列表中重复的元素。 Map接口提供三种collection视图,
- 现在就为大家介绍一种基于因子分解的RSA算法,这种加密算法有两种实现形式:1、公钥加密,私钥解密;2、私钥加密,公钥解密。下面就为大家分析一
- 在微信公众号里面需要上传头像,时间比较紧,调用学习jssdk并使用 来不及 就用了input1、使用input:file标签, 去调用系统默
- 一、什么是建造者模式建造者模式也称生成器模式 定义:将一个复杂对象的构建与它的表示分离,使得同样的构建过程可以创建不同的表示(依赖倒转)产品
- 基本概念servlet 关系servlet 和 servletconfig 是一对一的关系;servletconfig 作用它存储 web.
- 这篇文章主要介绍了Spring案例打印机的实现过程详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋
- 这里主要介绍的是优先队列的二叉堆Java实现,代码如下:package practice;import edu.princeton.cs.a
- 前言最近遇到个小问题,要为几十个文本框添加相同的失去焦点事件,常规的办法是在VS的事件管理器里面添加,但那样太繁琐了,几十个文本框,要加几十
- MyBatis 获取子类的属性这里有个model类:基类public class user { pu
- 题外话:学习.NET已经有一年了,从C#->ASP.NET->WPF。主要以看电子书为主,比较少写代码。现在回头学习以前接触过的
- 泛型程序设计(Generic Programming)“使用泛型机制编写的程序代码要比那些杂乱地使用Object变量,然后再进行强制类型转换
- 定义享元模式(FlyWeight Pattern),也叫蝇量模式,运用共享技术,有效的支持大量细粒度的对象,享元模式就是池技术的重要实现方式
- 前言在一些日常业务中,会遇到一些琐碎文件需要统一打包到一个压缩包中上传,业务方在后台接收到压缩包后自行解压,然后解析相应文件。而且可能涉及安
- 使用RecyclerView设置间距,需要重写RecyclerView.ItemDecoration这个类。有如下的效果图需要实现,间距只有
- Nacos是什么和Eureka,zookeeper,consul相同,Nacos也是一个注册中心组件咯,当然是,不过它不仅仅是注册中心。Na
- 本文我将要介绍一下mybatis的框架原理,以及mybatis的入门程序,实现用户的增删改查,她有什么优缺点以及mybatis和hibern