Skip to content

Commit 4b4fe64

Browse files
committed
Cleaner code
1 parent 22a45d7 commit 4b4fe64

File tree

1 file changed

+4
-5
lines changed

1 file changed

+4
-5
lines changed

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

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -529,17 +529,16 @@ public Set<Abstraction> getTaintsForMethod(Stmt stmt, Abstraction d1, Abstractio
529529

530530
// Compute the wrapper taints for the current method
531531
final InvokeExpr inv = stmt.getInvokeExpr();
532-
final SootMethod callee = inv.getMethod();
532+
SootMethod callee = inv.getMethod();
533533
Set<AccessPath> res;
534534
if (inv instanceof DynamicInvokeExpr) {
535535
final DynamicInvokeExpr dyn = (DynamicInvokeExpr) inv;
536536
SootMethod m = dyn.getBootstrapMethodRef().tryResolve();
537537
if (m == null)
538538
return null;
539-
540-
res = computeTaintsForMethod(stmt, d1, taintedAbs, m, killIncomingTaint, classSupported);
541-
} else
542-
res = computeTaintsForMethod(stmt, d1, taintedAbs, callee, killIncomingTaint, classSupported);
539+
callee = m;
540+
}
541+
res = computeTaintsForMethod(stmt, d1, taintedAbs, callee, killIncomingTaint, classSupported);
543542

544543
// Create abstractions from the access paths
545544
if (res != null && !res.isEmpty()) {

0 commit comments

Comments
 (0)