Merge pull request #4 from secure-software-engineering/develop

Phantom methods are skipped now as sanitizers during query execution.

Author: arktt

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);