Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl
Predicates
| interpretInput | Provides additional source specification logic.
|
| interpretOutput | Provides additional sink specification logic.
|
| sinkElement | Holds if an external sink specification exists for n with input specification input and kind kind.
|
| sourceElement | Holds if an external source specification exists for n with output specification output and kind kind.
|
Classes
| InterpretNode | An entity used to interpret a source/sink specification.
|
Aliases
| Element | A program element. Either a control flow element (ControlFlowElement), an attribute (Attribute), a declaration (Declaration), a modifier (Modifier), a namespace (Namespace), a namespace declaration (NamespaceDeclaration), a using directive (UsingDirective), or type parameter constraints (TypeParameterConstraints).
|
| SourceOrSinkElement | A program element. Either a control flow element (ControlFlowElement), an attribute (Attribute), a declaration (Declaration), a modifier (Modifier), a namespace (Namespace), a namespace declaration (NamespaceDeclaration), a using directive (UsingDirective), or type parameter constraints (TypeParameterConstraints).
|