Type Alias TaintCondition<Domain>

Mapping of incoming function arguments and taints to a resulting taint

type TaintCondition<Domain extends AnyAbstractDomain = AnyAbstractDomain> = {
    allArgs?: boolean;
    argDefinition?: TaintParameterLocation[];
    argSignature?: { props: ArgProps; sig: FnSig };
    argValues?: FunctionParameterLocation<unknown>[];
    conditionFn: TaintConditionFunction<Domain>;
}

Type Parameters

Domain extends AnyAbstractDomain = AnyAbstractDomain

Index

Properties

allArgs? argDefinition? argSignature? argValues? conditionFn

Properties

`Optional`allArgs

allArgs?: boolean

additionally consider the taints of every argument of the call

`Optional`argDefinition

argDefinition?: TaintParameterLocation[]

`Optional`argSignature

argSignature?: { props: ArgProps; sig: FnSig }

`Optional`argValues

argValues?: FunctionParameterLocation<unknown>[]

conditionFn

conditionFn: TaintConditionFunction<Domain>