Lsposed 技术原理探讨 && 基本安装使用

目前市场上主流的Hook框架有两款,一个是Frida,另一个是Xposed。他们之间各有优缺点,简单总结来说:Frida快,但是不稳定;Xposed稳定,但是操作繁琐,减缓了分析的操作的速度。

1.1 Xposed && Lsposed

1.1.1 Xposed 系列工具发展历程

本章,先对Xposed展开讲解。那Lsposed是什么呢?和xposed有什么联系呢?既然大家购买了这本书,相信大家的技术水平已经不是停留在小白的水平了。这里只讲述核心的知识点。

对于Xposed、Edposed、Lsposed,非常有必要说明下它们的发展历程,方便于读者的理解。Xposed是早期的Hook框架,并且有成熟的社区以及API来支撑,但是它的作者在2017年就停止了项目的维护,如图1-1所示,Github的上Xposed的最新版本是v89,这个是后来增加的,最稳定的新版是v82版本,我们现在的框架依赖依然使用v82的版本。


图1-1 Xposed API

现对于2017年,已经过去5年的时间。技术是在不停的迭代升级的,虽然Xposed还能是使用,但是它本身繁琐的操作,每次编写完Hook代码后,需要重启手机,这样大大的减缓了分析的过程,并且浪费我们的生命。由于技术的升级,Xposed的特征也越来越多,被反调成了常有的事情。Xposed的作者对Xposed停止维护后,此框架依然起着很大的作用,后来出现了Edposed,并接管了Xposed的位置。但是Edposed的存在期间很短,框架本身也有很多弊病。于是,对于Edposed的改良框架Lspoded脱颖而出。Edposed我们在后面也不会提及,因为它只是一个过渡版本。

Lsposed是在Edposed的基础上进行改良的新框架。并且接管了Xposed的API,可以很好的兼容Xposed的API。所以我们后面的开发工作都是基于Xposed的API进行开发,再配合上Lsposed的优秀特性,体验感十分良好。

对于Xposed的弊端,这里有必要说明一下:Xposed会对所有的应用都进行注入,也就是全局模式,导致应用启动变得非常的慢,这个在Lsposed上有了很大的改良。在Lsposed上,我们可以对目标app选择注入,并且支持多选。这项改进也不算是重大的技术升级,说到底就是引导用户正确的使用Xposed,确保Xposed框架和模块不会做额外的事情。


图1-2 Lsposed github official declare

图1-2是Lsposed的官方声明,下面是对介绍的翻译:

Riru / Zygisk 模块试图提供一个 ART Hook 框架,该框架利用 LSPlant 挂钩框架提供与 OG Xposed 一致的 API。

Xposed 是一个模块框架,可以在不触及任何 APK 的情况下改变系统和应用程序的行为。这很棒,因为这意味着模块可以在不同版本甚至 ROM 上工作而无需任何更改(只要原始代码没有太大更改)。它也很容易撤消。由于所有更改都在内存中完成,您只需停用模块并重新启动即可恢复原始系统。还有许多其他优点,但这里只是一个优点:多个模块可以对系统或应用程序的同一部分进行更改。对于修改后的 APK,您必须选择一个。没有办法组合它们,除非作者用不同的组合构建了多个 APK。

从图1-2中还能看到它支持Android 8.1-13 的系统版本。补充说明下,Xposed旧版的API只支持的Android7,后来更新的出来的一些版本,如v89,是支持Android 8的版本的。

1.1.2 Xposed && Lsposed 框架原理

Xposed的Hook原理是从整个Android的启动流程入手而设计出来的框架,看懂Android的启动流程,也是从从按了开机键后,从硬件到软件,到底做了什么事情,我们才能更好的理解Xposed框架。

1.1.2.1 Android 启动流程

如图1-3所示:是Android启动的整个流程图,下面我们一一对每个节点进行介绍。


图1-3 Android 启动流程图

