From 034392d7bcf06f5e3d81772bbcd97e0be70f8193 Mon Sep 17 00:00:00 2001
From: Abdul Rehman <abdulrtareen@gmail.com>
Date: Tue, 17 Nov 2020 18:58:32 +0100
Subject: [PATCH] Phantom methods are skipped now as sanitizers during query
 execution.

---
 .../iem/secucheck/analysis/internal/SingleFlowAnalysis.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/de.fraunhofer.iem.secucheck.analysis/src/main/java/de/fraunhofer/iem/secucheck/analysis/internal/SingleFlowAnalysis.java b/de.fraunhofer.iem.secucheck.analysis/src/main/java/de/fraunhofer/iem/secucheck/analysis/internal/SingleFlowAnalysis.java
index 6758d7a..95e843a 100644
--- a/de.fraunhofer.iem.secucheck.analysis/src/main/java/de/fraunhofer/iem/secucheck/analysis/internal/SingleFlowAnalysis.java
+++ b/de.fraunhofer.iem.secucheck.analysis/src/main/java/de/fraunhofer/iem/secucheck/analysis/internal/SingleFlowAnalysis.java
@@ -294,7 +294,7 @@ private Map<SootMethod, Body> setEmptySootBodies(List<Method> methods){
 		
 		for (Method method : methods) {
 			SootMethod sootMethod = Utility.getSootMethod(method);
-			if (sootMethod != null) {
+			if (sootMethod != null && !sootMethod.isPhantom()) {
 				Body body = sootMethod.getActiveBody();
 				if (body != null) {
 					oldBodies.put(sootMethod, body);