Class TaintMapper<Domain>

constructor

• new TaintMapper<Domain extends AnyAbstractDomain>(
      mapper?: readonly TaintMappingInternal<Domain>[],
  ): TaintMapper<Domain>

  Type Parameters

  • Domain extends AnyAbstractDomain

  Parameters

  • Optionalmapper: readonly TaintMappingInternal<Domain>[]

  Returns TaintMapper<Domain>

Readonlymapper

Staticmatches

• matches(this: void, mapped: Identifier, called: Identifier): boolean

  Whether a mapped identifier applies to a call of called, which matches any namespace when it names none

  Parameters

  • this: void
  • mapped: Identifier
  • called: Identifier

  Returns boolean

clone

• clone(): TaintMapper<Domain>

  Create a new, independent mapper containing the same taint mappings

  Returns TaintMapper<Domain>

getMappings

• getMappings(identifier: Identifier): TaintMappingInternal<Domain>[]

  Get all mappings belonging to the given identifier

  Parameters

  • identifier: Identifier

  Returns TaintMappingInternal<Domain>[]

pushMapping

• pushMapping(mappings: TaintMapping<Domain>[]): void

  Add one or more taint mapping rules to the mapper

  Parameters

  • mappings: TaintMapping<Domain>[]

  Returns void

pushMappingIfNotExists

• pushMappingIfNotExists(rules: TaintMapping<Domain>[]): void

  Add one or more taint mapping rules to the mapper. If a mapping for the same function call and TaintRole already exists, it is skipped.

  Parameters

  • rules: TaintMapping<Domain>[]

  Returns void