CodeQL library for C#
codeql/csharp-all 2.0.1-dev (changelog, source)
Search

Module Cached

Import path

import semmle.code.csharp.dataflow.internal.DataFlowDispatch

Predicates

viableCallable

Gets a viable run-time target for the call call.

Datatypes

TArgumentPosition
TDataFlowCall
TDataFlowCallable

The following heuristic is used to rank when to use source code or when to use summaries for DataFlowCallables. 1. Use hand written summaries or source code. 2. Use auto generated summaries.

TParameterPosition