Jump over calls to phantom methods or methods without body

Addresses rohanpadhye#14
shashinh · Nov 18, 2019 · b9424fb · b9424fb
1 parent 8f326fa
commit b9424fb
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/src/main/java/vasco/ForwardInterProceduralAnalysis.java b/src/main/java/vasco/ForwardInterProceduralAnalysis.java
@@ -59,7 +59,11 @@ public void doAnalysis() {
 
 		// Initial contexts
 		for (M method : programRepresentation().getEntryPoints()) {
-			initContext(method, boundaryValue(method));
+			if (programRepresentation().isPhantomMethod(method)) {
+				initContextForPhantomMethod(method, boundaryValue(method));
+			} else {
+				initContext(method, boundaryValue(method));
+			}
 		}
 
 		// Perform work-list based analysis

diff --git a/src/main/java/vasco/soot/DefaultJimpleRepresentation.java b/src/main/java/vasco/soot/DefaultJimpleRepresentation.java
@@ -111,8 +111,7 @@ public List<SootMethod> resolveTargets(SootMethod method, Unit node) {
 
 	@Override
 	public boolean isPhantomMethod(SootMethod method) {
-		// TODO Auto-generated method stub
-		return false;
+		return method.isPhantom() || !method.hasActiveBody();
 	}
 
 }