hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add stub.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-02-17 12:09:07 +00:00
parent 6e8a2a6375
commit 05314b48e8
3 changed files with 48 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
View File

@@ -565,3 +565,19 @@ private class MyConsistencyConfiguration extends Consistency::ConsistencyConfigu
any()
}
}
/**
* 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()
}

16
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll
View File

@@ -318,3 +318,19 @@ private class MyConsistencyConfiguration extends Consistency::ConsistencyConfigu
// consistency alerts enough that most of them are interesting.
}
}
/**
* 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()
}

16
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
View File

@@ -414,3 +414,19 @@ private class MyConsistencyConfiguration extends Consistency::ConsistencyConfigu
any()
}
}
/**
* 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()
}