diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/DefaultTypeChangeVisitor.java b/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/DefaultTypeChangeVisitor.java index e4fd2449..2fa85311 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/DefaultTypeChangeVisitor.java +++ b/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/DefaultTypeChangeVisitor.java @@ -197,6 +197,9 @@ public Set 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();