Phantom methods are skipped now as sanitizers during query execution.

secure-software-engineering · Nov 17, 2020 · 034392d · 034392d
1 parent f95deab
commit 034392d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...lysis/src/main/java/de/fraunhofer/iem/secucheck/analysis/internal/SingleFlowAnalysis.java b/...lysis/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);