Skip to content

Commit 4720e2a

Browse files
committed
Java: Add stub.
1 parent 067abac commit 4720e2a

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -478,3 +478,19 @@ predicate containerContent(Content c) {
478478
c instanceof MapKeyContent or
479479
c instanceof MapValueContent
480480
}
481+
482+
/**
483+
* Gets an additional term that is added to the `join` and `branch` computations to reflect
484+
* an additional forward or backwards branching factor that is not taken into account
485+
* when calculating the (virtual) dispatch cost.
486+
*
487+
* `call` is a call with an argument `arg` that is part of a path from a source to a sink, and
488+
* `p` is the target parameter of a callable to which `call` may resolve.
489+
*
490+
* All these values are bound by the dataflow library, and if this predicate is implemented it
491+
* should be specified with a bindingset annotation that binds all the columns.
492+
*/
493+
bindingset[call, p, arg]
494+
int getAdditionalFlowIntoCallNodeTerm(DataFlowCall call, ParameterNode p, ArgumentNode arg) {
495+
none()
496+
}

0 commit comments

Comments
 (0)