org.evosuite.instrumentation.error.ErrorConditionMethodAdapter Maven / Gradle / Ivy
The newest version!
/**
* Copyright (C) 2010-2018 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 .
*/
/**
*
*/
package org.evosuite.instrumentation.error;
import java.util.ArrayList;
import java.util.List;
import org.evosuite.Properties;
import org.evosuite.runtime.instrumentation.AnnotatedLabel;
import org.evosuite.runtime.instrumentation.AnnotatedMethodNode;
import org.evosuite.utils.ArrayUtil;
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;
/**
*
* ErrorConditionMethodAdapter class.
*
*
* @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 instrumentation;
/**
*
* Constructor for ErrorConditionMethodAdapter.
*
*
* @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<>();
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.ARRAY))
instrumentation.add(new ArrayInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.ARRAYLIST))
instrumentation.add(new ArrayListInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.CAST))
instrumentation.add(new CastErrorInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.DEQUE))
instrumentation.add(new DequeInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.DIVISIONBYZERO))
instrumentation.add(new DivisionByZeroInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.LINKEDHASHSET))
instrumentation.add(new LinkedHashSetInstrumentation(this));
// instrumentation.add(new ListInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.LINKEDLIST))
instrumentation.add(new LinkedListInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.NPE))
instrumentation.add(new NullPointerExceptionInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.OVERFLOW))
instrumentation.add(new OverflowInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.QUEUE))
instrumentation.add(new QueueInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.STACK))
instrumentation.add(new StackInstrumentation(this));
if(ArrayUtil.contains(Properties.ERROR_INSTRUMENTATION, Properties.ErrorInstrumentation.VECTOR))
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);
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy