Examples of org.jf.dexlib2.analysis.MethodAnalyzer

org.jf.dexlib2.builder.instruction.BuilderInstruction10t
The MethodAnalyzer performs several functions. It "analyzes" the instructions and infers the register types for each register, it can deodex odexed instructions, and it can verify the bytecode. The analysis and verification are done in two separate passes, because the analysis has to process instructions multiple times in some cases, and there's no need to perform the verification multiple times, so we wait until the method is fully analyzed and then verify it. Before calling the analyze() method, you must have initialized the ClassPath by calling ClassPath.InitializeClassPath


        List<Task> switchPayloadTasks = Lists.newArrayList();
        index = 0;
        for (final Instruction instruction: methodImplementation.getInstructions()) {
            final MethodLocation location = instructionList.get(index);
            final Opcode opcode = instruction.getOpcode();
            if (opcode == Opcode.PACKED_SWITCH_PAYLOAD || opcode == Opcode.SPARSE_SWITCH_PAYLOAD) {
                switchPayloadTasks.add(new Task() {
                    @Override public void perform() {
                        convertAndSetInstruction(location, codeAddressToIndex, instruction);
                    }

View Full Code Here

            opcode == Opcode.THROW_VERIFICATION_ERROR;
    }


    @Override
    public boolean writeTo(IndentingWriter writer) throws IOException {
        Opcode opcode = instruction.getOpcode();
        String verificationErrorName = null;
        String referenceString = null;


        boolean commentOutInstruction = false;


        if (instruction instanceof Instruction20bc) {
            int verificationError = ((Instruction20bc)instruction).getVerificationError();
            verificationErrorName = VerificationError.getVerificationErrorName(verificationError);
            if (verificationErrorName == null) {
                writer.write("#was invalid verification error type: ");
                writer.printSignedIntAsDec(verificationError);
                writer.write("\n");
                verificationErrorName = "generic-error";
            }
        }


        if (instruction instanceof ReferenceInstruction) {
            ReferenceInstruction referenceInstruction = (ReferenceInstruction)instruction;
            try {
                Reference reference = referenceInstruction.getReference();


                String classContext = null;
                if (methodDef.classDef.options.useImplicitReferences) {
                    classContext = methodDef.method.getDefiningClass();
                }


                referenceString = ReferenceUtil.getReferenceString(reference, classContext);
                assert referenceString != null;
            } catch (InvalidItemIndex ex) {
                writer.write("#");
                writer.write(ex.getMessage());
                writer.write("\n");
                commentOutInstruction = true;


                referenceString = String.format("%s@%d",
                    ReferenceType.toString(referenceInstruction.getReferenceType()),
                    ex.getInvalidIndex());
            } catch (ReferenceType.InvalidReferenceTypeException ex) {
                writer.write("#invalid reference type: ");
                writer.printSignedIntAsDec(ex.getReferenceType());
                commentOutInstruction = true;


                referenceString = "invalid_reference";
            }
        }


        if (instruction instanceof Instruction31t) {
            Opcode payloadOpcode;
            switch (instruction.getOpcode()) {
                case PACKED_SWITCH:
                    payloadOpcode = Opcode.PACKED_SWITCH_PAYLOAD;
                    break;
                case SPARSE_SWITCH:

View Full Code Here

    public LabelMethodItem getLabel() {
        return label;
    }


    private String getLabelPrefix() {
        Opcode opcode = instruction.getOpcode();
        switch (opcode.format) {
            case Format10t:
            case Format20t:
            case Format30t:
                return "goto_";

View Full Code Here

            currentCodeAddress += instruction.getCodeUnits();
        }
    }


    private void addAnalyzedInstructionMethodItems(List<MethodItem> methodItems) {
        MethodAnalyzer methodAnalyzer = new MethodAnalyzer(classDef.options.classPath, method,
                classDef.options.inlineResolver);


        AnalysisException analysisException = methodAnalyzer.getAnalysisException();
        if (analysisException != null) {
            // TODO: need to keep track of whether any errors occurred, so we can exit with a non-zero result
            methodItems.add(new CommentMethodItem(
                    String.format("AnalysisException: %s", analysisException.getMessage()),
                    analysisException.codeAddress, Integer.MIN_VALUE));
            analysisException.printStackTrace(System.err);
        }


        List<AnalyzedInstruction> instructions = methodAnalyzer.getAnalyzedInstructions();


        int currentCodeAddress = 0;
        for (int i=0; i<instructions.size(); i++) {
            AnalyzedInstruction instruction = instructions.get(i);

View Full Code Here

        };
    }


    public static TypeReference rewriteTypeReference(@Nonnull final Rewriter<String> typeRewriter,
                                                     @Nonnull final TypeReference typeReference) {
        return new BaseTypeReference() {
            @Nonnull @Override public String getType() {
                return typeRewriter.rewrite(typeReference.getType());
            }
        };
    }

View Full Code Here

        final String exceptionType = getExceptionType();
        if (exceptionType == null) {
            return null;
        }


        return new BaseTypeReference() {
            @Nonnull @Override public String getType() {
                return exceptionType;
            }
        };
    }

View Full Code Here

                            }
                        }
                    }


                    if (needsFix) {
                        MutableMethodImplementation mutableMethodImplementation =
                                classSection.makeMutableMethodImplementation(methodKey);
                        fixInstructions(mutableMethodImplementation);


                        instructions = mutableMethodImplementation.getInstructions();
                        tryBlocks = mutableMethodImplementation.getTryBlocks();
                        debugItems = mutableMethodImplementation.getDebugItems();
                    }
                }


                int debugItemOffset = writeDebugItem(offsetWriter, debugWriter,
                        classSection.getParameterNames(methodKey), debugItems);

View Full Code Here

    @Test
    public void testFixOffsets() {
        MethodImplementationBuilder builder = new MethodImplementationBuilder(1);


        Label firstGotoTarget = builder.getLabel("firstGotoTarget");
        builder.addInstruction(new BuilderInstruction10t(Opcode.GOTO, firstGotoTarget));


        builder.addLineNumber(1);


        for (int i=0; i<250; i++) {
            builder.addInstruction(new BuilderInstruction10x(Opcode.NOP));
        }


        builder.addLabel("tryStart");


        builder.addLineNumber(2);


        for (int i=0; i<250; i++) {
            builder.addInstruction(new BuilderInstruction10x(Opcode.NOP));
        }


        builder.addLineNumber(3);


        Label secondGotoTarget = builder.getLabel("secondGotoTarget");
        builder.addInstruction(new BuilderInstruction10t(Opcode.GOTO, secondGotoTarget));




        builder.addLineNumber(4);
        builder.addLabel("handler");

View Full Code Here

    @Test
    public void testFixGotoToGoto16() {
        MethodImplementationBuilder builder = new MethodImplementationBuilder(1);


        Label gotoTarget = builder.getLabel("gotoTarget");
        builder.addInstruction(new BuilderInstruction10t(Opcode.GOTO, gotoTarget));


        for (int i=0; i<500; i++) {
            builder.addInstruction(new BuilderInstruction10x(Opcode.NOP));
        }

View Full Code Here

    @Test
    public void testFixGotoToGoto32() {
        MethodImplementationBuilder builder = new MethodImplementationBuilder(1);


        Label gotoTarget = builder.getLabel("gotoTarget");
        builder.addInstruction(new BuilderInstruction10t(Opcode.GOTO, gotoTarget));


        for (int i=0; i<70000; i++) {
            builder.addInstruction(new BuilderInstruction10x(Opcode.NOP));
        }

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of org.jf.dexlib2.analysis.MethodAnalyzer

ImplicitReferenceTest

org.jf.baksmali.Adaptors.ClassDefinition

org.jf.baksmali.Adaptors.Format.InstructionMethodItem

org.jf.baksmali.Adaptors.MethodDefinition

org.jf.baksmali.Adaptors.PreInstructionRegisterInfoMethodItem

org.jf.baksmali.AnalysisTest

org.jf.baksmali.baksmali

org.jf.baksmali.dump

org.jf.baksmali.ImplicitReferenceTest

org.jf.dexlib2.AccessorTest

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.