mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Java: Add stub.
This commit is contained in:
@@ -478,3 +478,19 @@ predicate containerContent(Content c) {
|
||||
c instanceof MapKeyContent or
|
||||
c instanceof MapValueContent
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets an additional term that is added to the `join` and `branch` computations to reflect
|
||||
* an additional forward or backwards branching factor that is not taken into account
|
||||
* when calculating the (virtual) dispatch cost.
|
||||
*
|
||||
* `call` is a call with an argument `arg` that is part of a path from a source to a sink, and
|
||||
* `p` is the target parameter of a callable to which `call` may resolve.
|
||||
*
|
||||
* All these values are bound by the dataflow library, and if this predicate is implemented it
|
||||
* should be specified with a bindingset annotation that binds all the columns.
|
||||
*/
|
||||
bindingset[call, p, arg]
|
||||
int getAdditionalFlowIntoCallNodeTerm(DataFlowCall call, ParameterNode p, ArgumentNode arg) {
|
||||
none()
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user