Search in sources :

Example 1 with IF_ICMPLE

use of org.objectweb.asm.Opcodes.IF_ICMPLE in project sonar-java by SonarSource.

the class BytecodeEGWalker method branchingState.

@VisibleForTesting
ProgramState branchingState(Instruction terminator, ProgramState programState) {
    ProgramState.Pop pop;
    ProgramState ps;
    List<ProgramState.SymbolicValueSymbol> symbolicValueSymbols;
    switch(terminator.opcode) {
        case IFEQ:
        case IFNE:
        case IFLT:
        case IFGE:
        case IFGT:
        case IFLE:
            pop = programState.unstackValue(1);
            SymbolicValue svZero = new SymbolicValue();
            symbolicValueSymbols = ImmutableList.of(new ProgramState.SymbolicValueSymbol(svZero, null), pop.valuesAndSymbols.get(0));
            List<ProgramState> programStates = svZero.setConstraint(pop.state, DivisionByZeroCheck.ZeroConstraint.ZERO).stream().flatMap(s -> svZero.setConstraint(s, BooleanConstraint.FALSE).stream()).collect(Collectors.toList());
            Preconditions.checkState(programStates.size() == 1);
            ps = programStates.get(0);
            break;
        case IF_ICMPEQ:
        case IF_ICMPNE:
        case IF_ICMPLT:
        case IF_ICMPGE:
        case IF_ICMPGT:
        case IF_ICMPLE:
        case IF_ACMPEQ:
        case IF_ACMPNE:
            pop = programState.unstackValue(2);
            symbolicValueSymbols = pop.valuesAndSymbols;
            ps = pop.state;
            break;
        case IFNULL:
        case IFNONNULL:
            pop = programState.unstackValue(1);
            symbolicValueSymbols = ImmutableList.of(new ProgramState.SymbolicValueSymbol(SymbolicValue.NULL_LITERAL, null), pop.valuesAndSymbols.get(0));
            ps = pop.state;
            break;
        default:
            throw new IllegalStateException("Unexpected terminator " + terminator);
    }
    return ps.stackValue(constraintManager.createBinarySymbolicValue(terminator, symbolicValueSymbols));
}
Also used : ASTORE(org.objectweb.asm.Opcodes.ASTORE) ATHROW(org.objectweb.asm.Opcodes.ATHROW) DMUL(org.objectweb.asm.Opcodes.DMUL) F2D(org.objectweb.asm.Opcodes.F2D) LSHR(org.objectweb.asm.Opcodes.LSHR) IF_ICMPEQ(org.objectweb.asm.Opcodes.IF_ICMPEQ) F2I(org.objectweb.asm.Opcodes.F2I) IINC(org.objectweb.asm.Opcodes.IINC) IFGT(org.objectweb.asm.Opcodes.IFGT) LSHL(org.objectweb.asm.Opcodes.LSHL) IAND(org.objectweb.asm.Opcodes.IAND) DCMPL(org.objectweb.asm.Opcodes.DCMPL) LSTORE(org.objectweb.asm.Opcodes.LSTORE) TypedConstraint(org.sonar.java.se.constraint.TypedConstraint) DCMPG(org.objectweb.asm.Opcodes.DCMPG) IFNULL(org.objectweb.asm.Opcodes.IFNULL) FLOAD(org.objectweb.asm.Opcodes.FLOAD) INSTANCEOF(org.objectweb.asm.Opcodes.INSTANCEOF) IALOAD(org.objectweb.asm.Opcodes.IALOAD) DUP2_X2(org.objectweb.asm.Opcodes.DUP2_X2) DUP2_X1(org.objectweb.asm.Opcodes.DUP2_X1) PUTFIELD(org.objectweb.asm.Opcodes.PUTFIELD) IFEQ(org.objectweb.asm.Opcodes.IFEQ) Lists(com.google.common.collect.Lists) INVOKESTATIC(org.objectweb.asm.Opcodes.INVOKESTATIC) ACONST_NULL(org.objectweb.asm.Opcodes.ACONST_NULL) MethodBehavior(org.sonar.java.se.xproc.MethodBehavior) DALOAD(org.objectweb.asm.Opcodes.DALOAD) INEG(org.objectweb.asm.Opcodes.INEG) MONITORENTER(org.objectweb.asm.Opcodes.MONITORENTER) TABLESWITCH(org.objectweb.asm.Opcodes.TABLESWITCH) ICONST_5(org.objectweb.asm.Opcodes.ICONST_5) IMUL(org.objectweb.asm.Opcodes.IMUL) LOR(org.objectweb.asm.Opcodes.LOR) DASTORE(org.objectweb.asm.Opcodes.DASTORE) ICONST_4(org.objectweb.asm.Opcodes.ICONST_4) Opcodes(org.objectweb.asm.Opcodes) ICONST_3(org.objectweb.asm.Opcodes.ICONST_3) ICONST_2(org.objectweb.asm.Opcodes.ICONST_2) IFGE(org.objectweb.asm.Opcodes.IFGE) ICONST_1(org.objectweb.asm.Opcodes.ICONST_1) ICONST_0(org.objectweb.asm.Opcodes.ICONST_0) LADD(org.objectweb.asm.Opcodes.LADD) F2L(org.objectweb.asm.Opcodes.F2L) Printer(org.objectweb.asm.util.Printer) LREM(org.objectweb.asm.Opcodes.LREM) Preconditions(com.google.common.base.Preconditions) INVOKESPECIAL(org.objectweb.asm.Opcodes.INVOKESPECIAL) DNEG(org.objectweb.asm.Opcodes.DNEG) LDIV(org.objectweb.asm.Opcodes.LDIV) LLOAD(org.objectweb.asm.Opcodes.LLOAD) LCMP(org.objectweb.asm.Opcodes.LCMP) IXOR(org.objectweb.asm.Opcodes.IXOR) DSUB(org.objectweb.asm.Opcodes.DSUB) IFLE(org.objectweb.asm.Opcodes.IFLE) Loggers(org.sonar.api.utils.log.Loggers) LASTORE(org.objectweb.asm.Opcodes.LASTORE) FSTORE(org.objectweb.asm.Opcodes.FSTORE) INVOKEVIRTUAL(org.objectweb.asm.Opcodes.INVOKEVIRTUAL) Collectors(java.util.stream.Collectors) GETFIELD(org.objectweb.asm.Opcodes.GETFIELD) FNEG(org.objectweb.asm.Opcodes.FNEG) I2L(org.objectweb.asm.Opcodes.I2L) CASTORE(org.objectweb.asm.Opcodes.CASTORE) Instruction(org.sonar.java.bytecode.cfg.Instruction) GOTO(org.objectweb.asm.Opcodes.GOTO) I2S(org.objectweb.asm.Opcodes.I2S) Constraint(org.sonar.java.se.constraint.Constraint) ARETURN(org.objectweb.asm.Opcodes.ARETURN) IFLT(org.objectweb.asm.Opcodes.IFLT) IUSHR(org.objectweb.asm.Opcodes.IUSHR) Symbols(org.sonar.java.resolve.Symbols) IF_ACMPEQ(org.objectweb.asm.Opcodes.IF_ACMPEQ) LRETURN(org.objectweb.asm.Opcodes.LRETURN) DivisionByZeroCheck(org.sonar.java.se.checks.DivisionByZeroCheck) ConstraintManager(org.sonar.java.se.constraint.ConstraintManager) ImmutableList(com.google.common.collect.ImmutableList) SymbolicValue(org.sonar.java.se.symbolicvalues.SymbolicValue) LinkedList(java.util.LinkedList) BytecodeCFG(org.sonar.java.bytecode.cfg.BytecodeCFG) NOP(org.objectweb.asm.Opcodes.NOP) SquidClassLoader(org.sonar.java.bytecode.loader.SquidClassLoader) MONITOREXIT(org.objectweb.asm.Opcodes.MONITOREXIT) Type(org.sonar.plugins.java.api.semantic.Type) ISUB(org.objectweb.asm.Opcodes.ISUB) ARRAYLENGTH(org.objectweb.asm.Opcodes.ARRAYLENGTH) DUP_X2(org.objectweb.asm.Opcodes.DUP_X2) DUP_X1(org.objectweb.asm.Opcodes.DUP_X1) AASTORE(org.objectweb.asm.Opcodes.AASTORE) SemanticModel(org.sonar.java.resolve.SemanticModel) BALOAD(org.objectweb.asm.Opcodes.BALOAD) PUTSTATIC(org.objectweb.asm.Opcodes.PUTSTATIC) ProgramPoint(org.sonar.java.se.ProgramPoint) CheckForNull(javax.annotation.CheckForNull) LMUL(org.objectweb.asm.Opcodes.LMUL) INVOKEINTERFACE(org.objectweb.asm.Opcodes.INVOKEINTERFACE) BASTORE(org.objectweb.asm.Opcodes.BASTORE) IF_ICMPNE(org.objectweb.asm.Opcodes.IF_ICMPNE) AALOAD(org.objectweb.asm.Opcodes.AALOAD) BooleanConstraint(org.sonar.java.se.constraint.BooleanConstraint) ExceptionUtils(org.sonar.java.se.ExceptionUtils) FCONST_0(org.objectweb.asm.Opcodes.FCONST_0) FCONST_1(org.objectweb.asm.Opcodes.FCONST_1) FCONST_2(org.objectweb.asm.Opcodes.FCONST_2) DCONST_0(org.objectweb.asm.Opcodes.DCONST_0) SIPUSH(org.objectweb.asm.Opcodes.SIPUSH) Set(java.util.Set) IF_ICMPLT(org.objectweb.asm.Opcodes.IF_ICMPLT) DLOAD(org.objectweb.asm.Opcodes.DLOAD) DUP(org.objectweb.asm.Opcodes.DUP) FCMPG(org.objectweb.asm.Opcodes.FCMPG) LAND(org.objectweb.asm.Opcodes.LAND) FCMPL(org.objectweb.asm.Opcodes.FCMPL) LCONST_0(org.objectweb.asm.Opcodes.LCONST_0) SASTORE(org.objectweb.asm.Opcodes.SASTORE) LALOAD(org.objectweb.asm.Opcodes.LALOAD) DCONST_1(org.objectweb.asm.Opcodes.DCONST_1) LCONST_1(org.objectweb.asm.Opcodes.LCONST_1) IOR(org.objectweb.asm.Opcodes.IOR) ObjectConstraint(org.sonar.java.se.constraint.ObjectConstraint) DSTORE(org.objectweb.asm.Opcodes.DSTORE) CALOAD(org.objectweb.asm.Opcodes.CALOAD) FMUL(org.objectweb.asm.Opcodes.FMUL) LONG_OR_DOUBLE(org.sonar.java.bytecode.se.BytecodeEGWalker.StackValueCategoryConstraint.LONG_OR_DOUBLE) I2B(org.objectweb.asm.Opcodes.I2B) IFNE(org.objectweb.asm.Opcodes.IFNE) IREM(org.objectweb.asm.Opcodes.IREM) I2C(org.objectweb.asm.Opcodes.I2C) I2D(org.objectweb.asm.Opcodes.I2D) SWAP(org.objectweb.asm.Opcodes.SWAP) I2F(org.objectweb.asm.Opcodes.I2F) IADD(org.objectweb.asm.Opcodes.IADD) ISTORE(org.objectweb.asm.Opcodes.ISTORE) Pair(org.sonar.java.se.Pair) LOOKUPSWITCH(org.objectweb.asm.Opcodes.LOOKUPSWITCH) IF_ICMPLE(org.objectweb.asm.Opcodes.IF_ICMPLE) INVOKEDYNAMIC(org.objectweb.asm.Opcodes.INVOKEDYNAMIC) LinkedHashSet(java.util.LinkedHashSet) Nullable(javax.annotation.Nullable) Logger(org.sonar.api.utils.log.Logger) IDIV(org.objectweb.asm.Opcodes.IDIV) DREM(org.objectweb.asm.Opcodes.DREM) POP(org.objectweb.asm.Opcodes.POP) SALOAD(org.objectweb.asm.Opcodes.SALOAD) ISHR(org.objectweb.asm.Opcodes.ISHR) NEWARRAY(org.objectweb.asm.Opcodes.NEWARRAY) DADD(org.objectweb.asm.Opcodes.DADD) RelationalSymbolicValue(org.sonar.java.se.symbolicvalues.RelationalSymbolicValue) ICONST_M1(org.objectweb.asm.Opcodes.ICONST_M1) ISHL(org.objectweb.asm.Opcodes.ISHL) BehaviorCache(org.sonar.java.se.xproc.BehaviorCache) LNEG(org.objectweb.asm.Opcodes.LNEG) IRETURN(org.objectweb.asm.Opcodes.IRETURN) DDIV(org.objectweb.asm.Opcodes.DDIV) ALOAD(org.objectweb.asm.Opcodes.ALOAD) FALOAD(org.objectweb.asm.Opcodes.FALOAD) GETSTATIC(org.objectweb.asm.Opcodes.GETSTATIC) LSUB(org.objectweb.asm.Opcodes.LSUB) D2F(org.objectweb.asm.Opcodes.D2F) D2I(org.objectweb.asm.Opcodes.D2I) D2L(org.objectweb.asm.Opcodes.D2L) L2D(org.objectweb.asm.Opcodes.L2D) NEW(org.objectweb.asm.Opcodes.NEW) BytecodeCFGMethodVisitor(org.sonar.java.bytecode.cfg.BytecodeCFGMethodVisitor) MULTIANEWARRAY(org.objectweb.asm.Opcodes.MULTIANEWARRAY) FADD(org.objectweb.asm.Opcodes.FADD) BIPUSH(org.objectweb.asm.Opcodes.BIPUSH) IASTORE(org.objectweb.asm.Opcodes.IASTORE) FREM(org.objectweb.asm.Opcodes.FREM) List(java.util.List) FDIV(org.objectweb.asm.Opcodes.FDIV) DRETURN(org.objectweb.asm.Opcodes.DRETURN) LXOR(org.objectweb.asm.Opcodes.LXOR) FASTORE(org.objectweb.asm.Opcodes.FASTORE) IFNONNULL(org.objectweb.asm.Opcodes.IFNONNULL) FSUB(org.objectweb.asm.Opcodes.FSUB) LUSHR(org.objectweb.asm.Opcodes.LUSHR) IF_ACMPNE(org.objectweb.asm.Opcodes.IF_ACMPNE) ProgramState(org.sonar.java.se.ProgramState) Deque(java.util.Deque) IF_ICMPGT(org.objectweb.asm.Opcodes.IF_ICMPGT) ExplodedGraphWalker(org.sonar.java.se.ExplodedGraphWalker) LDC(org.objectweb.asm.Opcodes.LDC) CHECKCAST(org.objectweb.asm.Opcodes.CHECKCAST) DUP2(org.objectweb.asm.Opcodes.DUP2) ExplodedGraph(org.sonar.java.se.ExplodedGraph) L2F(org.objectweb.asm.Opcodes.L2F) ANEWARRAY(org.objectweb.asm.Opcodes.ANEWARRAY) L2I(org.objectweb.asm.Opcodes.L2I) RETURN(org.objectweb.asm.Opcodes.RETURN) ILOAD(org.objectweb.asm.Opcodes.ILOAD) FRETURN(org.objectweb.asm.Opcodes.FRETURN) VisibleForTesting(com.google.common.annotations.VisibleForTesting) Collections(java.util.Collections) POP2(org.objectweb.asm.Opcodes.POP2) IF_ICMPGE(org.objectweb.asm.Opcodes.IF_ICMPGE) ProgramState(org.sonar.java.se.ProgramState) SymbolicValue(org.sonar.java.se.symbolicvalues.SymbolicValue) RelationalSymbolicValue(org.sonar.java.se.symbolicvalues.RelationalSymbolicValue) VisibleForTesting(com.google.common.annotations.VisibleForTesting)

Aggregations

VisibleForTesting (com.google.common.annotations.VisibleForTesting)1 Preconditions (com.google.common.base.Preconditions)1 ImmutableList (com.google.common.collect.ImmutableList)1 Lists (com.google.common.collect.Lists)1 Collections (java.util.Collections)1 Deque (java.util.Deque)1 LinkedHashSet (java.util.LinkedHashSet)1 LinkedList (java.util.LinkedList)1 List (java.util.List)1 Set (java.util.Set)1 Collectors (java.util.stream.Collectors)1 CheckForNull (javax.annotation.CheckForNull)1 Nullable (javax.annotation.Nullable)1 Opcodes (org.objectweb.asm.Opcodes)1 AALOAD (org.objectweb.asm.Opcodes.AALOAD)1 AASTORE (org.objectweb.asm.Opcodes.AASTORE)1 ACONST_NULL (org.objectweb.asm.Opcodes.ACONST_NULL)1 ALOAD (org.objectweb.asm.Opcodes.ALOAD)1 ANEWARRAY (org.objectweb.asm.Opcodes.ANEWARRAY)1 ARETURN (org.objectweb.asm.Opcodes.ARETURN)1