Android整系统分为四层,分别为kernel、Native、FrameWork、应用层(APP),loader也可以单独算一层,是硬件的启动加载预置项。

  1. 首先当我们长按开机键(电源按钮)开机,此时会引导芯片开始从固化到ROM中的预设代码处执行,然后加载引导程序到RAM。然后启动加载的引导程序,引导程序主要做一些基本的检查,包括RAM的检查,初始化硬件的参数。

  2. 到达内核层的流程后,这里初始化一些进程管理、内存管理、加载各种Driver等相关操作,如Camera Driver、Binder Driver 等。下一步就是内核线程,如软中断线程、内核守护线程。下面一层就是Native层,这里额外提一点知识,层于层之间是不可以直接通信的,所以需要一种中间状态来通信。Native层和Kernel层之间通信用的是syscall,Native层和Java层之间的通信是JNI。

  3. 在Native层会初始化init进程,也就是用户组进程的祖先进程。init中加载配置文件init.rc,init.rc中孵化出ueventd、logd、healthd、installd、lmkd等用户守护进程。开机动画启动等操作。核心的一步是孵化出Zygote进程,此进程是所有APP的父进程,这也是Xposed注入的核心,同时也是Android的第一个Java进程(虚拟机进程)。

  4. 进入框架层后,加载zygote init类,注册zygote socket套接字,通过此套接字来做进程通信,并加载虚拟机、类、系统资源等。zygote第一个孵化的进程是system_server进程,负责启动和管理整个Java Framework,包含ActivityManager、PowerManager等服务。

  5. 应用层的所有APP都是从zygote孵化而来

1.1.2.2 Xposed 注入源码剖析

上述是Android的大致流程,接下来我们从代码执行的角度来看执行链。

从图1-3中,我们可以总结出一条启动链:

init => init.rc => app_process => zygote => ...

一个应用的启动,核心的步骤是Framework层的zygote启动,zygote是所有进程的父进程,也就是说,所有APP应用进程都是由zygote孵化而来。为什么要从Native层开始说明呢?这是因为Native层开始就是Android源码的运行过程,Xposed的注入也就是从Native层开始的。

根据Android启动流程图可知,zygote是由app_process初始化产生的。app_process是一个二进制可执行文件,它的表现形式是一个bin文件,它位于/system/bin/app_process,如图1-4所示:


图1-4 Android app_process

app_process是由app_main.cpp编译而来,它的源码路径位于/frameworks/base/cmds/app_process/app_main.cpp,Xposed就是将XposedInstaller.jar包替换原始的app_process来实现全局注入,所以我们每次编写完Hook代码后,需要重启手机才能生效。

  • init

从Android启动的流程图可知,首先进行的是init进程的启动,它在源码中对应着/system/core/init/init.cpp文件,如图1-5所示:


图1-5 /system/core/init/init.cpp

C++文件的启动从main开始,所以我们从main开始追,核心代码如下所示:

int main(int argc, char** argv) {
    ...

    if (bootscript.empty()) {            // 第一次开机
        parser.ParseConfig("/init.rc");  // 解析配置文件 init.rc
        parser.set_is_system_etc_init_loaded(
                parser.ParseConfig("/system/etc/init"));
        parser.set_is_vendor_etc_init_loaded(
                parser.ParseConfig("/vendor/etc/init"));
        parser.set_is_odm_etc_init_loaded(parser.ParseConfig("/odm/etc/init"));
    } else {
        parser.ParseConfig(bootscript);
        parser.set_is_system_etc_init_loaded(true);
        parser.set_is_vendor_etc_init_loaded(true);
        parser.set_is_odm_etc_init_loaded(true);
    }

    ...

    while (true) { ... }

    return 0;
}

可以看到,第一次开机后,它会解析init.rc配置文件,此配置文件中会创建文件,并做一些用户组分配、权限赋予的操作,它位于/system/core/rootdir/init.rc,如图1-6所示:


图1-6 /system/core/rootdir/init.rc

此外,还会有一些触发器的操作,源码如下所示:

# Now we can start zygote for devices with file based encryption
trigger zygote-start

zygote的生成就是由触发器生成的,在稍高一点的Android版本中,会分为32位和64位的zygote,如图1-7所示:


图1-7 不同位数的zygote

这里以init.zygote32.rc为例做说明,其它东西都是一样的,就是架构有区别。在init.zygote32.rc配置文件中,有如下代码:

