Question

我正在尝试使用dexlib2检测分支。但是，由于某些指令仅允许使用本地寄存器v0-v15，而我的仪器需要一个额外的寄存器，因此有必要保存v0的值，将v0用于实际仪器，并在还原v0的原始值后使用。这是通过两条移动指令来完成的，例如

move vNew, v0  
... // actual instrumentation code using v0  
move v0, vNew

但是，必须使用正确的移动指令。特别是，我们需要根据v0的类型（其内容）来区分move，move-wide和move-object。幸运的是，dexlib2提供了一些MethodAnalyzer，可以执行这种分析，但是MethodAnalyzer的调用方式如下：

analyzer = new MethodAnalyzer(new ClassPath(Lists.newArrayList(new DexClassProvider(dexFile)),true, ClassPath.NOT_ART), method, null, true);

对于某些类（例如java / lang / StringBuilder）失败。例如，产生以下堆栈跟踪：

org.jf.dexlib2.analysis.UnresolvedClassException: Could not resolve class Ljava/lang/StringBuilder;
    at org.jf.dexlib2.analysis.ClassPath.getClassDef(ClassPath.java:155)
    at org.jf.dexlib2.analysis.ClassProto$1.get(ClassProto.java:93)
    at org.jf.dexlib2.analysis.ClassProto$1.get(ClassProto.java:91)
    at com.google.common.base.Suppliers$MemoizingSupplier.get(Suppliers.java:125)
    at org.jf.dexlib2.analysis.ClassProto.getClassDef(ClassProto.java:87)
    at org.jf.dexlib2.analysis.ClassProto.getSuperclass(ClassProto.java:326)
    at org.jf.dexlib2.analysis.MethodAnalyzer.normalizeMethodReference(MethodAnalyzer.java:1987)
    at org.jf.dexlib2.analysis.MethodAnalyzer.analyzeInvokeVirtual(MethodAnalyzer.java:1756)
    at org.jf.dexlib2.analysis.MethodAnalyzer.analyzeInstruction(MethodAnalyzer.java:798)
    at org.jf.dexlib2.analysis.MethodAnalyzer.analyze(MethodAnalyzer.java:201)
    at org.jf.dexlib2.analysis.MethodAnalyzer.<init>(MethodAnalyzer.java:131)
    at BranchCoverage.main(BranchCoverage.java:578)

更新：

MethodAnalyzer似乎现在可以工作。但是，我的仪器仍然以一些验证错误告终。特别是，将产生以下堆栈跟踪：

12-30 09:45:55.415 3486-3486/ws.xsoh.etar E/AndroidRuntime: FATAL EXCEPTION: main
                                                            Process: ws.xsoh.etar, PID: 3486
                                                            java.lang.VerifyError: Verifier rejected class com.android.calendar.AllInOneActivity: void com.android.calendar.AllInOneActivity.setMainPane(android.app.FragmentTransaction, int, int, long, boolean) failed to verify: void com.android.calendar.AllInOneActivity.setMainPane(android.app.FragmentTransaction, int, int, long, boolean): [0xA9] Rejecting invocation, long or double parameter at index 1 is not a pair: 15 + 0.
                                                             void com.android.calendar.AllInOneActivity.updateSecondaryTitleFields(long) failed to verify: void com.android.calendar.AllInOneActivity.updateSecondaryTitleFields(long): [0x1D3] Expected category1 register type not 'Long (Low Half)' (declaration of 'com.android.calendar.AllInOneActivity' appears in /data/app/ws.xsoh.etar-1/base.apk)
                                                                at java.lang.Class.newInstance(Native Method)
                                                                at android.app.Instrumentation.newActivity(Instrumentation.java:1078)
                                                                at android.app.ActivityThread.performLaunchActivity(ActivityThread.java:2557)
                                                                at android.app.ActivityThread.handleLaunchActivity(ActivityThread.java:2726)
                                                                at android.app.ActivityThread.-wrap12(ActivityThread.java)
                                                                at android.app.ActivityThread$H.handleMessage(ActivityThread.java:1477)
                                                                at android.os.Handler.dispatchMessage(Handler.java:102)
                                                                at android.os.Looper.loop(Looper.java:154)
                                                                at android.app.ActivityThread.main(ActivityThread.java:6119)
                                                                at java.lang.reflect.Method.invoke(Native Method)
                                                                at com.android.internal.os.ZygoteInit$MethodAndArgsCaller.run(ZygoteInit.java:886)
                                                                at com.android.internal.os.ZygoteInit.main(ZygoteInit.java:776)

似乎我仍在使用错误的移动指令。我正在分配

移动到BOOLEAN，CHAR，INTEGER，FLOAT，SHORT
移至DOUBLE，LONG
将对象移动到其余类型。

此作业正确吗？哪种移动指令适用于UNINIT，CONFLICTED，UNINIT_THIS等？

Answer 1

MethodAnalyzer有2种操作模式-在一种情况下，您为它提供了来自实际设备的完整类路径，并且它使用该信息来计算完整寄存器类型。

在另一种模式下，它可以在没有完整类路径信息的情况下运行，并且基本上假定任何类型未知的Reference对象都是Object的子类。在这种模式下，您不一定会获得100％准确的引用类型信息，但是它仍然应该能够准确地跟踪寄存器类型-即普通基元，长基元与引用类型。

尽管有些操作确实需要完整的类路径，并且规范化方法引用是其中之一。如果将false传递给normalizeVirtualMethods构造函数中的MethodAnalyzer参数，则在没有完整类路径的情况下，它应该有更好的工作机会。

为了使用完整的类路径运行，必须从设备中拉出/ system / framework目录。然后，您创建一个指向该目录的ClassPathResolver对象。 ClassPathResolver加载所需的各种框架文件，并生成一组ClassPathProvider，用于创建ClassPath对象，该对象将传递给MethodAnalyzer。

大致：

classPathResolver = new ClassPathResolver(new ArrayList<>("/tmp/framework"), new ArrayList<>(), dexFileToBeAnalyzed);
ClassPath classPath = new ClassPath(classPathResolver.getResolvedClassProviders);
MethodAnalyzer methodAnalyzer = new MethodAnalyzer(classPath, methodToAnalyze, null, false);

dexlib2-Methodanalyzer导致某些类的UnresolvedClassException

1 个答案: