/** * Copyright (C) 2010-2017 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.error; import java.util.ArrayList; import java.util.List; import org.evosuite.runtime.instrumentation.AnnotatedLabel; import org.evosuite.runtime.instrumentation.AnnotatedMethodNode; import org.objectweb.asm.Label; import org.objectweb.asm.MethodVisitor; import org.objectweb.asm.Opcodes; import org.objectweb.asm.commons.GeneratorAdapter; import org.objectweb.asm.tree.MethodNode; import org.slf4j.Logger; import org.slf4j.LoggerFactory; /** * <p> * ErrorConditionMethodAdapter class. * </p> * * @author Gordon Fraser */ public class ErrorConditionMethodAdapter extends GeneratorAdapter { protected final static Logger logger = LoggerFactory.getLogger(ErrorConditionMethodAdapter.class); private final String className; private final String methodName; private final MethodVisitor next; protected List<ErrorBranchInstrumenter> instrumentation; /** * <p> * Constructor for ErrorConditionMethodAdapter. * </p> * * @param mv * a {@link org.objectweb.asm.MethodVisitor} object. * @param className * a {@link java.lang.String} object. * @param methodName * a {@link java.lang.String} object. * @param access * a int. * @param desc * a {@link java.lang.String} object. */ public ErrorConditionMethodAdapter(MethodVisitor mv, String className, String methodName, int access, String desc) { //super(Opcodes.ASM5, mv, access, methodName, desc); super(Opcodes.ASM5, new AnnotatedMethodNode(access, methodName, desc, null, null), access, methodName, desc); this.className = className; this.methodName = methodName; next = mv; initErrorBranchInstrumenters(); } private void initErrorBranchInstrumenters() { instrumentation = new ArrayList<ErrorBranchInstrumenter>(); instrumentation.add(new ArrayInstrumentation(this)); instrumentation.add(new ArrayListInstrumentation(this)); instrumentation.add(new CastErrorInstrumentation(this)); instrumentation.add(new DequeInstrumentation(this)); instrumentation.add(new DivisionByZeroInstrumentation(this)); instrumentation.add(new LinkedHashSetInstrumentation(this)); // instrumentation.add(new ListInstrumentation(this)); instrumentation.add(new LinkedListInstrumentation(this)); instrumentation.add(new NullPointerExceptionInstrumentation(this)); instrumentation.add(new OverflowInstrumentation(this)); instrumentation.add(new QueueInstrumentation(this)); instrumentation.add(new StackInstrumentation(this)); instrumentation.add(new VectorInstrumentation(this)); } protected boolean inInstrumentation = false; @Override public void visitLabel(Label label) { if (label instanceof AnnotatedLabel) { AnnotatedLabel aLabel = (AnnotatedLabel) label; if (aLabel.isStartTag()) { inInstrumentation = true; } else { inInstrumentation = false; } } super.visitLabel(label); } public void tagBranch() { Label dummyTag = new AnnotatedLabel(false, true); // dummyTag.info = Boolean.TRUE; super.visitLabel(dummyTag); } public void tagBranchExit() { Label dummyTag = new AnnotatedLabel(false, false); // dummyTag.info = Boolean.FALSE; super.visitLabel(dummyTag); } public String getClassName() { return className; } public String getMethodName() { return methodName; } /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitMethodInsn(int, java.lang.String, java.lang.String, java.lang.String) */ /** {@inheritDoc} */ @Override public void visitMethodInsn(int opcode, String owner, String name, String desc, boolean itf) { if(!inInstrumentation) { inInstrumentation = true; for(ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitMethodInsn(opcode, owner, name, desc, itf); } inInstrumentation = false; } super.visitMethodInsn(opcode, owner, name, desc, itf); } /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitFieldInsn(int, java.lang.String, java.lang.String, java.lang.String) */ /** {@inheritDoc} */ @Override public void visitFieldInsn(int opcode, String owner, String name, String desc) { if(!inInstrumentation) { inInstrumentation = true; for(ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitFieldInsn(opcode, owner, name, desc); } inInstrumentation = false; } super.visitFieldInsn(opcode, owner, name, desc); } @Override public void visitIntInsn(int opcode, int operand) { if(!inInstrumentation) { inInstrumentation = true; for(ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitIntInsn(opcode, operand); } inInstrumentation = false; } super.visitIntInsn(opcode, operand); } /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitTypeInsn(int, java.lang.String) */ /** {@inheritDoc} */ @Override public void visitTypeInsn(int opcode, String type) { if(!inInstrumentation) { inInstrumentation = true; for(ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitTypeInsn(opcode, type); } inInstrumentation = false; } super.visitTypeInsn(opcode, type); } /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitInsn(int) */ /** {@inheritDoc} */ @Override public void visitInsn(int opcode) { if(!inInstrumentation) { inInstrumentation = true; for(ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitInsn(opcode); } inInstrumentation = false; } super.visitInsn(opcode); } /* public Frame currentFrame = null; @Override public void visitFrame(int type, int nLocal, Object[] local, int nStack, Object[] stack) { super.visitFrame(type, nLocal, local, nStack, stack); // this.currentFrame = frames[numFrame++]; } protected int numFrame = 0; protected Frame[] frames; @Override public void visitCode() { MethodNode mn = (MethodNode) mv; try { Analyzer a = new Analyzer(new ThisInterpreter()); a.analyze(className, mn); frames = a.getFrames(); logger.info("Computed frames: "+frames.length); } catch (Exception e) { logger.info("Error during frame analysis: "+e); frames = new Frame[0]; } super.visitCode(); } */ /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitEnd() */ /** {@inheritDoc} */ @Override public void visitEnd() { MethodNode mn = (MethodNode) mv; mn.accept(next); } /* (non-Javadoc) * @see org.objectweb.asm.commons.LocalVariablesSorter#visitMaxs(int, int) */ /** {@inheritDoc} */ @Override public void visitMaxs(int maxStack, int maxLocals) { super.visitMaxs(maxStack + 4, maxLocals); } }