本文预计共会写3到4篇文章,总结学习过程中遇到的问题与解决的思路。涉及到的so主要有两个,一个是libmsaoaidsec.so 另一个是scmain.so版本为今年过年期间的版本。
本篇主要会涉及到anti frida、socket抓包定位、simpxxxxxx参数的前置准备。
frida 版本: 16.1.0
◆Socket
网上烂大街的方案,因为我使用的是M2的Mac,wireshark也没有办法使用,使用了肉丝的r0capture(https://github.com/r0ysue/r0capture),r0capture的功能性很强但是python运行会有一些问题,spawn启动对于目标app做了frida检测,检测放到后面说,我推荐比较省事的办法,将script.js摘出来,send改为console.log。配合frida的anti anti frida进行抓包(anti anti frida下面会说)。
定位
我们可以在r0capture中的hook java函数中加入打印调用栈的代码,我是用到了r0的打印调用栈配合jadx的搜索功能来定位的。
在jadx中打开目标app,搜索Socket socket =
我们推测,Socket一定是要循环来发送接收消息的,所以我们在搜索结果中优先定位在while循环中的Socket实例化的代码。有run()就优先找run函数。
小技巧:优先看参数,参数是方法的点进去看有没有关联,确认过后再看外层的方法。
f.a()
继续深入,到一个接口类,可以用frida来查找实现类,也可以在jadx中搜索:impelements f.b
继续点,最后到这里:
刚才我们说过,先看参数内容,发现第一个参数是一个函数,查看:
到此,我们基本定位好收发包的大体流程了。下一步对GzipUtil、SecurityUtil等类进行hook就可以把参数拼接过程找到,此app还用了protobuf,不过这些都可以自行解决了。Request也可以用此方式定位的到,包括压缩、解压、异或运算等。抓包内容到此告一段落,主要就是多hook,多分析就能找到。
◆对于libmsaoaidsec.so最近很多人已经发了文章说了绕过的方法了。我发一个我4月份在分析这个so时候做的思维导图,并没有特别完全,但是大体检测的结构总结了出来。见附件。
这个so在我分析的时候只在网上看到了NOP掉load此so的方式,但是并不适用于此app。主要检测了frida的各种字段,字符串等于,字符串比较等方式都有使用,还有prettyMethod检测,我曾尝试把这些检测的函数全部hook掉,可以通过检测,但是后续app会有很大几率卡住卡死,后续只能把线程函数nop掉。但是so中还有其他检测,对linker的操作动作很多,但是没有作为anti使用。猜测后续版本可能会出。
◆NOP记得区分ARM版本(现版都是ARM64)
function nop(addr) {
Memory.patchCode(ptr(addr), 4, code => {
const cw = new Arm64Writer(code, { pc: ptr(addr) });
cw.putNop();
cw.putNop();
cw.putNop();
cw.putNop();
cw.flush();
});
}
function antiPthread_create(){
let module = Process.findModuleByName("libmsaoaidsec.so")
nop(module.base.add(0x17FC8))
nop(module.base.add(0x16EF4))
nop(module.base.add(0x16A74))
}
将此代码放到r0capture
的script.js中,hook init_array中以spawn启动。
if (Process.pointerSize == 4) {
var linker = Process.findModuleByName("linker");
} else {
var linker = Process.findModuleByName("linker64");
}var addr_call_function = null;
var addr_g_ld_debug_verbosity = null;
var addr_async_safe_format_log = null;
if (linker) {
var symbols = linker.enumerateSymbols();
for (var i = 0; i < symbols.length; i++) {
var name = symbols[i].name;
if (name.indexOf("call_function") >= 0) {
addr_call_function = symbols[i].address;
}
else if (name.indexOf("g_ld_debug_verbosity") >= 0) {
addr_g_ld_debug_verbosity = symbols[i].address;ptr(addr_g_ld_debug_verbosity).writeInt(2);
} else if (name.indexOf("async_safe_format_log") >= 0 && name.indexOf('va_list') < 0) {
addr_async_safe_format_log = symbols[i].address;
}
}
}
if (addr_async_safe_format_log) {
Interceptor.attach(addr_async_safe_format_log, {
onEnter: function (args) {
this.log_level = args[0];
this.tag = ptr(args[1]).readCString()
this.fmt = ptr(args[2]).readCString()
if (this.fmt.indexOf("c-tor") >= 0 && this.fmt.indexOf('Done') < 0) {
this.function_type = ptr(args[3]).readCString(), // func_type
this.so_path = ptr(args[5]).readCString();
var strs = new Array(); //定义一数组
strs = this.so_path.split("/"); //字符分割
this.so_name = strs.pop();
this.so_base_addr = Module.findBaseAddress(this.so_name);
if (this.so_name.indexOf("libmsaoaidsec.so") != -1) {
console.log("start hook!");
//此处添加nop方法,后续我们对so进行frida trace也要在此处。
}
}
},
onLeave: function (retval) {
}
})
}
IDA 7.7
Library : libscmain.so
Frida Stalker
Frida Hook Libart : hook_RegisterNatives.js
Target Parm : simpleSign
本篇文章暂时不对生成过程的细节做分析学习,先了解如何分析,怎么分析。
1、simpleSign是一个native函数生成的,所以我们可以使用yang神的脚本确定此函数在so中的偏移地址。
2、根据偏移,我们要使用ida pro去反汇编观察。
第一眼我们遇到了花指令,一般情况下我个人喜欢先去trace汇编指令流,再去决定怎么去花。这时就是使用stalker的时候了。具体使用方法,可以看一下yang神的帖子(https://bbs.kanxue.com/thread-276523.htm)。
有一些花指令比如BR系列的,根据前后文即可推导出正确的跳转地址。
再比如某音的跳转方式,与此次的app大差不差。
因为篇幅的原因,更因为个人能力的原因,还是推荐去看一下龙哥的花指令教程,写的很详细。下面是去花后的反汇编。
frida trace的代码要记得在libscmain.so加载完成后开启,做一个计数器是最好的选择。
if(scmain_load_count > 4){
console.log('set trace')
ZY_trace_Stalker_begin('libscmain.so', 起始位置, 长度)
}
看雪ID:我是红领巾
https://bbs.kanxue.com/user-home-839701.htm
# 往期推荐
球分享
球点赞
球在看