File tree Expand file tree Collapse file tree 4 files changed +12
-0
lines changed
go/ql/lib/semmle/go/dataflow/internal
python/ql/lib/semmle/python/dataflow/new/internal
ruby/ql/lib/codeql/ruby/dataflow/internal
swift/ql/lib/codeql/swift/dataflow/internal Expand file tree Collapse file tree 4 files changed +12
-0
lines changed Original file line number Diff line number Diff line change @@ -37,6 +37,9 @@ DataFlowCall summaryDataFlowCall(SummaryNode receiver) {
3737/** Gets the type of content `c`. */
3838DataFlowType getContentType ( Content c ) { result = c .getType ( ) }
3939
40+ /** Gets the type of the parameter at the given position. */
41+ DataFlowType getParameterType ( SummarizedCallable c , ParameterPosition pos ) { any ( ) }
42+
4043/** Gets the return type of kind `rk` for callable `c`. */
4144DataFlowType getReturnType ( SummarizedCallable c , ReturnKind rk ) { any ( ) }
4245
Original file line number Diff line number Diff line change @@ -53,6 +53,9 @@ SummaryCall summaryDataFlowCall(SummaryNode receiver) { receiver = result.getRec
5353/** Gets the type of content `c`. */
5454DataFlowType getContentType ( Content c ) { any ( ) }
5555
56+ /** Gets the type of the parameter at the given position. */
57+ DataFlowType getParameterType ( SummarizedCallable c , ParameterPosition pos ) { any ( ) }
58+
5659/** Gets the return type of kind `rk` for callable `c`. */
5760bindingset [ c, rk]
5861DataFlowType getReturnType ( SummarizedCallable c , ReturnKind rk ) { any ( ) }
Original file line number Diff line number Diff line change @@ -24,6 +24,9 @@ SummaryCall summaryDataFlowCall(SummaryNode receiver) { receiver = result.getRec
2424/** Gets the type of content `c`. */
2525DataFlowType getContentType ( ContentSet c ) { any ( ) }
2626
27+ /** Gets the type of the parameter at the given position. */
28+ DataFlowType getParameterType ( SummarizedCallable c , ParameterPosition pos ) { any ( ) }
29+
2730/** Gets the return type of kind `rk` for callable `c`. */
2831bindingset [ c, rk]
2932DataFlowType getReturnType ( SummarizedCallable c , ReturnKind rk ) { any ( ) }
Original file line number Diff line number Diff line change @@ -26,6 +26,9 @@ SummaryCall summaryDataFlowCall(SummaryNode receiver) { receiver = result.getRec
2626/** Gets the type of content `c`. */
2727DataFlowType getContentType ( ContentSet c ) { any ( ) }
2828
29+ /** Gets the type of the parameter at the given position. */
30+ DataFlowType getParameterType ( SummarizedCallable c , ParameterPosition pos ) { any ( ) }
31+
2932/** Gets the return type of kind `rk` for callable `c`. */
3033bindingset [ c]
3134DataFlowType getReturnType ( SummarizedCallable c , ReturnKind rk ) { any ( ) }
You can’t perform that action at this time.
0 commit comments