diff --git a/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/callgraph/AstJavaSSAPropagationCallGraphBuilder.java b/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/callgraph/AstJavaSSAPropagationCallGraphBuilder.java
index f868e3a12..7230b4539 100644
--- a/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/callgraph/AstJavaSSAPropagationCallGraphBuilder.java
+++ b/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/callgraph/AstJavaSSAPropagationCallGraphBuilder.java
@@ -256,7 +256,7 @@ public class AstJavaSSAPropagationCallGraphBuilder extends AstSSAPropagationCall
 
             System.err.println(("class is " + klass + ", enclosing is " + enclosingClass + ", method is " + node.getMethod()));
 
-            if (node.getMethod().isSynthetic()) {
+            if (node.getMethod().isWalaSynthetic()) {
               return;
             }
 
diff --git a/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstClass.java b/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstClass.java
index 5f5111219..1e7e2ed9d 100644
--- a/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstClass.java
+++ b/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstClass.java
@@ -85,6 +85,11 @@ abstract public class AstClass implements IClass, ClassConstants {
     return false;
   }
 
+  @Override
+  public boolean isSynthetic() {
+    return false;
+  }
+
   @Override
   public int getModifiers() {
     return modifiers;
diff --git a/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstFunctionClass.java b/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstFunctionClass.java
index b148e99c3..3e0115b58 100644
--- a/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstFunctionClass.java
+++ b/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstFunctionClass.java
@@ -91,6 +91,11 @@ abstract public class AstFunctionClass implements IClass, ClassConstants {
     return false;
   }
 
+  @Override
+  public boolean isSynthetic() {
+    return false;
+  }
+
   @Override
   public int getModifiers() {
     return ACC_PUBLIC;
diff --git a/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstMethod.java b/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstMethod.java
index 3241a2fe5..441da953a 100644
--- a/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstMethod.java
+++ b/com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstMethod.java
@@ -267,6 +267,11 @@ public abstract class AstMethod implements IMethod {
     return qualifiers.contains(CAstQualifier.NATIVE);
   }
 
+  @Override
+  public boolean isWalaSynthetic() {
+    return false;
+  }
+
   @Override
   public boolean isSynthetic() {
     return false;
diff --git a/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/FactoryBypassInterpreter.java b/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/FactoryBypassInterpreter.java
index dccf8a0ff..e6c57a5af 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/FactoryBypassInterpreter.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/FactoryBypassInterpreter.java
@@ -141,7 +141,7 @@ public class FactoryBypassInterpreter extends AbstractReflectionInterpreter {
     if (node == null) {
       throw new IllegalArgumentException("node is null");
     }
-    if (node.getMethod().isSynthetic()) {
+    if (node.getMethod().isWalaSynthetic()) {
       SyntheticMethod s = (SyntheticMethod) node.getMethod();
       if (s.isFactoryMethod()) {
         return getTypesForContext(node.getContext()) != null;
diff --git a/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/FactoryContextSelector.java b/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/FactoryContextSelector.java
index a02807a76..ba43e6e05 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/FactoryContextSelector.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/FactoryContextSelector.java
@@ -38,7 +38,7 @@ class FactoryContextSelector implements ContextSelector {
     if (callee == null) {
       throw new IllegalArgumentException("callee is null");
     }
-    if (callee.isSynthetic()) {
+    if (callee.isWalaSynthetic()) {
       SyntheticMethod s = (SyntheticMethod) callee;
       if (s.isFactoryMethod()) {
         return new CallStringContext(new CallString(site, caller.getMethod()));
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/ArrayClass.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/ArrayClass.java
index fcb3f18ea..ce1cec267 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/ArrayClass.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/ArrayClass.java
@@ -371,6 +371,11 @@ public class ArrayClass implements IClass, Constants {
     return false;
   }
 
+  @Override
+  public boolean isSynthetic() {
+    return false;
+  }
+
   @Override
   public Reader getSource() {
     return null;
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/CodeScanner.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/CodeScanner.java
index 27e7c91fe..feac607b3 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/CodeScanner.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/CodeScanner.java
@@ -46,7 +46,7 @@ public class CodeScanner {
     if (m == null) {
       throw new IllegalArgumentException("m is null");
     }
-    if (m.isSynthetic()) {
+    if (m.isWalaSynthetic()) {
       SyntheticMethod sm = (SyntheticMethod) m;
       return getCallSites(sm.getStatements());
     } else {
@@ -62,7 +62,7 @@ public class CodeScanner {
     if (m == null) {
       throw new IllegalArgumentException("m is null");
     }
-    if (m.isSynthetic()) {
+    if (m.isWalaSynthetic()) {
       SyntheticMethod sm = (SyntheticMethod) m;
       return getFieldsRead(sm.getStatements());
     } else {
@@ -78,7 +78,7 @@ public class CodeScanner {
     if (m == null) {
       throw new IllegalArgumentException("m is null");
     }
-    if (m.isSynthetic()) {
+    if (m.isWalaSynthetic()) {
       SyntheticMethod sm = (SyntheticMethod) m;
       return getFieldsWritten(sm.getStatements());
     } else {
@@ -95,7 +95,7 @@ public class CodeScanner {
     if (m == null) {
       throw new IllegalArgumentException("m is null");
     }
-    if (m.isSynthetic()) {
+    if (m.isWalaSynthetic()) {
       SyntheticMethod sm = (SyntheticMethod) m;
       return getArraysWritten(sm.getStatements());
     } else {
@@ -111,7 +111,7 @@ public class CodeScanner {
     if (m == null) {
       throw new IllegalArgumentException("m is null");
     }
-    if (m.isSynthetic()) {
+    if (m.isWalaSynthetic()) {
       SyntheticMethod sm = (SyntheticMethod) m;
       return getNewSites(sm.getStatements());
     } else {
@@ -123,7 +123,7 @@ public class CodeScanner {
     if (m == null) {
       throw new IllegalArgumentException("m is null");
     }
-    if (m.isSynthetic()) {
+    if (m.isWalaSynthetic()) {
       SyntheticMethod sm = (SyntheticMethod) m;
       return hasObjectArrayLoad(sm.getStatements());
     } else {
@@ -135,7 +135,7 @@ public class CodeScanner {
     if (m == null) {
       throw new IllegalArgumentException("m is null");
     }
-    if (m.isSynthetic()) {
+    if (m.isWalaSynthetic()) {
       SyntheticMethod sm = (SyntheticMethod) m;
       return hasObjectArrayStore(sm.getStatements());
     } else {
@@ -147,7 +147,7 @@ public class CodeScanner {
     if (m == null) {
       throw new IllegalArgumentException("m is null");
     }
-    if (m.isSynthetic()) {
+    if (m.isWalaSynthetic()) {
       SyntheticMethod sm = (SyntheticMethod) m;
       return getCaughtExceptions(sm.getStatements());
     } else {
@@ -166,7 +166,7 @@ public class CodeScanner {
     if (m == null) {
       throw new IllegalArgumentException("m is null");
     }
-    if (m.isSynthetic()) {
+    if (m.isWalaSynthetic()) {
       SyntheticMethod sm = (SyntheticMethod) m;
       return iterateCastTypes(sm.getStatements());
     } else {
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/IClass.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/IClass.java
index a1730088e..cf22cb08e 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/IClass.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/IClass.java
@@ -54,6 +54,11 @@ public interface IClass extends IClassHierarchyDweller {
    */
   boolean isPrivate();
 
+  /**
+   * @return true iff this class is synthetic, i.e., compiler-generated
+   */
+  boolean isSynthetic();
+
   /**
    * Return the integer that encodes the class's modifiers, as defined by the JVM specification
    * 
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/IMethod.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/IMethod.java
index 26c07dd57..785600f3f 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/IMethod.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/IMethod.java
@@ -43,7 +43,14 @@ public interface IMethod extends IMember, ContextItem {
   boolean isNative();
 
   /**
-   * Did someone synthesize this method? (As opposed to reading it from a class file)
+   * Is the implementation of this method a model generated by WALA?
+   * For compiler-generated synthetic methods, refer to {@link #isSynthetic()}
+   */
+  boolean isWalaSynthetic();
+
+  /**
+   * Is this method synthetic, i.e., compiler-generated (this refers to the
+   * synthetic flag in java/dex bytecode)
    */
   boolean isSynthetic();
 
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/JVMClass.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/JVMClass.java
index 899584c89..c20c116dc 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/JVMClass.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/JVMClass.java
@@ -65,6 +65,15 @@ public abstract class JVMClass<T extends IClassLoader> extends BytecodeClass<T>
     return result;
   }
 
+  /*
+   * @see com.ibm.wala.classLoader.IClass#isSynthetic()
+   */
+  @Override
+  public boolean isSynthetic() {
+    boolean result = ((modifiers & Constants.ACC_SYNTHETIC) != 0);
+    return result;
+  }
+
   /**
    * @see com.ibm.wala.classLoader.IClass#getClassInitializer()
    */
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/ShrikeBTMethod.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/ShrikeBTMethod.java
index cfe05a086..8ed7e8d9a 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/ShrikeBTMethod.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/ShrikeBTMethod.java
@@ -441,7 +441,10 @@ public abstract class ShrikeBTMethod implements IMethod, BytecodeConstants {
   }
 
   @Override
-  public boolean isSynthetic() {
+  public boolean isSynthetic() { return ((getModifiers() & Constants.ACC_SYNTHETIC) != 0); }
+
+  @Override
+  public boolean isWalaSynthetic() {
     return false;
   }
 
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/SyntheticClass.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/SyntheticClass.java
index cdf8741f0..295610002 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/SyntheticClass.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/SyntheticClass.java
@@ -95,6 +95,16 @@ public abstract class SyntheticClass implements IClass {
     return false;
   }
 
+  /*
+   * These classes are generated by WALA, not by any
+   * compiler, therefore it always returns false
+   * @see com.ibm.wala.classLoader.IClass#isSynthetic()
+   */
+  @Override
+  public boolean isSynthetic() {
+    return false;
+  }
+
   /* 
    * @see com.ibm.wala.classLoader.IClass#getReference()
    */
@@ -123,7 +133,7 @@ public abstract class SyntheticClass implements IClass {
   public boolean isArrayClass() {
     return false;
   }
-  
+
   @Override
   public IClassHierarchy getClassHierarchy() {
     return cha;
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/SyntheticMethod.java b/com.ibm.wala.core/src/com/ibm/wala/classLoader/SyntheticMethod.java
index 4d0915340..f4ddf33f8 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/SyntheticMethod.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/SyntheticMethod.java
@@ -153,12 +153,20 @@ public class SyntheticMethod implements IMethod {
     return false;
   }
 
+  /**
+   * @see com.ibm.wala.classLoader.IMethod#isWalaSynthetic()
+   */
+  @Override
+  public boolean isWalaSynthetic() {
+    return true;
+  }
+
   /**
    * @see com.ibm.wala.classLoader.IMethod#isSynthetic()
    */
   @Override
   public boolean isSynthetic() {
-    return true;
+    return false;
   }
 
   /**
diff --git a/com.ibm.wala.core/src/com/ibm/wala/demandpa/util/SimpleMemoryAccessMap.java b/com.ibm.wala.core/src/com/ibm/wala/demandpa/util/SimpleMemoryAccessMap.java
index 2198d3630..853989e14 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/demandpa/util/SimpleMemoryAccessMap.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/demandpa/util/SimpleMemoryAccessMap.java
@@ -102,7 +102,7 @@ public class SimpleMemoryAccessMap implements MemoryAccessMap {
   private void populate(CGNode n) {
     // we analyze bytecodes to avoid the cost of IR construction, except
     // for synthetic methods, where we must use the synthetic IR
-    if (ALWAYS_BUILD_IR || n.getMethod().isSynthetic()) {
+    if (ALWAYS_BUILD_IR || n.getMethod().isWalaSynthetic()) {
       if (DEBUG) {
         System.err.println("synthetic method");
       }
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/BasicCallGraph.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/BasicCallGraph.java
index 87136655b..b098de037 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/BasicCallGraph.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/BasicCallGraph.java
@@ -184,7 +184,7 @@ public abstract class BasicCallGraph<T> extends AbstractNumberedGraph<CGNode> im
     protected NodeImpl(IMethod method, Context C) {
       this.method = method;
       this.context = C;
-      if (method != null && !method.isSynthetic() && method.isAbstract()) {
+      if (method != null && !method.isWalaSynthetic() && method.isAbstract()) {
         assert !method.isAbstract() : "Abstract method " + method;
       }
       assert C != null;
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/ExplicitCallGraph.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/ExplicitCallGraph.java
index 3b68290a4..1b8d95e6f 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/ExplicitCallGraph.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/ExplicitCallGraph.java
@@ -297,7 +297,7 @@ public class ExplicitCallGraph extends BasicCallGraph<SSAContextInterpreter> imp
 
     @Override
     public IR getIR() {
-      if (getMethod().isSynthetic()) {
+      if (getMethod().isWalaSynthetic()) {
         // disable local cache in this case, as context interpreters
         // do weird things like mutate IRs
         return getCallGraph().getInterpreter(this).getIR(this);
@@ -312,7 +312,7 @@ public class ExplicitCallGraph extends BasicCallGraph<SSAContextInterpreter> imp
 
     @Override
     public DefUse getDU() {
-      if (getMethod().isSynthetic()) {
+      if (getMethod().isWalaSynthetic()) {
         // disable local cache in this case, as context interpreters
         // do weird things like mutate IRs
         return getCallGraph().getInterpreter(this).getDU(this);
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ssa/DefaultIRFactory.java b/com.ibm.wala.core/src/com/ibm/wala/ssa/DefaultIRFactory.java
index b00fc9e19..c36929e73 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ssa/DefaultIRFactory.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ssa/DefaultIRFactory.java
@@ -40,7 +40,7 @@ public class DefaultIRFactory implements IRFactory<IMethod> {
     if (method == null) {
       throw new IllegalArgumentException("method cannot be null");
     }
-    if (method.isSynthetic()) {
+    if (method.isWalaSynthetic()) {
       return syntheticFactory.makeCFG((SyntheticMethod) method);
     } else if (method instanceof IBytecodeMethod) {
       @SuppressWarnings("unchecked")
@@ -61,7 +61,7 @@ public class DefaultIRFactory implements IRFactory<IMethod> {
     if (method == null) {
       throw new IllegalArgumentException("method cannot be null");
     }
-    if (method.isSynthetic()) {
+    if (method.isWalaSynthetic()) {
       return syntheticFactory.makeIR((SyntheticMethod) method, c, options);
     } else if (method instanceof IBytecodeMethod) {
       @SuppressWarnings("unchecked")
@@ -81,7 +81,7 @@ public class DefaultIRFactory implements IRFactory<IMethod> {
     if (method == null) {
       throw new IllegalArgumentException("null method");
     }
-    if (method.isSynthetic()) {
+    if (method.isWalaSynthetic()) {
       return syntheticFactory.contextIsIrrelevant((SyntheticMethod) method);
     } else if (method instanceof ShrikeCTMethod) {
       // we know ShrikeFactory contextIsIrrelevant
diff --git a/com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/test/callGraph/JVMLDalvikComparisonTest.java b/com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/test/callGraph/JVMLDalvikComparisonTest.java
index 098a71eff..c52445698 100644
--- a/com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/test/callGraph/JVMLDalvikComparisonTest.java
+++ b/com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/test/callGraph/JVMLDalvikComparisonTest.java
@@ -63,9 +63,9 @@ public class JVMLDalvikComparisonTest extends DalvikCallGraphTestBase {
 	private static Set<Pair<CGNode,CGNode>> edgeDiff(CallGraph from, CallGraph to, boolean userOnly) {
 		Set<Pair<CGNode,CGNode>> result = HashSetFactory.make();
 		for(CGNode f : from) {
-			if (! f.getMethod().isSynthetic()) {
+			if (! f.getMethod().isWalaSynthetic()) {
 			outer: for(CGNode t : from) {
-				if (!t.getMethod().isSynthetic() && 
+				if (!t.getMethod().isWalaSynthetic() &&
 				    from.hasEdge(f, t) && 
 				    (!userOnly || 
 				     !t.getMethod().getDeclaringClass().getClassLoader().getReference().equals(ClassLoaderReference.Primordial))) 
diff --git a/com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexIClass.java b/com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexIClass.java
index 5bcc32a2c..7ab8ea3b5 100644
--- a/com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexIClass.java
+++ b/com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexIClass.java
@@ -51,6 +51,7 @@ import static org.jf.dexlib2.AccessFlags.ABSTRACT;
 import static org.jf.dexlib2.AccessFlags.INTERFACE;
 import static org.jf.dexlib2.AccessFlags.PRIVATE;
 import static org.jf.dexlib2.AccessFlags.PUBLIC;
+import static org.jf.dexlib2.AccessFlags.SYNTHETIC;
 
 import java.util.ArrayList;
 import java.util.Collection;
@@ -229,6 +230,13 @@ public class DexIClass extends BytecodeClass<IClassLoader> {
         return (modifiers & ABSTRACT.getValue()) != 0;
     }
 
+    /*
+     * @see com.ibm.wala.classLoader.IClass#isAbstract()
+     */
+    @Override
+    public boolean isSynthetic() {
+        return (modifiers & SYNTHETIC.getValue()) != 0;
+    }
 
     /*
      * (non-Javadoc)
diff --git a/com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexIMethod.java b/com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexIMethod.java
index fdb9d71a9..e66200563 100644
--- a/com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexIMethod.java
+++ b/com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexIMethod.java
@@ -59,6 +59,7 @@ import static org.jf.dexlib2.AccessFlags.PROTECTED;
 import static org.jf.dexlib2.AccessFlags.PUBLIC;
 import static org.jf.dexlib2.AccessFlags.STATIC;
 import static org.jf.dexlib2.AccessFlags.VOLATILE;
+import static org.jf.dexlib2.AccessFlags.SYNTHETIC;
 
 import java.util.ArrayList;
 import java.util.Collection;
@@ -508,13 +509,20 @@ public class DexIMethod implements IBytecodeMethod<Instruction> {
 
 	/*
 	 * (non-Javadoc)
-	 * @see com.ibm.wala.classLoader.IMethod#isSynthetic()
+	 * @see com.ibm.wala.classLoader.IMethod#isWalaSynthetic()
 	 */
 	@Override
-	public boolean isSynthetic() {
+	public boolean isWalaSynthetic() {
 		return false;
 	}
 
+    /*
+     * (non-Javadoc)
+     * @see com.ibm.wala.classLoader.IMethod#isSynthetic()
+     */
+    @Override
+    public boolean isSynthetic() { return (eMethod.getAccessFlags() & SYNTHETIC.getValue()) != 0; }
+
 	/*
 	 * (non-Javadoc)
 	 * @see com.ibm.wala.classLoader.IMember#isStatic()
diff --git a/com.ibm.wala.scandroid/source/org/scandroid/flow/functions/IFDSTaintFlowFunctionProvider.java b/com.ibm.wala.scandroid/source/org/scandroid/flow/functions/IFDSTaintFlowFunctionProvider.java
index 27b2e86e7..a3a3f8270 100644
--- a/com.ibm.wala.scandroid/source/org/scandroid/flow/functions/IFDSTaintFlowFunctionProvider.java
+++ b/com.ibm.wala.scandroid/source/org/scandroid/flow/functions/IFDSTaintFlowFunctionProvider.java
@@ -436,7 +436,7 @@ implements IFlowFunctionMap<BasicBlockInContext<E>> {
 		final SSAInvokeInstruction instruction = (SSAInvokeInstruction) src.getLastInstruction();
 		
 //		String signature = dest.getMethod().getSignature();
-//		if ( dest.getMethod().isSynthetic() ) { 
+//		if ( dest.getMethod().isWalaSynthetic() ) {
 //			System.out.println("Synthetic: "+signature);
 //		} else {
 //			System.err.println(signature);
@@ -448,7 +448,7 @@ implements IFlowFunctionMap<BasicBlockInContext<E>> {
 //			System.out.println("Call to system: "+signature);
 //		}
 		
-//		if (! dest.getMethod().isSynthetic() 
+//		if (! dest.getMethod().isWalaSynthetic()
 //		    && LoaderUtils.fromLoader(dest.getNode(), ClassLoaderReference.Primordial)) {
 //		    
 //            MyLogger.log(DEBUG,"Primordial and No Summary! (getCallFlowFunction) - " + dest.getMethod().getReference());
diff --git a/com.ibm.wala.scandroid/source/org/scandroid/util/CGAnalysisContext.java b/com.ibm.wala.scandroid/source/org/scandroid/util/CGAnalysisContext.java
index 42c3a2332..e6a87e51e 100644
--- a/com.ibm.wala.scandroid/source/org/scandroid/util/CGAnalysisContext.java
+++ b/com.ibm.wala.scandroid/source/org/scandroid/util/CGAnalysisContext.java
@@ -195,7 +195,7 @@ public class CGAnalysisContext<E extends ISSABasicBlock> {
 		Warnings.clear();
 
 		pa = cgb.getPointerAnalysis();
-		partialGraph = GraphSlicer.prune(cg, node -> LoaderUtils.fromLoader(node, ClassLoaderReference.Application) || node.getMethod().isSynthetic());
+		partialGraph = GraphSlicer.prune(cg, node -> LoaderUtils.fromLoader(node, ClassLoaderReference.Application) || node.getMethod().isWalaSynthetic());
 		if (options.includeLibrary()) {
 			graph = (ISupergraph) ICFGSupergraph.make(cg);
 		} else {
@@ -271,7 +271,7 @@ public class CGAnalysisContext<E extends ISSABasicBlock> {
 			}
 		}
 		for (CGNode node : Iterator2Iterable.make(cg.iterator())) {
-			if (node.getMethod().isSynthetic()) {
+			if (node.getMethod().isWalaSynthetic()) {
 				SSACFG ssaCFG = node.getIR().getControlFlowGraph();
 				int totalBlocks = ssaCFG.getNumberOfNodes();
 				for (int i = 0; i < totalBlocks; i++) {
diff --git a/com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/Constants.java b/com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/Constants.java
index f86253dde..20e6fcc7c 100644
--- a/com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/Constants.java
+++ b/com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/Constants.java
@@ -464,6 +464,8 @@ public interface Constants {
 
   public static final short ACC_STRICT = 0x800;
 
+  public static final short ACC_SYNTHETIC = 0x1000;
+
   public static final byte CONSTANT_Utf8 = 1;
 
   public static final byte CONSTANT_Integer = 3;