bug fix

kanaksad · May 21, 2024 · 3f50938 · 3f50938
1 parent bc7a40c
commit 3f50938
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/...a/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/DefaultTypeChangeVisitor.java b/...a/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/DefaultTypeChangeVisitor.java
@@ -197,6 +197,9 @@ public Set<Fix> visitMethodInvocation(MethodInvocationTree node, FoundRequired p
     if (typeFactory.isFromStubFile(calledMethod)) {
       return Set.of();
     }
+    if (!requireFix(pair)) {
+      return Set.of();
+    }
     Fix onMethod = buildFixForElement(calledMethod, pair);
     if (onMethod == null || !requireFix(pair)) {
       return Set.of();