Android项目打包开启proguard的混淆优化带来的问题

2024-04-29 01:38

本文主要是介绍Android项目打包开启proguard的混淆优化带来的问题,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章来源: http://www.itnose.net/detail/6043297.html 更多文章: http://www.itnose.net/type/85.html
1.引入一个sdk以后,打包报错: 
[INFO] Unexpected error while evaluating instruction: 
[INFO]   Class       = [com/alibaba/mobileim/channel/service/SOManager] 
[INFO]   Method      = [_loadFile()Z] 
[INFO]   Instruction = [536] aload v6 
[INFO]   Exception   = [java.lang.NullPointerException] (null) 
[INFO] Unexpected error while performing partial evaluation: 
[INFO]   Class       = [com/alibaba/mobileim/channel/service/SOManager] 
[INFO]   Method      = [_loadFile()Z] 
[INFO]   Exception   = [java.lang.NullPointerException] (null) 
[INFO] java.lang.NullPointerException) 

我们知道ProGuard运行结束后,会输出以下文件: 
dump.txt 描述.apk文件中所有类文件间的内部结构 
mapping.txt 列出了原始的类,方法和字段名与混淆后代码间的映射。这个文件很重要,当你从release版本中收到一个bug报告时,可以用它来翻译被混淆的代码。 
seeds.txt 列出了未被混淆的类和成员 
usage.txt 列出了从.apk中删除的代码 

查看我们的seeds.txt: 
com.alibaba.mobileim.channel.service.SOManager: boolean _loadFile() 
说明,SOManager类的_loadFile()方法是没有被混淆掉的。 

2.看上去是处理SOManager类的_loadFile()方法的第536条指令的时候出的问题,反编译SOManager.class: 
   507: invokevirtual #112; //Method java/io/IOException.getMessage:()Ljava/lang/String; 
   510: invokevirtual #15; //Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 
   513: ldc #110; //String   
   515: invokevirtual #15; //Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 
   518: getstatic #41; //Field logInfo:Ljava/lang/StringBuffer; 
   521: invokevirtual #100; //Method java/lang/StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder; 
   524: invokevirtual #19; //Method java/lang/StringBuilder.toString:()Ljava/lang/String; 
   527: invokespecial #55; //Method java/lang/UnsatisfiedLinkError."<init>":(Ljava/lang/String;)V 
   530: athrow 
   531: astore 6 
   533: jsr 539 
   536: aload 6 
   538: athrow 
   539: astore 7 
   541: aload 4 
   543: ifnull 574 
可以看到,536行的字节码是: 
   536: aload 6 
就是处理这条指令的时候抛出的空指针。至此,基本可以断定问题出在字节码上! 

3.那可能是什么原因导致的呢? 
(1)是不是sdk使用的javac的版本不对,导致proguard无法处理里面的字节码,但是maven库里面的jar包不是开发者手动上传的,因此排除。 
(2)是不是proguard的版本太低?从官网的1.0一直试到了最新的4.11,还是不行。 

没办法继续看官网山的文档,在http://proguard.sourceforge.net/#manual/usage.html页面,看到Optimization Options这一章节的前三个选项: 

-dontoptimize 
Specifies not to optimize the input class files. By default, optimization is enabled; all methods are optimized at a bytecode level. 
不优化输入的class文件。默认情况下是启用优化的,对所有的方法都会在字节码级别进行优化! 

-optimizations optimization_filter 
Specifies the optimizations to be enabled and disabled, at a more fine-grained level. Only applicable when optimizing. This is an expert option. 
在细粒度级别设置启用和禁用的优化选项,只有当启用优化的时候才可用。这是一个专家级选项! 

