Skip to content

Commit b667e01

Browse files
committed
C#: Add stub.
1 parent 05314b4 commit b667e01

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

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

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2374,3 +2374,19 @@ module Csv {
23742374
)
23752375
}
23762376
}
2377+
2378+
/**
2379+
* Gets an additional term that is added to the `join` and `branch` computations to reflect
2380+
* an additional forward or backwards branching factor that is not taken into account
2381+
* when calculating the (virtual) dispatch cost.
2382+
*
2383+
* `call` is a call with an argument `arg` that is part of a path from a source to a sink, and
2384+
* `p` is the target parameter of a callable to which `call` may resolve.
2385+
*
2386+
* All these values are bound by the dataflow library, and if this predicate is implemented it
2387+
* should be specified with a bindingset annotation that binds all the columns.
2388+
*/
2389+
bindingset[call, p, arg]
2390+
int getAdditionalFlowIntoCallNodeTerm(DataFlowCall call, ParameterNode p, ArgumentNode arg) {
2391+
none()
2392+
}

0 commit comments

Comments
 (0)