Java tutorial
/** * Copyright (C) 2010-2016 Gordon Fraser, Andrea Arcuri and EvoSuite * contributors * * This file is part of EvoSuite. * * EvoSuite is free software: you can redistribute it and/or modify it * under the terms of the GNU Lesser General Public License as published * by the Free Software Foundation, either version 3.0 of the License, or * (at your option) any later version. * * EvoSuite is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Lesser Public License for more details. * * You should have received a copy of the GNU Lesser General Public * License along with EvoSuite. If not, see <http://www.gnu.org/licenses/>. */ /** * */ package org.evosuite.instrumentation; import java.util.List; import org.evosuite.instrumentation.testability.BooleanTestabilityTransformation; import org.objectweb.asm.Opcodes; import org.objectweb.asm.Type; import org.objectweb.asm.tree.AbstractInsnNode; import org.objectweb.asm.tree.FieldInsnNode; import org.objectweb.asm.tree.MethodInsnNode; import org.objectweb.asm.tree.VarInsnNode; import org.objectweb.asm.tree.analysis.AnalyzerException; import org.objectweb.asm.tree.analysis.BasicInterpreter; import org.objectweb.asm.tree.analysis.BasicValue; /** * An interpreter that determines which values are real Booleans * * @author Gordon Fraser */ public class BooleanValueInterpreter extends BasicInterpreter { /** Constant <code>BOOLEAN_VALUE</code> */ public final static BasicValue BOOLEAN_VALUE = new BasicValue(Type.BOOLEAN_TYPE); /** Constant <code>BOOLEAN_ARRAY</code> */ public final static BasicValue BOOLEAN_ARRAY = new BasicValue(Type.getType("[Z")); private final boolean isStatic; private final Type[] types; /** * <p>Constructor for BooleanValueInterpreter.</p> * * @param desc a {@link java.lang.String} object. * @param isStatic a boolean. */ public BooleanValueInterpreter(String desc, boolean isStatic) { this.types = Type.getArgumentTypes(desc); this.isStatic = isStatic; } /** {@inheritDoc} */ @Override public BasicValue newValue(final Type type) { if (type == null) { return BasicValue.UNINITIALIZED_VALUE; } switch (type.getSort()) { case Type.BOOLEAN: return BOOLEAN_VALUE; case Type.ARRAY: if (type.getElementType() == Type.BOOLEAN_TYPE) return BOOLEAN_ARRAY; default: return super.newValue(type); } } /* (non-Javadoc) * @see org.objectweb.asm.tree.analysis.BasicInterpreter#unaryOperation(org.objectweb.asm.tree.AbstractInsnNode, org.objectweb.asm.tree.analysis.BasicValue) */ /** {@inheritDoc} */ @Override public BasicValue unaryOperation(AbstractInsnNode insn, BasicValue value) throws AnalyzerException { if (insn.getOpcode() == Opcodes.INSTANCEOF) { return BOOLEAN_VALUE; } else if (insn.getOpcode() == Opcodes.GETFIELD) { FieldInsnNode fieldNode = (FieldInsnNode) insn; if (BooleanTestabilityTransformation.isTransformedField(fieldNode.owner, fieldNode.name, fieldNode.desc)) return BOOLEAN_VALUE; } return super.unaryOperation(insn, value); } /* (non-Javadoc) * @see org.objectweb.asm.tree.analysis.BasicInterpreter#newOperation(org.objectweb.asm.tree.AbstractInsnNode) */ /** {@inheritDoc} */ @Override public BasicValue newOperation(AbstractInsnNode insn) throws AnalyzerException { if (insn.getOpcode() == ICONST_0) { return BOOLEAN_VALUE; } else if (insn.getOpcode() == ICONST_1) { return BOOLEAN_VALUE; } else if (insn.getOpcode() == Opcodes.GETSTATIC) { FieldInsnNode fieldNode = (FieldInsnNode) insn; if (BooleanTestabilityTransformation.isTransformedField(fieldNode.owner, fieldNode.name, fieldNode.desc)) return BOOLEAN_VALUE; } return super.newOperation(insn); } /* (non-Javadoc) * @see org.objectweb.asm.tree.analysis.BasicInterpreter#binaryOperation(org.objectweb.asm.tree.AbstractInsnNode, org.objectweb.asm.tree.analysis.BasicValue, org.objectweb.asm.tree.analysis.BasicValue) */ /** {@inheritDoc} */ @Override public BasicValue binaryOperation(AbstractInsnNode insn, BasicValue value1, BasicValue value2) throws AnalyzerException { switch (insn.getOpcode()) { case IALOAD: case BALOAD: case CALOAD: case SALOAD: if (value1 == BOOLEAN_ARRAY) return BOOLEAN_VALUE; } return super.binaryOperation(insn, value1, value2); } /* (non-Javadoc) * @see org.objectweb.asm.tree.analysis.BasicInterpreter#copyOperation(org.objectweb.asm.tree.AbstractInsnNode, org.objectweb.asm.tree.analysis.BasicValue) */ /** {@inheritDoc} */ @Override public BasicValue copyOperation(AbstractInsnNode insn, BasicValue value) throws AnalyzerException { if (insn.getOpcode() == Opcodes.ILOAD) { VarInsnNode varNode = (VarInsnNode) insn; if (isStatic) { if (varNode.var < types.length) { if (types[varNode.var] == Type.BOOLEAN_TYPE) { return BOOLEAN_VALUE; } } } else { if (varNode.var > 0 && varNode.var - 1 < types.length) { if (types[varNode.var - 1] == Type.BOOLEAN_TYPE) { return BOOLEAN_VALUE; } } } } return super.copyOperation(insn, value); } /* (non-Javadoc) * @see org.objectweb.asm.tree.analysis.BasicInterpreter#naryOperation(org.objectweb.asm.tree.AbstractInsnNode, java.util.List) */ @SuppressWarnings("rawtypes") /** {@inheritDoc} */ @Override public BasicValue naryOperation(AbstractInsnNode insn, List values) throws AnalyzerException { if (insn instanceof MethodInsnNode) { MethodInsnNode mi = (MethodInsnNode) insn; if (Type.getReturnType(BooleanTestabilityTransformation.getOriginalDesc(mi.owner, mi.name, mi.desc)) == Type.BOOLEAN_TYPE) { return BOOLEAN_VALUE; } } return super.naryOperation(insn, values); } /* (non-Javadoc) * @see org.objectweb.asm.tree.analysis.BasicInterpreter#merge(org.objectweb.asm.tree.analysis.BasicValue, org.objectweb.asm.tree.analysis.BasicValue) */ /** {@inheritDoc} */ @Override public BasicValue merge(BasicValue v, BasicValue w) { if (v == BOOLEAN_VALUE && w == BasicValue.INT_VALUE) return BasicValue.INT_VALUE; else if (w == BOOLEAN_VALUE && v == BasicValue.INT_VALUE) return BasicValue.INT_VALUE; else return super.merge(v, w); } }