Use JNI-style class notation for dummy main class constant

Author: MarcMil

soot-infoflow-android/src/soot/jimple/infoflow/android/entryPointCreators/AndroidEntryPointCreator.java

@@ -72,6 +72,7 @@
 import soot.jimple.toolkits.scalar.NopEliminator;
 import soot.options.Options;
 import soot.tagkit.ExpectedTypeTag;
+import soot.toDex.SootToDexUtils;
 import soot.util.HashMultiMap;
 import soot.util.MultiMap;
 
@@ -264,7 +265,8 @@ protected SootMethod createDummyMainInternal() {
 				Local classLoader = j.newLocal("classLoader", RefType.v("java.lang.ClassLoader"));
 				body.getLocals().add(classLoader);
 
-				body.getUnits().add(j.newAssignStmt(clazzL, ClassConstant.v(dummyClassName)));
+				body.getUnits()
+						.add(j.newAssignStmt(clazzL, ClassConstant.v(SootToDexUtils.getDexClassName(dummyClassName))));
 				body.getUnits().add(j.newAssignStmt(classLoader, j.newVirtualInvokeExpr(clazzL, mrGetClassLoader)));
 
 				AssignStmt instantiateCL = j.newAssignStmt(classLoader, j.newVirtualInvokeExpr(factory,