service zygote /system/bin/app_process -Xzygote /system/bin --zygote --start-system-server
    class main
    priority -20
    user root
    group root readproc
    socket zygote stream 660 root system
    onrestart write /sys/android_power/request_state wake
    onrestart write /sys/power/state on
    onrestart restart audioserver
    onrestart restart cameraserver
    onrestart restart media
    onrestart restart netd
    onrestart restart wificond
    writepid /dev/cpuset/foreground/tasks

我们只看第一句命令,这个是启动zygote进程的核心。这里加载了app_process文件,那么这个文件做了什么呢?app_process对应着Android源码中的app_main.cpp,他的位置如图1-8所示:


图1-8 app_main.cpp 位置

同样,我们还是看它的main函数,只不过这里要看他后面跟的参数是什么含义,参数匹配如图1-9所示:


图1-9 app_main.cpp main 参数匹配

代码中,可以看到对zygote做了标记,那我们继续追踪,看看哪里引用了这个bool变量,全局搜索后,最后匹配到了文件的末尾,代码如图1-10所示:


图1-10 zygote 引用

runtime.start加载了com.android.internal.os.ZygoteInit类,继续追踪runtime.start,最后定位到/frameworks/base/core/jni/AndroidRuntime.cpp,核心代码如下所示:

void AndroidRuntime::start(const char* className, const Vector<String8>& options, bool zygote)
{
    ...

    // 初始化 JNI 接口
    /* start the virtual machine */
    JniInvocation jni_invocation;
    jni_invocation.Init(NULL);
	
    // 创建 env 指针
    JNIEnv* env;
    // 
    if (startVm(&mJavaVM, &env, zygote) != 0) {
        return;
    }
    onVmCreated(env);

    /*
     * Register android functions.
     */
    if (startReg(env) < 0) {
        ALOGE("Unable to register all android natives\n");
        return;
    }

    /*
     * We want to call main() with a String array with arguments in it.
     * At present we have two arguments, the class name and an option string.
     * Create an array to hold them.
     */
    jclass stringClass;
    jobjectArray strArray;
    jstring classNameStr;

    stringClass = env->FindClass("java/lang/String");
    assert(stringClass != NULL);
    strArray = env->NewObjectArray(options.size() + 1, stringClass, NULL);
    assert(strArray != NULL);
    classNameStr = env->NewStringUTF(className);
    assert(classNameStr != NULL);
    env->SetObjectArrayElement(strArray, 0, classNameStr);

    for (size_t i = 0; i < options.size(); ++i) {
        jstring optionsStr = env->NewStringUTF(options.itemAt(i).string());
        assert(optionsStr != NULL);
        env->SetObjectArrayElement(strArray, i + 1, optionsStr);
    }

    /*
      * Start VM.  This thread becomes the main thread of the VM, and will
      * not return until the VM exits.
      */
    // 开启 VM 虚拟机,这个线程变成 VM 主线程,直到 VM 退出才结束
    // className => com.android.internal.os.ZygoteInit
    char* slashClassName = toSlashClassName(className != NULL ? className : "");
    jclass startClass = env->FindClass(slashClassName);
    if (startClass == NULL) {
        ALOGE("JavaVM unable to locate class '%s'\n", slashClassName);
        /* keep going */
    } else {  // 把 main 函数调起来
        jmethodID startMeth = env->GetStaticMethodID(startClass, "main",
            "([Ljava/lang/String;)V");
        if (startMeth == NULL) {
            ALOGE("JavaVM unable to find main() in '%s'\n", className);
            /* keep going */
        } else {
            env->CallStaticVoidMethod(startClass, startMeth, strArray);

#if 0   // 条件编译
            if (env->ExceptionCheck())
                threadExitUncaughtException(env);
#endif
        }
    }
    free(slashClassName);
    ...
}

在后半段代码可以看出,会把com.android.internal.os.ZygoteInit类,通过Native层反射调用起来。根据类名,我们找到此文件的位置,