-optimizationpasses n 
Specifies the number of optimization passes to be performed. By default, a single pass is performed. Multiple passes may result in further improvements.  
If no improvements are found after an optimization pass, the optimization is ended. Only applicable when optimizing. 
这个看源码貌似是根据optimizationpasses做了一个循环,进行多次优化: 
proguard.ant.ProGuardTask.java: 
if (configuration.optimize){ 
for (int optimizationPass = 0;optimizationPass < configuration.optimizationPasses;optimizationPass++){ 
if (!optimize()){ 
   // Stop optimizing if the code doesn't improve any further. 
   break; 

// Shrink again, if we may. 
if (configuration.shrink){ 
   // Don't print any usage this time around. 
   configuration.printUsage       = null; 
   configuration.whyAreYouKeeping = null; 
   shrink(); 




也就是说Optimization Options会对字节码做修改,我们的proguard.cfg的一开头就是: 
#--------------- 
# 混淆优化 
#--------------- 
-optimizationpasses 7 

也就是说我们是开启了混淆优化的,这就说会对字节码做修改,极有可能是这个原因!换用-dontoptimize试一下,果然可以了! 

4.具体proguard对字节码会做那些优化呢? 
看这个文档http://proguard.sourceforge.net/#FAQ.html: 

What kind of optimizations does ProGuard support? 
Apart from removing unused classes, fields, and methods in the shrinking step, ProGuard can also perform optimizations at the bytecode level, inside methods. Thanks to techniques like control flow analysis, data flow analysis, partial evaluation, and liveness analysis, ProGuard can: 
Evaluate constant expressions. 
Remove unnecessary field accesses and method calls. 
Remove unnecessary branches. 
Remove unnecessary comparisons and instanceof tests. 
Remove unused code blocks. 
Merge identical code blocks. 
Reduce variable allocation. 
Remove write-only fields and unused method parameters. 
Inline constant fields, method parameters, and return values. 
Inline methods that are short or only called once. 
Make methods private, static, and final when possible. 
Make classes static and final when possible. 
Replace interfaces that have single implementations. 
Perform over 200 peephole optimizations, like replacing ...*2 by ...<<1. 
Optionally remove logging code. 
The positive effects of these optimizations will depend on your code and on the virtual machine on which the code is executed. Simple virtual machines may benefit more than advanced virtual machines with sophisticated JIT compilers. At the very least, your bytecode may become a bit smaller. 
Some notable optimizations that aren't supported yet: 
Moving constant expressions out of loops. 
Optimizations that require escape analysis. 

真是不看不知道,一看吓一跳!竟然会做这么多种优化! 

然后看到这个页面:http://proguard.sourceforge.net/#manual/limitations.html 

When using ProGuard, you should be aware of a few technical issues, all of which are easily avoided or resolved: 
For best results, ProGuard's optimization algorithms assume that the processed code never intentionally throws NullPointerExceptions or  
ArrayIndexOutOfBoundsExceptions, or even OutOfMemoryErrors or StackOverflowErrors, in order to achieve something useful.  
For instance, it may remove a method call myObject.myMethod() if that call wouldn't have any effect.  
It ignores the possibility that myObject might be null, causing a NullPointerException.  
In some way this is a good thing: optimized code may throw fewer exceptions. Should this entire assumption be false,  
you'll have to switch off optimization using the -dontoptimize option. 

ProGuard's optimization algorithms currently also assume that the processed code never creates busy-waiting loops without at least testing on a volatile field. Again, it may remove such loops. Should this assumption be false, you'll have to switch off optimization using the -dontoptimize option. 
If an input jar and a library jar contain classes in the same package, the obfuscated output jar may contain class names that overlap with class names in the library jar. This is most likely if the library jar has been obfuscated before, as it will then probably contain classes named 'a', 'b', etc. Packages should therefore never be split across input jars and library jars. 
When obfuscating, ProGuard writes out class files named "a.class", "b.class", etc. If a package contains a large number of classes, ProGuard may also write out "aux.class". Inconveniently, Windows refuses to create files with this reserved name (among a few other names). It's generally better to write the output to a jar, in order to avoid such problems. 

大概意思是说,有的优化可能会导致空指针,就像我们的例子中,就是抛出了空指针! 

然后在http://proguard.sourceforge.net/index.html#manual/examples.html这个页面,看到一行: 

-optimizations !code/simplification/arithmetic 

The -optimizations option disables some arithmetic simplifications that Dalvik 1.0 and 1.5 can't handle.  
Note that the Dalvik VM also can't handle aggressive overloading (of static fields). 

也就是说有的优化Dalvik是不支持的,所以要排除掉!所以,很可能是有些优化我们没有排除掉! 

看一下我们的配置文件里面设置的优化选项: 

# ----优化选项---- 
-optimizations !code/simplification/arithmetic,!field/*,!class/merging/* 

这几个选项具体是干嘛的? 

参考:https://groups.google.com/forum/#!topic/android-developers/v_o0AQ7o8gI 

#1: !code/simplification/arithmetic: This removes things like turning  
"3 + 3" into "6".  A shame, but understandable, because there are much  
more complicated optimizations to the byte code that Dalvik doesn't  
handle well.  This one is completely understood.  

#2: !field/*: This refers to the following:  
field/removal/writeonly - Removes write-only fields.  
field/marking/private - Marks fields as private, whenever possible.  
field/propagation/value - Propagates the values of fields across  
methods.  

#3: !class/merging/*: This disables merging two or more classes  
horizontally or vertically (in the same class hierarchy).  

那么,具体有多少种可以使用的优化选项呢?看这里:http://stuff.mit.edu/afs/sipb/project/android/sdk/android-sdk-linux/tools/proguard/docs/index.html#manual/optimizations.html 

http://proguard.sourceforge.net->manual-> ref card->-optimizations optimization_filter 

Optimizations 
The optimization step of ProGuard can be switched off with the -dontoptimize option. For more fine-grained control over individual optimizations, experts can use the -optimizations option, with a filter based on the optimization names listed below. The filter works like any filter in ProGuard. 
The following wildcards are supported: 
? matches any single character in an optimization name. 
* matches any part of an optimization name. 
An optimization that is preceded by an exclamation mark '!' is excluded from further attempts to match with subsequent optimization names in the filter. Make sure to specify filters correctly, since they are not checked for potential typos. 
For example, "code/simplification/variable,code/simplification/arithmetic" only performs the two specified peephole optimizations. 
For example, "!method/propagation/*" performs all optimizations, except the ones that propagate values between methods. 
For example, "!code/simplification/advanced,code/simplification/*" only performs all peephole optimizations. 
Some optimizations necessarily imply other optimizations. These are then indicated. Note that the list is likely to change over time, as optimizations are added and reorganized. 
class/marking/final 
Marks classes as final, whenever possible. 
class/unboxing/enum 
Simplifies enum types to integer constants, whenever possible. 
class/merging/vertical 
Merges classes vertically in the class hierarchy, whenever possible. 
class/merging/horizontal 
Merges classes horizontally in the class hierarchy, whenever possible. (? code/removal/advanced) 
field/removal/writeonly 
Removes write-only fields. 
field/marking/private 
Marks fields as private, whenever possible.(? code/simplification/advanced) 
field/propagation/value 
Propagates the values of fields across methods. 
method/marking/private 
Marks methods as private, whenever possible (devirtualization).(? code/removal/advanced) 
method/marking/static 
Marks methods as static, whenever possible (devirtualization). 
method/marking/final 
Marks methods as final, whenever possible.(? code/removal/advanced) 
method/removal/parameter 
Removes unused method parameters.(? code/simplification/advanced) 
method/propagation/parameter 
Propagates the values of method parameters from method invocations to the invoked methods.(? code/simplification/advanced) 
method/propagation/returnvalue 
Propagates the values of method return values from methods to their invocations. 
method/inlining/short 
Inlines short methods. 
method/inlining/unique 
Inlines methods that are only called once. 
method/inlining/tailrecursion 
Simplifies tail recursion calls, whenever possible. 
code/merging 
Merges identical blocks of code by modifying branch targets. 
code/simplification/variable 
Performs peephole optimizations for variable loading and storing. 
code/simplification/arithmetic 
Performs peephole optimizations for arithmetic instructions. 
code/simplification/cast 
Performs peephole optimizations for casting operations. 
code/simplification/field 
Performs peephole optimizations for field loading and storing.(? code/removal/simple) 
code/simplification/branch 
Performs peephole optimizations for branch instructions. 
code/simplification/string 
Performs peephole optimizations for constant strings.(best used with code/removal/advanced) 
code/simplification/advanced 
Simplifies code based on control flow analysis and data flow analysis.(? code/removal/exception) 
code/removal/advanced 
Removes dead code based on control flow analysis and data flow analysis.(? code/removal/exception) 
code/removal/simple 
Removes dead code based on a simple control flow analysis. 
code/removal/variable 
Removes unused variables from the local variable frame. 
code/removal/exception 
Removes exceptions with empty try blocks. 
code/allocation/variable 
Optimizes variable allocation on the local variable frame. 


对应的源码proguard.optimize.Optimizer.java: 
private static final String CLASS_MARKING_FINAL            = "class/marking/final"; 
    private static final String CLASS_UNBOXING_ENUM            = "class/unboxing/enum"; 
    private static final String CLASS_MERGING_VERTICAL         = "class/merging/vertical"; 
    private static final String CLASS_MERGING_HORIZONTAL       = "class/merging/horizontal"; 
    private static final String FIELD_REMOVAL_WRITEONLY        = "field/removal/writeonly"; 
    private static final String FIELD_MARKING_PRIVATE          = "field/marking/private"; 
    private static final String FIELD_PROPAGATION_VALUE        = "field/propagation/value"; 
    private static final String METHOD_MARKING_PRIVATE         = "method/marking/private"; 
    private static final String METHOD_MARKING_STATIC          = "method/marking/static"; 
    private static final String METHOD_MARKING_FINAL           = "method/marking/final"; 
    private static final String METHOD_REMOVAL_PARAMETER       = "method/removal/parameter"; 
    private static final String METHOD_PROPAGATION_PARAMETER   = "method/propagation/parameter"; 
    private static final String METHOD_PROPAGATION_RETURNVALUE = "method/propagation/returnvalue"; 
    private static final String METHOD_INLINING_SHORT          = "method/inlining/short"; 
    private static final String METHOD_INLINING_UNIQUE         = "method/inlining/unique"; 
    private static final String METHOD_INLINING_TAILRECURSION  = "method/inlining/tailrecursion"; 
    private static final String CODE_MERGING                   = "code/merging"; 
    private static final String CODE_SIMPLIFICATION_VARIABLE   = "code/simplification/variable"; 
    private static final String CODE_SIMPLIFICATION_ARITHMETIC = "code/simplification/arithmetic"; 
    private static final String CODE_SIMPLIFICATION_CAST       = "code/simplification/cast"; 
    private static final String CODE_SIMPLIFICATION_FIELD      = "code/simplification/field"; 
    private static final String CODE_SIMPLIFICATION_BRANCH     = "code/simplification/branch"; 
    private static final String CODE_SIMPLIFICATION_STRING     = "code/simplification/string"; 
    private static final String CODE_SIMPLIFICATION_ADVANCED   = "code/simplification/advanced"; 
    private static final String CODE_REMOVAL_ADVANCED          = "code/removal/advanced"; 
    private static final String CODE_REMOVAL_SIMPLE            = "code/removal/simple"; 
    private static final String CODE_REMOVAL_VARIABLE          = "code/removal/variable"; 
    private static final String CODE_REMOVAL_EXCEPTION         = "code/removal/exception"; 
    private static final String CODE_ALLOCATION_VARIABLE       = "code/allocation/variable"; 

那肯定是这里面的有些优化选项导致了无法打包这个问题! 

很不幸的是,我把所有的优化选项全部排除掉以后,还是无法打包! 

所以,只能怀疑我们项目的proguard的版本和上面列出的优化选项不匹配!更换最新的proguard4.11的jar包,然后挨个选项的试,最终试出来了: 

-optimizations !code/simplification/*,!field/*,!class/merging/*,!method/removal/parameter,!method/propagation/*,!method/marking/static,!class/unboxing/enum,!code/removal/advanced,!code/allocation/variable 

总结一下: 
(1)ProGuard不光能做混淆,还能做代码优化。 
(2)ProGuard不是专门为android的Dalvik使用的。 
(3)就算是Sun的Hotspot JVM也会有不支持的优化选项。 
(4)不知道未来哪个优化选项会导致打包通不过,而我们主要是使用ProGuard的混淆功能,干脆-dontoptimize,一劳永逸!)

 

这篇关于Android项目打包开启proguard的混淆优化带来的问题的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/944795

相关文章

Oracle查询优化之高效实现仅查询前10条记录的方法与实践

《Oracle查询优化之高效实现仅查询前10条记录的方法与实践》:本文主要介绍Oracle查询优化之高效实现仅查询前10条记录的相关资料,包括使用ROWNUM、ROW_NUMBER()函数、FET... 目录1. 使用 ROWNUM 查询2. 使用 ROW_NUMBER() 函数3. 使用 FETCH FI

关于@MapperScan和@ComponentScan的使用问题

《关于@MapperScan和@ComponentScan的使用问题》文章介绍了在使用`@MapperScan`和`@ComponentScan`时可能会遇到的包扫描冲突问题,并提供了解决方法,同时,... 目录@MapperScan和@ComponentScan的使用问题报错如下原因解决办法课外拓展总结@

MybatisGenerator文件生成不出对应文件的问题

《MybatisGenerator文件生成不出对应文件的问题》本文介绍了使用MybatisGenerator生成文件时遇到的问题及解决方法,主要步骤包括检查目标表是否存在、是否能连接到数据库、配置生成... 目录MyBATisGenerator 文件生成不出对应文件先在项目结构里引入“targetProje

C#使用HttpClient进行Post请求出现超时问题的解决及优化

《C#使用HttpClient进行Post请求出现超时问题的解决及优化》最近我的控制台程序发现有时候总是出现请求超时等问题,通常好几分钟最多只有3-4个请求,在使用apipost发现并发10个5分钟也... 目录优化结论单例HttpClient连接池耗尽和并发并发异步最终优化后优化结论我直接上优化结论吧,

Java内存泄漏问题的排查、优化与最佳实践

《Java内存泄漏问题的排查、优化与最佳实践》在Java开发中,内存泄漏是一个常见且令人头疼的问题,内存泄漏指的是程序在运行过程中,已经不再使用的对象没有被及时释放,从而导致内存占用不断增加,最终... 目录引言1. 什么是内存泄漏?常见的内存泄漏情况2. 如何排查 Java 中的内存泄漏?2.1 使用 J

numpy求解线性代数相关问题

《numpy求解线性代数相关问题》本文主要介绍了numpy求解线性代数相关问题,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 在numpy中有numpy.array类型和numpy.mat类型,前者是数组类型,后者是矩阵类型。数组

解决systemctl reload nginx重启Nginx服务报错:Job for nginx.service invalid问题

《解决systemctlreloadnginx重启Nginx服务报错:Jobfornginx.serviceinvalid问题》文章描述了通过`systemctlstatusnginx.se... 目录systemctl reload nginx重启Nginx服务报错:Job for nginx.javas

Redis缓存问题与缓存更新机制详解

《Redis缓存问题与缓存更新机制详解》本文主要介绍了缓存问题及其解决方案,包括缓存穿透、缓存击穿、缓存雪崩等问题的成因以及相应的预防和解决方法,同时,还详细探讨了缓存更新机制,包括不同情况下的缓存更... 目录一、缓存问题1.1 缓存穿透1.1.1 问题来源1.1.2 解决方案1.2 缓存击穿1.2.1

Python 中 requests 与 aiohttp 在实际项目中的选择策略详解

《Python中requests与aiohttp在实际项目中的选择策略详解》本文主要介绍了Python爬虫开发中常用的两个库requests和aiohttp的使用方法及其区别,通过实际项目案... 目录一、requests 库二、aiohttp 库三、requests 和 aiohttp 的比较四、requ

SpringBoot项目启动后自动加载系统配置的多种实现方式

《SpringBoot项目启动后自动加载系统配置的多种实现方式》:本文主要介绍SpringBoot项目启动后自动加载系统配置的多种实现方式,并通过代码示例讲解的非常详细,对大家的学习或工作有一定的... 目录1. 使用 CommandLineRunner实现方式:2. 使用 ApplicationRunne