disable CopyPropagator

jayhorn · Jul 1, 2016 · cd9e499 · cd9e499
1 parent ae3f787
commit cd9e499
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/soottocfg/src/main/java/soottocfg/soot/SootToCfg.java b/soottocfg/src/main/java/soottocfg/soot/SootToCfg.java
@@ -211,7 +211,7 @@ private void constructCfg(SootClass sc) {
 					Body body = null;
 					try {
 						body = sm.retrieveActiveBody();
-						CopyPropagator.v().transform(body);
+//						CopyPropagator.v().transform(body);
 					} catch (RuntimeException e) {
 						// TODO: print warning that body couldn't be retrieved.
 						continue;