Soot之BackwardFlowAnalysis Example

创建类extends BackwardFlowAnalysis

package Test;

import soot.*;
import soot.util.*;
import java.util.*;
import soot.jimple.*;
import soot.toolkits.graph.*;
import soot.toolkits.scalar.*;

public class FlowAnalysisDemo extends BackwardFlowAnalysis {
	protected void copy(Object src, Object dest) {
		FlowSet srcSet = (FlowSet) src;
		FlowSet destSet = (FlowSet) dest;

		srcSet.copy(destSet);
	}

	protected void merge(Object src1, Object src2, Object dest) {
		FlowSet srcSet1 = (FlowSet) src1;
		FlowSet srcSet2 = (FlowSet) src2;
		FlowSet destSet = (FlowSet) dest;

		srcSet1.union(srcSet2, destSet);
	}

	protected void flowThrough(Object srcValue, Object unit, Object destValue) {
		FlowSet dest = (FlowSet) destValue;
		FlowSet src = (FlowSet) srcValue;
		Unit s = (Unit) unit;
		src.copy(dest);

		// Take out kill set
		Iterator boxIt = s.getDefBoxes().iterator();
		while (boxIt.hasNext()) {
			ValueBox box