public static void main(String argv[]) {
    try {
		
        ...
		
        // socket 通信注册
        registerZygoteSocket(socketName);
        
        // 预加载所需资源到VM中,如class、resource、OpenGL、公用Library等;
        // 所有fork的子进程共享这份空间而无需重新加载,减少了应用程序的启动时间,
        // 但也增加了系统的启动时间,Android启动最耗时的部分之一。
        preload();
        
        // 初始化gc,只是通知VM进行垃圾回收,具体回收时间、怎么回收,由VM内部算法决定。
        // gc()需在fork前完成,这样将来复制的子进程才能有尽可能少的垃圾内存没释放;
        gcAndFinalize();

        // 启动system_server,即fork一个Zygote子进程
        if (startSystemServer) {
            Runnable r = forkSystemServer(abiList, socketName, zygoteServer);

			// {@code r == null} in the parent (zygote) process, and {@code r != null} in the
			// child (system_server) process.
			if (r != null) {
				r.run();
				return;
			}
        }

        // 进入循环模式,获取客户端连接并处理
        runSelectLoop(abiList);
        
        // 关闭和清理zygote socket
        closeServerSocket();
    } catch (MethodAndArgsCaller caller) {
        caller.run();
    } catch (RuntimeException ex) {
        Log.e(TAG, "Zygote died with exception", ex);
        closeServerSocket();
        throw ex;
    }
}

这里是zygote的初始化,首先开启了socket的通信。在proload中预加载一些资源到VM中,所有fork后的子进程都可以共享这份资源,而无须重新启动。与此同时,增加了系统启动时间,这个环节是整个Android启动链条上耗时最长的部分。

核心在于forkSystemServer,通过此函数fork系统服务进程,代码如下所示:

private static Runnable forkSystemServer(String abiList, String socketName,
            ZygoteServer zygoteServer) {

    ...

    int pid;

    try {
        parsedArgs = new ZygoteConnection.Arguments(args);
        ZygoteConnection.applyDebuggerSystemProperty(parsedArgs);
        ZygoteConnection.applyInvokeWithSystemProperty(parsedArgs);

        /* Request to fork the system server process */
        pid = Zygote.forkSystemServer(
                parsedArgs.uid, parsedArgs.gid,
                parsedArgs.gids,
                parsedArgs.debugFlags,
                null,
                parsedArgs.permittedCapabilities,
                parsedArgs.effectiveCapabilities);
    } catch (IllegalArgumentException ex) {
        throw new RuntimeException(ex);
    }

    /* For child process */
    if (pid == 0) {
        if (hasSecondZygote(abiList)) {
            waitForSecondaryZygote(socketName);
        }

        zygoteServer.closeServerSocket();
        return handleSystemServerProcess(parsedArgs);
    }
}

以上就是zygote的启动流程追踪,相信大家到这里都明白了。那么xposed如何Hook zygote,进而实现应用程序的Hook呢?这也是根据上述流程来的,上面说了,核心是替换app_process,app_process.cpp对应的文件是app_main.cpp,我们翻看Github上的Xposed源码,如图1-11所示:


图1-11 xposed app_main.cpp

在图片中,我们看到有两个app_main.cpp出现,那它们之间有什么区别的,这就需要看编译文件了,编译配置文件就是Android.mk,进去之后,最开始就看到它们是如何编译的,如图1-12所示:


图1-12 Android.mk

PLATFORM_SDK_VERSION是SDK的版本,大于等于21以上使用app_main2.cpp,而SDK21对应着Android5,如图1-13所示:


图1-13 Android 版本

通过Xposed的编译配置文件,可以得出Xposed定制了app_process文件,我们直接看app_main2.cpp,目前大家使用的手机型号都来到了Android 8及以上。在app_main2.cpp文件中,我们同样查看被标记的zygote代码,如图1-14所示:


图1-14 xposed app_main2.cpp 核心

它使用Xposed.initialize进行初始化,我们追进去看它的实现,源码位于xposed.cpp中,源码如下所示:

/** Initialize Xposed (unless it is disabled). */
bool initialize(bool zygote, bool startSystemServer, const char* className, int argc, char* const argv[]) {

	// 参数接管
    xposed->zygote = zygote;
    xposed->startSystemServer = startSystemServer;
    xposed->startClassName = className;
    xposed->xposedVersionInt = xposedVersionInt;

	// XposedBridge.jar 加载到 ClassPath 中
	return addJarToClasspath();
}

初始化完成后进入魔改的runtimeStart:

