File tree Expand file tree Collapse file tree 1 file changed +16
-0
lines changed
ruby/ql/lib/codeql/ruby/dataflow/internal Expand file tree Collapse file tree 1 file changed +16
-0
lines changed Original file line number Diff line number Diff line change @@ -1498,3 +1498,19 @@ class AdditionalJumpStep extends Unit {
1498
1498
*/
1499
1499
abstract predicate step ( Node pred , Node succ ) ;
1500
1500
}
1501
+
1502
+ /**
1503
+ * Gets an additional term that is added to the `join` and `branch` computations to reflect
1504
+ * an additional forward or backwards branching factor that is not taken into account
1505
+ * when calculating the (virtual) dispatch cost.
1506
+ *
1507
+ * `call` is a call with an argument `arg` that is part of a path from a source to a sink, and
1508
+ * `p` is the target parameter of a callable to which `call` may resolve.
1509
+ *
1510
+ * All these values are bound by the dataflow library, and if this predicate is implemented it
1511
+ * should be specified with a bindingset annotation that binds all the columns.
1512
+ */
1513
+ bindingset [ call, p, arg]
1514
+ int getAdditionalFlowIntoCallNodeTerm ( DataFlowCall call , ParameterNode p , ArgumentNode arg ) {
1515
+ none ( )
1516
+ }
You can’t perform that action at this time.
0 commit comments