Skip to content

Commit 0f6b2a9

Browse files
committed
added a callback for applying end summaries
1 parent 7d6016e commit 0f6b2a9

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

soot-infoflow/src/soot/jimple/infoflow/solver/fastSolver/IFDSSolver.java

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -340,6 +340,16 @@ public void accept(SootMethod sCalledProcN) {
340340
}
341341
}
342342

343+
/**
344+
* Callback to notify derived classes that an end summary has been applied
345+
*
346+
* @param n The call site where the end summary has been applied
347+
* @param sCalledProc The callee
348+
* @param d3 The callee-side incoming taint abstraction
349+
*/
350+
protected void onEndSummaryApplied(N n, SootMethod sCalledProc, D d3) {
351+
}
352+
343353
protected void applyEndSummaryOnCall(final D d1, final N n, final D d2, Collection<N> returnSiteNs,
344354
SootMethod sCalledProcN, D d3) {
345355
// line 15.2
@@ -389,6 +399,7 @@ protected void applyEndSummaryOnCall(final D d1, final N n, final D d2, Collecti
389399
}
390400
}
391401
}
402+
onEndSummaryApplied(n, sCalledProcN, d3);
392403
}
393404
}
394405

0 commit comments

Comments
 (0)