runtimeStart(runtime, isXposedLoaded ? XPOSED_CLASS_DOTS_ZYGOTE : "com.android.internal.os.ZygoteInit", args, zygote);

调用 XPOSED_CLASS_DOTS_ZYGOTE,即 xposedBridge 类的 main 方法,如图1-15所示:


图1-15 XposedBridge

查看xposedBridge类中的main方法,源码如下所示:

protected static void main(String[] args) {
	// Initialize the Xposed framework and modules
	try {
		if (!hadInitErrors()) {
			initXResources();

			SELinuxHelper.initOnce();
			SELinuxHelper.initForProcess(null);

			runtime = getRuntime();
			XPOSED_BRIDGE_VERSION = getXposedVersion();

			// 初始化
			if (isZygote) {
				XposedInit.hookResources();
				XposedInit.initForZygote();
			}

			XposedInit.loadModules();  // 加载 Xposed 模块
		} else {
			Log.e(TAG, "Not initializing Xposed because of previous errors");
		}
	} catch (Throwable t) {
		Log.e(TAG, "Errors during Xposed initialization", t);
		disableHooks = true;
	}

	// Call the original startup code  => 原始执行链
	if (isZygote) {
		ZygoteInit.main(args);
	} else {
		RuntimeInit.main(args);
	}
}

从源码得知,它会在此加载Xposed的资源文件,以此完成后续的Hook操作。

1.1.2.3 zygisk 技术原理

而新的Lsposed是基于Magisk的插件zigisk完成的,它也是在Android启动链上入手,实现Hook。

zygisk相当于zygote的magisk,它会在zygote进程中运行magisk的一部分,这也使得Magisk模块更加强大。我们对于Magisk的使用需求一般是获取手机的root权限。使用zygisk可以实现动态替换app_process。

1.2 Lsposed 环境搭建

测试机硬件条件

  • 机器型号:Nexux 5X
  • 系统:Android 8.1.0
  • 镜像下载:Android 8.1.0
    可以到https://developers.google.com/android/images#bullhead下载
  1. root手机,使用Magisk root即可。在官网下载Magisk-v25.1.apk,安装到手机上。

  2. 对下载好的镜像进行boot.img提取,如图1-16所示:


图1-16 boot.img 提取

  1. 按照官网的方式进行boot.img patch,如图1-17所示:


图1-17 boot.img patch

patch完成后,会生成一个patch后的boot.img文件,带有magisk的标识,如图1-18所示:


图1-18 patch 后的boot.img

  1. 将patch后的boot.img在bootloader模式使用fastboot flash boot boot.img命令刷入手机,至此Magisk刷入完成。

  2. 在Magisk app 设置中打开zigisk

  3. 新版的Magisk仓库没有插件,需要手动进行下载,我们到Github上去下载,如图1-19所示:


图1-19 Lsposed安装包

  1. 本地安装,点击模块后,有一个本地安装的按钮,如图1-20所示:


图1-20 Lsposed安装

本地安装完成后就可以使用Lsposed了

1.2.1 Lsposed Hook 环境搭建

Lsposed的开发环境同Xposed的一致。

  1. app级build.gradle加入图1-21所示的配置


图1-21 build.gradle

  1. AndroidManifest.xml 配置,如图1-22所示


图1-22 AndroidManifest.xml

  1. 入口文件建立

在main下新建asserts资源目录,如图1-23所示:


图1-23 asserts

并在下一级建立xposed_init文件,如图1-24所示:


图1-24 xposed_init文件

  1. 添加入口类,如图1-25所示


图1-25 入口类

HookTest是新建的一个类,用来测试我们的demo

  1. 编写测试代码


图1-26 测试代码

测试代码的功能是打印目标app的包名

1.2.2 基本使用

  1. 激活模块

运行Hook代码后,打开Lsposed,模块第一次启动还未激活,如图1-27所示:


图1-27 未激活的模块

  1. 选择应用

激活模块后,我们可以选择待Hook的应用,应用是可以多选的,如图1-28所示:


图1-28 应用选择

  1. 重启应用,Hook代码即可生效,如图1-29所示:


图1-29 Hook 生效

posted on 2022-09-28 19:30  r0ysue  阅读(1699)  评论(1编辑  收藏  举报