Type Alias TaintConditionFunction<Domain>

TaintConditionFunction: (
args: unknown[],
taints: TaintConditionDomain<Domain>[],
) => AbstractValue<Domain> | undefined

Function describing how the resulting taint is calculated from incoming arguments and taints

Type Parameters

Domain extends AnyAbstractDomain

Type Declaration

- (
  args: unknown[],
  taints: TaintConditionDomain<Domain>[],
  ): AbstractValue<Domain> | undefined
- Parameters
  - args: unknown[]
  - taints: TaintConditionDomain<Domain>[]
  Returns AbstractValue<Domain> | undefined