refactored the SummarySourceSinkManager to use an external re-usable resolver

Author: StevenArzt

soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/data/sourceSink/AbstractFlowSinkSource.java

@@ -3,6 +3,12 @@
 import java.util.HashMap;
 import java.util.Map;
 
+import soot.Local;
+import soot.Value;
+import soot.jimple.AssignStmt;
+import soot.jimple.InstanceInvokeExpr;
+import soot.jimple.InvokeExpr;
+import soot.jimple.Stmt;
 import soot.jimple.infoflow.methodSummary.data.summary.GapDefinition;
 import soot.jimple.infoflow.methodSummary.data.summary.SourceSinkType;
 import soot.jimple.infoflow.methodSummary.taintWrappers.AccessPathFragment;
@@ -251,4 +257,39 @@ public Object getUserData() {
 	 */
 	public abstract AbstractFlowSinkSource replaceGaps(Map<Integer, GapDefinition> replacementMap);
 
+	/**
+	 * Gets the base local for the access path that this source or sink definition
+	 * references
+	 * 
+	 * @param stmt The context in which to map the definition to concrete locals
+	 * @return The local that resembles the base local of this source or sink
+	 *         definition in the given context or <code>null</code> if this
+	 *         definition is not valid in the given context
+	 */
+	public Local getBaseLocal(Stmt stmt) {
+		if (stmt.containsInvokeExpr()) {
+			InvokeExpr iexpr = stmt.getInvokeExpr();
+			if (isField()) {
+				if (iexpr instanceof InstanceInvokeExpr) {
+					InstanceInvokeExpr iiexpr = (InstanceInvokeExpr) iexpr;
+					return (Local) iiexpr.getBase();
+				}
+			} else if (isParameter()) {
+				int idx = getParameterIndex();
+				if (idx < iexpr.getArgCount()) {
+					Value val = iexpr.getArg(idx);
+					if (val instanceof Local)
+						return (Local) val;
+				}
+			} else if (isReturn()) {
+				if (stmt instanceof AssignStmt) {
+					AssignStmt assignStmt = (AssignStmt) stmt;
+					Value lop = assignStmt.getLeftOp();
+					if (lop instanceof Local)
+						return (Local) lop;
+				}
+			}
+		}
+		return null;
+	}
 }

soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/taintWrappers/AccessPathFragment.java

@@ -120,6 +120,17 @@ public String getLastFieldName() {
 		return fields[fields.length - 1];
 	}
 
+	/**
+	 * Gets the name of the first field in this access path fragment
+	 * 
+	 * @return The name of the first field in this access path fragment
+	 */
+	public String getFirstFieldName() {
+		if (fields == null || fields.length == 0)
+			return null;
+		return fields[0];
+	}
+
 	/**
 	 * Gets the type of the last field in this access path fragment
 	 * 
@@ -131,6 +142,17 @@ public String getLastFieldType() {
 		return fieldTypes[fieldTypes.length - 1];
 	}
 
+	/**
+	 * Gets the type of the first field in this access path fragment
+	 * 
+	 * @return The type of the first field in this access path fragment
+	 */
+	public String getFirstFieldType() {
+		if (fieldTypes == null || fieldTypes.length == 0)
+			return null;
+		return fieldTypes[0];
+	}
+
 	/**
 	 * Gets whether this access path fragment is empty
 	 *