事情是这样的,两三年前在论坛看到一篇帖子《对一个apk的协议分析》,作者yezheyu
要分析的签名算法是apk调用阿里安全组件libsgmainso-5.4.56.so
中安全签名类SecuritySignature
的sign
方法,虽然最后没有还原算法,但yezheyu
把十分详尽的分析过程写在了帖子中,提供了十分多的参考价值。
当时也试着动手分析了下,不过功力水平不够,JNI_OnLoad
函数的混淆都没办法能给还原下,分析了一段时间就给搁置了。几年过去了,现在各方面水平尤其是汇编分析能力相比以前熟练精进了不少,又重新试着分析下,总的来说还算比较顺利地分析出来了,没有卡着或者在哪个环节花了很多的时间。
当然,能分析出来也有两点原因。
一来是这几年关于sgmain
的分析的文章也出现了好几篇了,krash
前辈在《使用时间无关调试技术(Timeless Debugging)高效分析混淆代码》 帖子中写到:
“以前选择阿里作为自己的研究对象,一是他们的混淆因为有足够的强度和代表性;二是阿里较其他厂要开放些,只进行技术交流分享,不恶意分析应用业务逻辑的文章一般都能正常发出。”
得益于阿里安全的包容和大家对技术精益求精的追求和无私的分享精神,给像我这样的后来人提供了很多学习机会和资源。虽然几篇文章都只是技术交流分享不会涉及特定应用业务逻辑,但一来能给自己壮胆去挑战高峰,二来一些思路、技术方法或者分析关键点确实提几句就够了。
我是小三
前辈在《Anti-Bot安全SDK SGAVMP浅析》 帖子中的末尾也写到:
“缺点:缺少一定的灵活性,比如bycode
隐藏在图片中,当整个执行逻辑被成功分析清楚后难做即时补就措施,黑产特征在随时变化,本地的特征只要改下名字就可以过掉了。”
从某个角度来说,这对安全开发者可能也是一个警示,分析的人总是前仆后继,永不会停下脚步,如果安全产品不能够迅速地调整变化,安全逻辑被分析出来也只是时间问题。攻防形势瞬息万变,双方策略的有效性总只会是一时,而对于安全防守一方来说,调整似乎总会伴随着很多问题,周期也会更长,是一个值得思考的问题。
二来是因为分析的libsgmain
版本是5.4.56
,版本比较早了。angelToms
前辈在《逆向学习sgvmp篇》 中写到:
“sgmain
、sgavmp
、sgsecuritybody
等前身是百川sdk
下的无线保镖,最早由聚安全开发,同时对外对内都提供安全能力,对外提供低版本的5.x
,对内提供更具安全能力的6.x
版本;5.x
版本不具备avmp
、litevm
功能,也不具备其他插件的能力。”
分析完发现这个版本的sgmain
保护的话,几乎只有对汇编的乱序混淆,没有上vmp
,而混淆去除后的分析可以说十分容易了,各种加解密压缩解压算法、从资源中解密出密钥、签名验证等过程,在调试、hook
和trace
的分析下毫无抵抗力,可见代码算法的攻防对抗上,作为防守方的安全开发还是要上vmp
啊: ),不然根本经不住分析。
不由得想起来evilpan
前辈在《如何破解一个Python虚拟机壳并拿走12300元ETH》一文中写到的:
“虚拟机加固(VMP
)是当今很常见的一种代码保护方案,不管是X86
机器码(汇编),安卓的DEX
字节码还是Python
字节码,其本质上是从处理器中抢活干,自身在用户空间实现代码执行的状态机,有的还自己实现一套中间指令集。正如伟人所说——世上本没有 VMP
,对抗得深了,自然就成了VMP
。”
还有就是sgmain
这个版本的保护在项目工程实践上,不知道是不是开发和安全两部分是分离的,针对逆向分析存在一些缺陷。因为各种加解密压缩解压算法都会跳到一个函数中,里面有个switch
根据模式来选择分发进行哪种算法,对于分析者来说,意味着只要hook
这个函数的出入口,所有的加解密输入输出,都能够清晰地获取打印出来,几乎全部的安全保护逻辑都给暴露出来了。
在我把yezheyu
帖子中样本的sgin
分析完成后,因为我和他的分析方式完全不同,我又重新看了一遍他的帖子,发现了一个十分有意思的事情,其实yezheyu
已经完成了几乎90%
的分析工作了,如果对那个加密算法十分熟悉的话,这个进度其实是99%
。。。
yezheyu
在帖子里面最后贴的伪代码有两句是某个加密算法很明显的特征,如果能注意到或者看出来这个,再稍作尝试,这个sign
算法就能分析出来了,因为这个算法的密钥yezheyu
也分析到了并且就写在帖子里面。
俗话说,行百里者半九十,掘井九仞犹为弃井,机缘巧合之下,我也算是切身见证了一个鲜活的案例,令人唏嘘。
不禁想起来四哥scz
在《留给Burp破解爱好者的话》 中留的几个开放式问题中的两个便是:
(d)如何在class中识别BASE64、SHA1、SHA256、DES/S盒、RSA (n,e),不要只想着JD-GUI反编译,想想更困难的场景
(e)在没有DES Key的情况下,如何用DES Working Key完成加解密?已知DES Decrypt Working Key,你能否反推出DES Encrypt Working Key?”。
对逆向工程来说,密码学基本功还是要稳扎稳打的,各种标准加密烂熟于心,不然一不留神,就会错过很多。
本文只涉及技术层面的交流与分享,更多的是普适的分析思路与方法,评论区和私信请不要做一些徒劳的请求,不会有回复的。
整个分析过程的话,一是反混淆,二是调试trace定位加密算法。
我使用的工具有:ida
、miasm
、unidbg
。Miasm
和unidbg
我之前没用过,在别人的分享中看到用的挺多,这次分析有了想法,从下载编译到看demo
尝试,到使用解决问题,都没花多少时间,感悟是工具之类的其实都是次要的,重要的是面对问题有没有解决的思路想法,以及项目工程、汇编分析和调试的基本功是否扎实。如果你连自己编译miasm
和unidbg
、阅读各自的文档和example code
的能力都没有,何谈去做更多的事情呢。
像yezheyu
的话,几乎是只使用IDA
一路逆向撕到了最终的加密算法部分,可以看出逆向基本功十分扎实稳固,后面翻到他在另一篇帖子里面分享过总结的ARM
汇编指令和ELF
文件的庞大思维导图,便可知道为何他的调试功底如此好了,可惜密码学功底稍微差了些,离成功只有一步之遥了。
反混淆的话yezheyu
没有详细写,给出了参考的一篇文章的链接,《详细分析一款移动端浏览器安全性》,这篇文章对libsgmain
的整个分析过程可以说也十分完备充分了。
还有就是krash
前辈在《阿里2015第二届安全挑战赛第三题题解》 的分析了,对混淆的分析和去混淆展示可以说是极其详细了,同时我也是从krash
前辈这里学到了miasm
在去混淆中的妙用。
如果这两篇文章都看着很吃力的话,可能就需要反思下自己的基础是不是不够牢固了: )
Miasm
符号执行混淆的汇编代码片段,可以搞清楚这段汇编干了什么,是跳转了、是加载了一个常量了、还是只是一段无意义的垃圾片段,然后使用idapython
脚本几乎可以修复所有混淆的函数,流畅反编译。
krash
前辈没有放miasm
的使用代码,我来提供一段吧,一个分发块处的混淆,执行结果就是跳转,另一个是函数开头的一段垃圾代码混淆,执行结果相当于nop
+跳转。
执行结果包含对应的汇编代码和执行完后寄存器的状态,从而可以判断混淆代码干了什么。
然后使用idapython
写脚本进行patch
修复就好了,详细可以参考krash
前辈提供的修复脚本。
去完混淆后就是调试分析了,调试方面的话我自己更喜欢的方式,是能把执行过程给抽离出来,一次执行trace
,反复稳定调试鞭尸,没错我说的就是微软的TTD
(Time Travel Debugging
),如果对这种调试感兴趣的话可以看看四哥scz
和krash
前辈的文章:《MSDN系列(46)--WinDbg Preview TTD入门》 和 《使用时间无关调试技术(Timeless Debugging)高效分析混淆代码 》。
安卓方面的话目前好像还没有公开的类似TTD
的工具,如果有谁知道的话可以评论区说一下告诉我。然后我选择了一个替代方案是使用unidbg
代码项目来跑出正确的sign
结果,然后在此基础上进行调试和trace
。
Unidbg
项目看了下没啥好的文档,不过网上关于unidbg使用的文章还是挺多的,一搜大把,自己也是看别人怎么用再自己尝试,就不细说怎么用了。
感觉对unidbg
报错的处理还是比较靠经验的,也没有什么好的全面的文档,碰到错误只能东搜西搜,我就因为没有开启多线程的支持被坑了一下,搜了很久的报错,发现是需要开启多线程的支持。 unidbg
项目仓库的issue
里有个问so多线程有办法支持吗,回复里说“支持,请参考 src/test/java/com/github/unidbg/android/ThreadTest.java
”。
怎么定位的加密算法呢?可以从trace
结果入手,trace
会记录指令涉及的寄存器中的值,那么直接在trace
中搜加密结果的部分值,从而能够定位相关函数,再不断地回溯分析。甚至是可以直接在trace
中搜索分析过程怀疑的标准加密的常量值,有时候也是能够事半功倍的。
好了,就写到这吧,再详细也没啥必要了,无非是把上面的提到的几篇文章中说的再重复一遍。
再次感谢广大技术爱好者的无私分享精神,给像我这样的后辈提供了很多学习资源,这也是我写此篇文章的重要原因之一。
对我个人而言,其中还要尤其感谢scz
、evilpan
、krash
、我是小三
、angelToms
几位前辈,没事时候总会反复翻他们的文章琢磨看,不仅是学其中技术知识,也是学他们的心态,觉得他们的水平已经技进乎艺了,但仍然保留着无私分享精神,极其可贵。
最后重提一遍,本文只涉及技术层面的交流与分享,更多的是普适的分析思路与方法,评论区和私信请不要做一些徒劳的请求,不会有回复的。
from
miasm.core.locationdb
import
LocationDB
from
miasm.ir.symbexec
import
SymbolicExecutionEngine
from
binascii
import
unhexlify
from
miasm.analysis.machine
import
Machine
from
miasm.analysis.binary
import
Container
def
symbolic_execute(asm):
loc_db
=
LocationDB()
c
=
Container.from_string(asm, loc_db)
print
(c)
machine
=
Machine(
"arml"
)
mdis
=
machine.dis_engine(c.bin_stream, loc_db
=
loc_db)
asmcfg
=
mdis.dis_multiblock(
0
)
for
block
in
asmcfg.blocks:
print
(block)
lifter
=
machine.lifter_model_call(loc_db)
ircfg
=
lifter.new_ircfg_from_asmcfg(asmcfg)
sb
=
SymbolicExecutionEngine(lifter, machine.mn.regs.regs_init)
sb.run_at(ircfg,
0
)
print
(
"R0: "
+
str
(sb.symbols[machine.mn.regs.R0]))
print
(
"R1: "
+
str
(sb.symbols[machine.mn.regs.R1]))
print
(
"LR: "
+
str
(sb.symbols[machine.mn.regs.LR]))
print
(
"PC: "
+
str
(sb.symbols[machine.mn.regs.PC]))
def
symbolic_execute_t(asm):
loc_db
=
LocationDB()
c
=
Container.from_string(asm, loc_db)
print
(c)
machine
=
Machine(
"armtl"
)
mdis
=
machine.dis_engine(c.bin_stream, loc_db
=
loc_db)
asmcfg
=
mdis.dis_multiblock(
0
)
for
block
in
asmcfg.blocks:
print
(block)
lifter
=
machine.lifter_model_call(loc_db)
ircfg
=
lifter.new_ircfg_from_asmcfg(asmcfg)
sb
=
SymbolicExecutionEngine(lifter, machine.mn.regs.regs_init)
sb.run_at(ircfg,
0
)
print
(
"R0: "
+
str
(sb.symbols[machine.mn.regs.R0]))
print
(
"R1: "
+
str
(sb.symbols[machine.mn.regs.R1]))
print
(
"R2: "
+
str
(sb.symbols[machine.mn.regs.R2]))
print
(
"R3: "
+
str
(sb.symbols[machine.mn.regs.R3]))
print
(
"R4: "
+
str
(sb.symbols[machine.mn.regs.R4]))
print
(
"R5: "
+
str
(sb.symbols[machine.mn.regs.R5]))
print
(
"R6: "
+
str
(sb.symbols[machine.mn.regs.R6]))
print
(
"LR: "
+
str
(sb.symbols[machine.mn.regs.LR]))
print
(
"PC: "
+
str
(sb.symbols[machine.mn.regs.PC]))
print
(
"======dispatcher_code======="
)
symbolic_execute(unhexlify(
"03002DE90E10A0E1A110A0E10001A0E1040080E28110A0E1001091E701E08EE00300BDE808009DE508E08DE500E0A0E10380BDE8"
))
print
(
"======junk_code======"
)
symbolic_execute_t(unhexlify(
"70b509a402251e356419641c01d000d17fbd0394009c019d6e460836b54640bd"
))
from
miasm.core.locationdb
import
LocationDB
from
miasm.ir.symbexec
import
SymbolicExecutionEngine
from
binascii
import
unhexlify
from
miasm.analysis.machine
import
Machine
from
miasm.analysis.binary
import
Container
def
symbolic_execute(asm):
loc_db
=
LocationDB()
c
=
Container.from_string(asm, loc_db)
print
(c)
machine
=
Machine(
"arml"
)
mdis
=
machine.dis_engine(c.bin_stream, loc_db
=
loc_db)
asmcfg
=
mdis.dis_multiblock(
0
)
for
block
in
asmcfg.blocks:
print
(block)
lifter
=
machine.lifter_model_call(loc_db)
ircfg
=
lifter.new_ircfg_from_asmcfg(asmcfg)
sb
=
SymbolicExecutionEngine(lifter, machine.mn.regs.regs_init)
sb.run_at(ircfg,
0
)
print
(
"R0: "
+
str
(sb.symbols[machine.mn.regs.R0]))
print
(
"R1: "
+
str
(sb.symbols[machine.mn.regs.R1]))
print
(
"LR: "
+
str
(sb.symbols[machine.mn.regs.LR]))
print
(
"PC: "
+
str
(sb.symbols[machine.mn.regs.PC]))
def
symbolic_execute_t(asm):
loc_db
=
LocationDB()
c
=
Container.from_string(asm, loc_db)
print
(c)
machine
=
Machine(
"armtl"
)
mdis
=
machine.dis_engine(c.bin_stream, loc_db
=
loc_db)
asmcfg
=
mdis.dis_multiblock(
0
)
for
block
in
asmcfg.blocks:
print
(block)
lifter
=
machine.lifter_model_call(loc_db)
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入!
最后于 2023-10-1 19:03
被0x指纹编辑
,原因: