File tree Expand file tree Collapse file tree 1 file changed +16
-0
lines changed
python/ql/lib/semmle/python/dataflow/new/internal Expand file tree Collapse file tree 1 file changed +16
-0
lines changed Original file line number Diff line number Diff line change @@ -1008,3 +1008,19 @@ class ContentApprox = Unit;
1008
1008
/** Gets an approximated value for content `c`. */
1009
1009
pragma [ inline]
1010
1010
ContentApprox getContentApprox ( Content c ) { any ( ) }
1011
+
1012
+ /**
1013
+ * Gets an additional term that is added to the `join` and `branch` computations to reflect
1014
+ * an additional forward or backwards branching factor that is not taken into account
1015
+ * when calculating the (virtual) dispatch cost.
1016
+ *
1017
+ * `call` is a call with an argument `arg` that is part of a path from a source to a sink, and
1018
+ * `p` is the target parameter of a callable to which `call` may resolve.
1019
+ *
1020
+ * All these values are bound by the dataflow library, and if this predicate is implemented it
1021
+ * should be specified with a bindingset annotation that binds all the columns.
1022
+ */
1023
+ bindingset [ call, p, arg]
1024
+ int getAdditionalFlowIntoCallNodeTerm ( DataFlowCall call , ParameterNode p , ArgumentNode arg ) {
1025
+ none ( )
1026
+ }
You can’t perform that action at this time.
0 commit comments