[Boxing] fixed bug dealing with abstract methods of ignored classes

anddann · Sep 19, 2017 · 0f30c0d · 0f30c0d
1 parent 8abbbbb
commit 0f30c0d
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/soot/boxing/transformation/BoxingSootMethodRefImpl.java b/src/soot/boxing/transformation/BoxingSootMethodRefImpl.java
@@ -166,6 +166,14 @@ public SootMethod resolve() {
                 || (Options.v().no_bodies_for_excluded()
                 && Scene.v().isExcluded(declaringClass()) && !Scene.v()
                 .getBasicClasses().contains(declaringClass().getName())) || !methodToReturn.isConcrete()) {
+
+            //FIXME: do we have to check, if the method is overridden by an application class??
+            //check if method is within an ignored class
+            if(BoxingTransformerUtility.isMethodIgnored(this)){
+                return methodToReturn;
+            }
+
+
             //lift the method' signature
             //  methodToReturn.setParameterTypes(this.liftedParameter);
             //    methodToReturn.setReturnType(liftedReturnType);