de.hdu.pvs.crashfinder.test.TestStmtInstrumenter Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of crashFinder Show documentation
A tool for localizing the software regression errors
The newest version!
package de.hdu.pvs.crashfinder.test;

import java.io.BufferedReader;
import java.io.BufferedWriter;
import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;
import java.io.PrintWriter;
import java.util.ArrayList;
import java.util.Collection;
import java.util.LinkedHashSet;
//import java.util.LinkedList;
import java.util.List;
import java.util.regex.Matcher;
import java.util.regex.Pattern;

import com.ibm.wala.ipa.slicer.Statement;
import com.ibm.wala.ipa.slicer.Slicer.ControlDependenceOptions;
import com.ibm.wala.ipa.slicer.Slicer.DataDependenceOptions;

import de.hdu.pvs.crashfinder.analysis.FindFailingSeed;
import de.hdu.pvs.crashfinder.analysis.IRStatement;
import de.hdu.pvs.crashfinder.analysis.Slicing;
import de.hdu.pvs.crashfinder.analysis.SlicingOutput;
import de.hdu.pvs.crashfinder.instrument.InstrumentStats;
import de.hdu.pvs.crashfinder.instrument.RelatedStmtInstrumenter;
import de.hdu.pvs.crashfinder.util.WALAUtils;

//import analysis.ShrikePoint;
import junit.framework.TestCase;

public class TestStmtInstrumenter extends TestCase {
	public void testSimpleInstrumenter() throws Exception {

		String dir = "/home/felix/hadoop/hdfs3856/2/share/hadoop/hdfs/";
		String classPath = dir + "hadoop-hdfs-3.0.0-SNAPSHOT.jar";
		String fileName = "dumpslice.txt";
		String diffout = "/home/felix/workspace/diffout.diff";
		String diff = "/home/felix/workspace/log.diff";
		String mainClass = "Lorg/apache/hadoop/hdfs/server/namenode/NameNode";
		String exclusionFile = "src/resources/JavaAllExclusions.txt";
		String failedLogFile = "src/resources/stackTraceFail.log";

		FindFailingSeed computeSeed = new FindFailingSeed();
		int lineNumber = computeSeed.computeSeed(failedLogFile).getLineNumber();
		String seedClass = computeSeed.computeSeed(failedLogFile)
				.getSeedClass();

		BufferedReader br = null;
		String sCurrentLine;
		PrintWriter output = null;
		List diffClass = new ArrayList();
		List matching = new ArrayList();

		Slicing helper = new Slicing(classPath, mainClass, exclusionFile);
		helper.CallGraphBuilder();
		helper.setDataDependenceOptions(DataDependenceOptions.NONE);
		helper.setControlDependenceOptions(ControlDependenceOptions.NO_EXCEPTIONAL_EDGES);
		helper.setContextSensitive(true); // context-insensitive

		Statement s = helper.extractStatementfromException(seedClass,
				lineNumber);

		Collection slice = null;
		System.out.println("--- backward ---");
		slice = helper.computeSlice(s);
		WALAUtils.dumpSliceToFile(slice, fileName);

		// SlicingOutput output1 = helper.outputSlice(s);
		try {
			output = new PrintWriter(
					new BufferedWriter(new FileWriter(diffout)));
			output.write("");

			br = new BufferedReader(new FileReader(diff));
			while ((sCurrentLine = br.readLine()) != null) {
				Pattern p = Pattern.compile("\\+++ (.*)/(.*?).java");
				Matcher m = p.matcher(sCurrentLine);
				if (m.find()) {
					String strFound = m.group(2);
					matching.add(strFound);
					diffClass.add(strFound);
					output.printf("%s\r\n", strFound);
				}
			}

		} catch (IOException e) {
			System.out.println("Diff file not found");
		} finally {
			if (output != null) {
				output.close();
			}
		}

		String fullClassName = null;
		Collection sliceDiff = new LinkedHashSet();
		for (Statement s1 : slice) {
			String extractedFullClassName = WALAUtils.getJavaFullClassName(s1
					.getNode().getMethod().getDeclaringClass());
			if (extractedFullClassName.contains("$")) {

				String[] dollarReplace = extractedFullClassName.split("\\$");
				fullClassName = dollarReplace[0];
			} else {
				fullClassName = extractedFullClassName;
			}
			if (diffClass.contains(fullClassName)) {
				sliceDiff.add(s1);
			}
		}

		Collection irs = Slicing.convert(sliceDiff);
		SlicingOutput output1 = new SlicingOutput(irs);
		// System.out.println(output1);

		// InstrumenterBench instrumenter = new InstrumenterBench();
		// EveryStmtInstrumenter instrumenter = new EveryStmtInstrumenter();
		RelatedStmtInstrumenter instrumenter = new RelatedStmtInstrumenter(
				output1);
		instrumenter.instrument(classPath, dir
				+ "hadoop-hdfs-3.0.0-SNAPSHOT-instrumented.jar");
		InstrumentStats.showInstrumentationStats();

	}
}