update

src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/ClassDeclarationLocation.java

@@ -32,7 +32,7 @@ public class ClassDeclarationLocation extends AbstractSymbolLocation {
 
   public final Type.ClassType toChange;
 
-  public ClassDeclarationLocation(Symbol target, Type.ClassType toChange) {
+  private ClassDeclarationLocation(Symbol target, Type.ClassType toChange) {
     super(LocationKind.CLASS_DECLARATION, target);
     this.toChange = toChange;
   }

src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/GenericMethodFixVisitor.java

@@ -267,10 +267,7 @@ public static Set<Fix> computeFixesOnClassDeclarationForRawType(
       if (index < 0) {
         return Set.of();
       }
-      ClassDeclarationLocation classDeclarationLocation =
-          new ClassDeclarationLocation(classType, inheritedType);
-      classDeclarationLocation.setTypeIndexSet(TypeIndex.setOf(index + 1, 0));
-      return Set.of(new Fix(classDeclarationLocation));
+      return Set.of();
     } catch (Exception e) {
       return Set.of();
     }

src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/SpecializedFixComputer.java

@@ -98,33 +98,7 @@ public Fix buildFixForElement(Element element, FoundRequired pair) {
       if (inheritedType == null) {
         return null;
       }
-      ClassDeclarationLocation classDeclarationLocation =
-          new ClassDeclarationLocation(classType, inheritedType);
-      if (classDeclarationLocation.path == null) {
-        // Class is not even declared in the project. Cannot do anything.
-        return null;
-      }
-      Set<AnnotatedTypeMirror.AnnotatedDeclaredType> supers =
-          AnnotatedTypes.getSuperTypes((AnnotatedTypeMirror.AnnotatedDeclaredType) pair.found);
-      supers.stream()
-          .filter(
-              annotatedDeclaredType -> {
-                if (annotatedDeclaredType.getUnderlyingType() instanceof Type.ClassType) {
-                  Type.ClassType classType1 =
-                      (Type.ClassType) annotatedDeclaredType.getUnderlyingType();
-                  return classType1.tsym.equals(inheritedType.tsym);
-                }
-                return false;
-              })
-          .findFirst()
-          .ifPresent(
-              annotatedDeclaredType -> {
-                classDeclarationLocation.setTypeIndexSet(
-                    untaintedTypeMatchVisitor.visit(annotatedDeclaredType, pair.required, null));
-              });
-      return classDeclarationLocation.getTypeIndexSet().isEmpty()
-          ? null
-          : new Fix(classDeclarationLocation);
+      return null;
     }
     AnnotatedTypeMirror elementAnnotatedType = typeFactory.getAnnotatedType(element);
     // remove redundant indices.

tests/templatetest/foo/bar/Test.java

@@ -4,4 +4,31 @@
 import java.lang.annotation.*;
 import java.util.*;
 
-public class Test {}
+public class Test {
+
+
+    void test(){
+        Bar b = new Bar();
+        @RUntainted String s = b.getT();
+    }
+
+
+}
+
+
+class Foo<T> {
+
+    T getT(){
+        return null;
+    }
+}
+
+class Bar extends Foo<@RUntainted String>{}
+
+class Zoo extends Bar{
+
+    String getT() {
+        return null;
+    }
+}
+