File tree Expand file tree Collapse file tree 1 file changed +16
-0
lines changed
csharp/ql/lib/semmle/code/csharp/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 @@ -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+ }
You can’t perform that action at this time.
0 commit comments