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 ).
|