For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

FlowSummaryImplSpecific

Module FlowSummaryImplSpecific

Provides C# specific classes and predicates for defining flow summaries.

Import path


                                import semmle.code.csharp.dataflow.internal.FlowSummaryImplSpecific

Predicates

callbackSelfParameterPosition	Gets the parameter position of the instance parameter.
getArgumentPosition	Gets the textual representation of an argument position in the format used for flow summaries.
getCallbackParameterType	Gets the type of the parameter matching arguments at position `pos` in a synthesized call that targets a callback of type `t`.
getCallbackReturnType	Gets the return type of kind `rk` in a synthesized call that targets a callback of type `t`.
getContentType	Gets the type of content `c`.
getMadRepresentationSpecific	Gets the textual representation of a summary component in the format used for MaD models.
getParameterPosition	Gets the textual representation of a parameter position in the format used for flow summaries.
getParameterType	Gets the type of the parameter at the given position.
getReturnType	Gets the return type of kind `rk` for callable `c`.
getReturnValueKind	Gets the return kind corresponding to specification `"ReturnValue"`.
getSyntheticGlobalType	Gets the type of synthetic global `sg`.
inject
inputNeedsReferenceSpecific	Holds if input specification component `c` needs a reference.
interpretComponentSpecific	Gets the summary component for specification component `c`, if any.
interpretInputSpecific	Provides additional sink specification logic required for attributes.
interpretOutputSpecific	Provides additional sink specification logic required for attributes.
neutralElement	Holds if a neutral model exists for `c` of kind `kind` and with provenance `provenance`.
outputNeedsReferenceSpecific	Holds if output specification component `c` needs a reference.
parseArgBody	Gets the parameter position obtained by parsing `X` in `Argument[X]`.
parseParamBody	Gets the argument position obtained by parsing `X` in `Parameter[X]`.
sinkElement	Holds if an external sink specification exists for `e` with input specification `input`, kind `kind` and provenance `provenance`.
sourceElement	Holds if an external source specification exists for `e` with output specification `output`, kind `kind`, and provenance `provenance`.
summaryDataFlowCall	Gets the synthesized data-flow call for `receiver`.
summaryElement	Holds if an external flow summary exists for `c` with input specification `input`, output specification `output`, kind `kind`, and provenance `provenance`.

Classes

InterpretNode

An entity used to interpret a source/sink specification.

Aliases

NeutralCallableBase	A class of callables that are candidates for neutral modeling.
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`).
SummarizedCallableBase	A class of callables that are candidates for flow summary modeling.