Class TaintFlow

Taint flow descriptor.

By default, it uses EulerFlow to traverse the graph. First, it checks data flow reachability from the source to the sink. With the result source-sink pairs, it then checks control flow reachability. If the source-sink pair is reachable in control flow, it adds the path to the result.

Hierarchy

  • BaseFlow
    • TaintFlow

Constructors

constructor

Properties

alias property

Methods

as barrier build configure exists sink source

Constructors

constructor

Properties

Protectedalias

alias: string

Protectedproperty

property: FlowProperty

Methods

as

  • as(alias: string): ICanBuildFlowDescriptor

    Set the alias of the result table.

    Parameters

    • alias: string

      Alias of the result table.

    Returns ICanBuildFlowDescriptor

barrier

  • barrier(alias: string): ICanSetFlowSink

    Set the barrier table of the flow.

    Parameters

    • alias: string

      Alias of the barrier table.

    Returns ICanSetFlowSink

build

  • build(): FlowDescriptor

    Returns FlowDescriptor

configure

Protectedexists

  • exists(
        current: Value,
        source: Column,
        sink: Column,
        barrier: Column,
        result: Table,
    ): void

    Parameters

    • current: Value
    • source: Column
    • sink: Column
    • barrier: Column
    • result: Table

    Returns void

sink

  • sink(alias: string): ICanSetFlowAlias

    Set the sink table of the flow.

    Parameters

    • alias: string

      Alias of the sink table.

    Returns ICanSetFlowAlias

source

  • source(alias: string): ICanSetFlowBarrier

    Set the source table of the flow.

    Parameters

    • alias: string

      Alias of the source table.

    Returns ICanSetFlowBarrier

Settings

Member Visibility

On This Page

Constructors
Properties
Methods