Skip to content

Commit 2057f6a

Browse files
committed
StubDroid: use classSupported boolean in getInverseTaintsForMethod
1 parent c2b2a41 commit 2057f6a

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/taintWrappers/SummaryTaintWrapper.java

+5-1
Original file line numberDiff line numberDiff line change
@@ -1756,12 +1756,16 @@ public Set<Abstraction> getInverseTaintsForMethod(Stmt stmt, Abstraction d1, Abs
17561756
if (!stmt.containsInvokeExpr())
17571757
return Collections.singleton(taintedAbs);
17581758

1759+
ByReferenceBoolean classSupported = new ByReferenceBoolean(false);
17591760
// Get the cached data flows
17601761
final SootMethod method = stmt.getInvokeExpr().getMethod();
1761-
ClassSummaries flowsInCallees = getFlowSummariesForMethod(stmt, method, taintedAbs, null);
1762+
ClassSummaries flowsInCallees = getFlowSummariesForMethod(stmt, method, taintedAbs, classSupported);
17621763

17631764
// If we have no data flows, we can abort early
17641765
if (flowsInCallees.isEmpty()) {
1766+
if (classSupported.value)
1767+
return Collections.singleton(taintedAbs);
1768+
17651769
if (fallbackWrapper != null && fallbackWrapper instanceof IReversibleTaintWrapper)
17661770
return ((IReversibleTaintWrapper) fallbackWrapper).getInverseTaintsForMethod(stmt, d1, taintedAbs);
17671771
else

0 commit comments

Comments
 (0)