org.evosuite.instrumentation.error.NullPointerExceptionInstrumentation Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of evosuite-client Show documentation
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.HashMap;
import java.util.Map;

import org.objectweb.asm.Opcodes;
import org.objectweb.asm.Type;

public class NullPointerExceptionInstrumentation extends ErrorBranchInstrumenter {

	public NullPointerExceptionInstrumentation(ErrorConditionMethodAdapter mv) {
		super(mv);
	}

	@Override
	public void visitMethodInsn(int opcode, String owner, String name,
			String desc, boolean itf) {
		
		// If non-static, add a null check
		// TODO: Do we need to also check INVOKESPECIAL?
		if (opcode == Opcodes.INVOKEVIRTUAL || opcode == Opcodes.INVOKEINTERFACE) {
			Type[] args = Type.getArgumentTypes(desc);
			Map to = new HashMap();
			for (int i = args.length - 1; i >= 0; i--) {
				int loc = mv.newLocal(args[i]);
				mv.storeLocal(loc);
				to.put(i, loc);
			}

			mv.dup();//callee
			insertBranch(Opcodes.IFNONNULL, "java/lang/NullPointerException");

			for (int i = 0; i < args.length; i++) {
				mv.loadLocal(to.get(i));
			}
		}	
	}
	
	@Override
	public void visitFieldInsn(int opcode, String owner, String name, String desc) {
		// If non-static, add a null check
		
		if (opcode == Opcodes.GETFIELD) {
			mv.visitInsn(Opcodes.DUP);
			insertBranch(Opcodes.IFNONNULL, "java/lang/NullPointerException");

		} else if (opcode == Opcodes.PUTFIELD && !methodName.equals("")) {
			if (Type.getType(desc).getSize() == 2) {
				// 2 words
				// v1 v2 v3
				mv.visitInsn(Opcodes.DUP2_X1);
				// v2 v3 v1 v2 v3

				mv.visitInsn(Opcodes.POP2);
				// v2 v3 v1

				mv.visitInsn(Opcodes.DUP_X2);
				// v1 v2 v3 v1

			} else {
				// 1 word
				mv.visitInsn(Opcodes.DUP2);
				//mv.visitInsn(Opcodes.SWAP);
				mv.visitInsn(Opcodes.POP);
			}
			insertBranch(Opcodes.IFNONNULL, "java/lang/NullPointerException");
		}
	}
}