Class CompositeTaintAnalysisDefinition<Name>

constructor

• new CompositeTaintAnalysisDefinition<Name extends string>(
      name: Name,
      definitions: readonly TaintAnalysisDefinition<
          string,
          AnyAbstractDomain,
          AbsintVisitorConfiguration,
      >[],
      options?: ComposeOptions,
  ): CompositeTaintAnalysisDefinition<Name>

  Type Parameters

  • Name extends string

  Parameters

  • name: Name
  • definitions: readonly TaintAnalysisDefinition<
        string,
        AnyAbstractDomain,
        AbsintVisitorConfiguration,
    >[]
  • Optionaloptions: ComposeOptions

  Returns CompositeTaintAnalysisDefinition<Name>

Readonlydefinitions

msg

Readonlyname

Readonlyreductions

createVisitor

• createVisitor(
      __namedParameters: TaintVisitorConfiguration,
      _fnCategories?: TaintFnCategory[],
  ): TaintInterpreter

  Creates the abstract interpreter that conducts the taint analysis for the given configuration.

  Parameters

  • __namedParameters: TaintVisitorConfiguration
  • Optional_fnCategories: TaintFnCategory[]

  Returns TaintInterpreter

report

• report(msg: ReportTemplate): this

  Parameters

  • msg: ReportTemplate

  Returns this

resultState

• resultState(
      interpreter: TaintInterpreter,
  ): StateAbstractDomain<AnyAbstractDomain>

  The result state of interpreter (created by createVisitor) for this analysis.

  Parameters

  • interpreter: TaintInterpreter

  Returns StateAbstractDomain<AnyAbstractDomain>