反编译与逆向分析java.lang.VerifyError总结

目前对于apk文件逆向分析的工作进行了一段时间,遇到了很多次VerifyError的问题,其实这个异常如果找准位置很好修改,但是如果找不对异常所在,是很难把握住的,它不同于那些平时的堆栈异常,平时遇到的堆栈异常通常可以打印出来自己工作空间的行数,从而进行回溯,但是java.lang.VerifyError一般都是直接打印Android SDK里面的问题,比如:

Paste_Image.png

再比如:

Paste_Image.png

你根本看不出来它在说什么!

java.lang.VerifyError其实可以理解为校验器,虽然看起来整个smali文件格式正常,但是其实运行到底层时候会出现问题:
1.在错误的位置修改了本地寄存器的变量:
举个栗子:
在测试中我有时候需要在onCreate中注入一些smali代码,从而达到我需要的效果,我一般喜欢通过脚本完成,因为.prologue是方法的开始标识位,所以我一般在下面这一行的底下注入:


Paste_Image.png

在使用时一直没有出现问题,但是真遇到了就扑街了,整整一天都为这个困扰:

Paste_Image.png

在网上查了很久,有的说是因为低版本的ADT在高版本的ADT出错,有的说是ART的锅,在5.0-5.1的机器上很容易出现,但是我用4.4也会有问题。

后来为了调试,于是我自己手动解包,手动加入了打印log的smali代码:
const-string v2, "DCLOG"
const-string v3, "DataEye smali reject.."
invoke-static {v2, v3}, Landroid/util/Log;->e(Ljava/lang/String;Ljava/lang/String;)I
然后手动封包,签名,ziplign
可以run,还是会出现相同的异常

一般来说,如果一段异常你看不懂,那就看一下它的上下文:


Paste_Image.png

有门,它告诉我们是初始化出了问题,我又重新检查了一下初始化,并没有什么异常,因为只是加入几行代码,并没有说修改本身的代码。

等等,无意间突然想到,会不会是我修改了其他本地寄存器的变量,导致失败?

确实:


Paste_Image.png
Paste_Image.png

我在无意间修改了本地寄存器的第三个参数的值,导致130行运行失败,然后回过头来查看一下我本身正式的脚本,恩,修改了v0和v1的值,并且是在源代码赋值之后重新进行了赋值,导致Android sdk本身执行的时候出现问题,难怪ART不答应了。

将新注入的smali代码添加到onCreate的最后面,完美运行。

2.在修改方法时,没有正确的修改本地寄存器的个数:
这个问题是自己初次接触逆向分析时候遇到的,其实挺坑的,但是当时纯属小白,所以也是折腾了很久,这里也记录一下。
因为smali是基于寄存器的,所有的操作都要经过寄存器,但是我们通常在某个方法里面注入smali代码的时候通常会忘记这一点:
再举一个栗子:

Paste_Image.png
Paste_Image.png

此时如果要注入代码:


Paste_Image.png

主要要将前面的.locals 4改成.locals 6,否则会造成本地寄存器不够用,从而造成java.lang.VerifyError的异常。

3.其实在测试时也还遇到了其他的VerifyError异常,但是都比较简单,比如在方法结束的地方忘记加方法结束标识:


Paste_Image.png

当然,VerifyError出现的情况肯定不止上面几种,这里仅仅是做一下记录,为遇到这种异常的同学提供一下少走弯路的思路,同时也是整理一下自己在遇到异常时大概的解决办法。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 213,558评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,002评论 3 387
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 159,036评论 0 349
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,024评论 1 285
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,144评论 6 385
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,255评论 1 292
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,295评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,068评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,478评论 1 305
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,789评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,965评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,649评论 4 336
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,267评论 3 318
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,982评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,223评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,800评论 2 365
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,847评论 2 351

推荐阅读更多精彩内容

  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 134,644评论 18 139
  • 1. Java基础部分 基础部分的顺序:基本语法,类相关的语法,内部类的语法,继承相关的语法,异常的语法,线程的语...
    子非鱼_t_阅读 31,605评论 18 399
  • 从三月份找实习到现在,面了一些公司,挂了不少,但最终还是拿到小米、百度、阿里、京东、新浪、CVTE、乐视家的研发岗...
    时芥蓝阅读 42,221评论 11 349
  • 安装 windows下安装 linux下安装 使用
    BlueCat2016阅读 942评论 0 0
  • 在刚刚回家的地铁上,坐在隔壁的一位母亲对着电话另一端的孩子,不停地嘱托着;从电话声中能感觉到,这个小孩估计是去远方...
    好郝说话阅读 169评论 0 4