Class MultiValueStateDomain<Product, Value>

A multi-value state abstract domain that maps AST node IDs to multiple abstract values from different abstract domains.

See

NodeId for the node IDs of the AST nodes

Type Parameters

Product extends PartialProduct
Type of the abstract product of the multi-value domain combining multiple abstract values
Value extends StateDomainLift<MultiValueDomain<Product>> = StateDomainLift<MultiValueDomain<Product>>

Hierarchy (View Summary)

StateAbstractDomain<MultiValueDomain<Product>, Value>
- MultiValueStateDomain

Index

Constructors

constructor

new MultiValueStateDomain<
    Product extends Partial<AbstractProduct<AnyAbstractDomain>>,
    Value extends
        StateDomainLift<MultiValueDomain<Product>> = StateDomainLift<
        MultiValueDomain<Product>,
    >,
>(
    value: Value,
    domain: Required<Product>,
    reductions?: readonly ProductReduction<Product>[],
    collapseOnBottom?: boolean,
): MultiValueStateDomain<Product, Value>
Type Parameters
- Product extends Partial<AbstractProduct<AnyAbstractDomain>>
  Type of the abstract product of the multi-value domain combining multiple abstract values
- Value extends StateDomainLift<MultiValueDomain<Product>> = StateDomainLift<MultiValueDomain<Product>>
Parameters
- value: Value
- domain: Required<Product>
- reductions: readonly ProductReduction<Product>[] = []
- collapseOnBottom: boolean = true
Returns MultiValueStateDomain<Product, Value>
Overrides StateAbstractDomain.constructor
- Defined in src/abstract-interpretation/domains/multi-value-state-domain.ts:15

Properties

`Protected` `Readonly`_value

_value: Value

`Readonly`collapseOnBottom

collapseOnBottom: boolean

Whether mapping a single NodeId to Bottom collapses the whole state to Bottom or keeps it as a regular entry

`Readonly`domain

domain: MultiValueDomain

The underlying value domain of the state domain.

Accessors

value

get value(): Lift
The current abstract value of the lattice.

Returns Lift
Inherited from StateAbstractDomain.value
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:26

Methods

`Static`bottom

bottom<
    Domain extends AnyAbstractDomain,
    StateDomain extends StateAbstractDomain<Domain, typeof Bottom>,
>(
    this: new (
        value: typeof Bottom,
        domain: Domain,
        collapseOnBottom?: boolean,
    ) => StateDomain,
    domain: Domain,
    collapseOnBottom?: boolean,
): StateDomain
Type Parameters
- Domain extends AnyAbstractDomain
- StateDomain extends StateAbstractDomain<Domain, typeof Bottom>
Parameters
- this: new (
      value: typeof Bottom,
      domain: Domain,
      collapseOnBottom?: boolean,
  ) => StateDomain
- domain: Domain
- collapseOnBottom: boolean = true
Returns StateDomain
Inherited from StateAbstractDomain.bottom
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:56

`Static`joinAll

joinAll<Domain extends AnyAbstractDomain>(
values: Domain[],
defaultValue?: Domain,
): Domain
Joins an array of abstract values by joining the first abstract value with the other values in the array. The provided array of abstract values must not be empty or a default value must be provided!
Type Parameters
- Domain extends AnyAbstractDomain
Parameters
- values: Domain[]
- OptionaldefaultValue: Domain
Returns Domain
Inherited from StateAbstractDomain.joinAll
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:229

`Static`meetAll

meetAll<Domain extends AnyAbstractDomain>(
values: Domain[],
defaultValue?: Domain,
): Domain
Meets an array of abstract values by meeting the first abstract value with the other values in the array. The provided array of abstract values must not be empty or a default value must be provided!
Type Parameters
- Domain extends AnyAbstractDomain
Parameters
- values: Domain[]
- OptionaldefaultValue: Domain
Returns Domain
Inherited from StateAbstractDomain.meetAll
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:238

`Static`top

top<
    Domain extends AnyAbstractDomain,
    StateDomain extends StateAbstractDomain<Domain, StateDomainTop>,
>(
    this: new (
        value: StateDomainTop,
        domain: Domain,
        collapseOnBottom?: boolean,
    ) => StateDomain,
    domain: Domain,
    collapseOnBottom?: boolean,
): StateDomain
Type Parameters
- Domain extends AnyAbstractDomain
- StateDomain extends StateAbstractDomain<Domain, StateDomainTop>
Parameters
- this: new (
      value: StateDomainTop,
      domain: Domain,
      collapseOnBottom?: boolean,
  ) => StateDomain
- domain: Domain
- collapseOnBottom: boolean = true
Returns StateDomain
Inherited from StateAbstractDomain.top
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:52

`Static`toString

toString(this: void, value: unknown): string
Converts an element of an abstract domain into a string.
Parameters
- this: void
- value: unknown
Returns string
Inherited from StateAbstractDomain.toString
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:246

bottom

bottom(): MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
typeof Bottom,
>
Gets the Bottom element (least element) of the complete lattice (should additionally be provided as static function).

Returns MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
typeof Bottom,
>
Inherited from StateAbstractDomain.bottom
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:88

create

create(value: StateDomainLift<MultiValueDomain<Product>>): this
Creates an abstract value of the lattice for a given value.
Parameters
- value: StateDomainLift<MultiValueDomain<Product>>
Returns this
Overrides StateAbstractDomain.create
- Defined in src/abstract-interpretation/domains/multi-value-state-domain.ts:19

entries

entries(): readonly [NodeId, MultiValueDomain<Product>][]
Returns all node-value pairs of the state domain.

Returns readonly [NodeId, MultiValueDomain<Product>][]
Overrides StateAbstractDomain.entries
- Defined in src/abstract-interpretation/domains/multi-value-state-domain.ts:55
entries<Key extends string | number | symbol>(
property: Key,
): readonly [NodeId, Product[Key]][]
Type Parameters
- Key extends string | number | symbol
Parameters
- property: Key
Returns readonly [NodeId, Product[Key]][]
Overrides StateAbstractDomain.entries
- Defined in src/abstract-interpretation/domains/multi-value-state-domain.ts:56

equals

equals(other: this): boolean
Checks whether the current abstract value equals to another abstract value.
Parameters
- other: this
Returns boolean
Inherited from StateAbstractDomain.equals
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:36

`Protected`equalsValue

equalsValue(
    this: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
    other: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
): boolean
Parameters
- this: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
- other: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
Returns boolean
Inherited from StateAbstractDomain.equalsValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:120

get

get(node: NodeId): MultiValueDomain<Product> | undefined
Gets the inferred abstract value for an AST node ID.
Parameters
- node: NodeId
Returns MultiValueDomain<Product> | undefined
Inherited from StateAbstractDomain.get
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:60

getBottomNodes

getBottomNodes(): NodeId[]
Gets the AST node IDs in the state domain that are mapped to Bottom.

Returns NodeId[]
Overrides StateAbstractDomain.getBottomNodes
- Defined in src/abstract-interpretation/domains/multi-value-state-domain.ts:66

getValue

getValue<Key extends string | number | symbol>(
node: NodeId,
property: Key,
): Product[Key] | undefined
Type Parameters
- Key extends string | number | symbol
Parameters
- node: NodeId
- property: Key
Returns Product[Key] | undefined
- Defined in src/abstract-interpretation/domains/multi-value-state-domain.ts:23

has

has(node: NodeId): boolean
Checks whether the state domain has an inferred value for an AST node ID.
Parameters
- node: NodeId
Returns boolean
Inherited from StateAbstractDomain.has
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:64

hasValue

hasValue(node: NodeId, property: keyof Product): boolean
Parameters
- node: NodeId
- property: keyof Product
Returns boolean
- Defined in src/abstract-interpretation/domains/multi-value-state-domain.ts:30

isBottom

isBottom(): this is MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
typeof Bottom,
>
Whether the state is Bottom.

Returns this is MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
typeof Bottom,
>
Inherited from StateAbstractDomain.isBottom
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:175

isNotBottom

isNotBottom(): this is MultiValueStateDomain<Product, Value> & AbstractDomain<
    StateDomainValue<MultiValueDomain<Product>>,
    StateDomainTop,
    typeof Bottom,
    StateDomainValue<MultiValueDomain<(...)>> | StateDomainTop,
>
Returns this is MultiValueStateDomain<Product, Value> & AbstractDomain<
    StateDomainValue<MultiValueDomain<Product>>,
    StateDomainTop,
    typeof Bottom,
    StateDomainValue<MultiValueDomain<(...)>> | StateDomainTop,
>
Inherited from StateAbstractDomain.isNotBottom
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:215

isNotTop

isNotTop(): this is MultiValueStateDomain<Product, Value> & AbstractDomain<
    StateDomainValue<MultiValueDomain<Product>>,
    StateDomainTop,
    typeof Bottom,
    typeof Bottom | StateDomainValue<MultiValueDomain<(...)>>,
>
Returns this is MultiValueStateDomain<Product, Value> & AbstractDomain<
    StateDomainValue<MultiValueDomain<Product>>,
    StateDomainTop,
    typeof Bottom,
    typeof Bottom | StateDomainValue<MultiValueDomain<(...)>>,
>
Inherited from StateAbstractDomain.isNotTop
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:209

isNotValue

isNotValue(): this is MultiValueStateDomain<Product, Value> & AbstractDomain<
    StateDomainValue<MultiValueDomain<Product>>,
    StateDomainTop,
    typeof Bottom,
    typeof Bottom | StateDomainTop,
>
Returns this is MultiValueStateDomain<Product, Value> & AbstractDomain<
    StateDomainValue<MultiValueDomain<Product>>,
    StateDomainTop,
    typeof Bottom,
    typeof Bottom | StateDomainTop,
>
Inherited from StateAbstractDomain.isNotValue
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:221

isTop

isTop(): this is MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
StateDomainTop,
>
Checks whether the current abstract value is the Top element of the complete lattice.

Returns this is MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
StateDomainTop,
>
Inherited from StateAbstractDomain.isTop
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:171

isValue

isValue(): this is MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
StateDomainValue<MultiValueDomain<Product>>,
>
Checks whether the current abstract value is an actual value of the complete lattice (this may include the Top or Bottom element if they are also values and no separate symbols, for example).

Returns this is MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
StateDomainValue<MultiValueDomain<Product>>,
>
Inherited from StateAbstractDomain.isValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:179

join

join(
    other:
        | MultiValueStateDomain<Product, Value>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
): this
Joins the current abstract value with another abstract value by creating the least upper bound (LUB) in the lattice.
Parameters
- other:
      | MultiValueStateDomain<Product, Value>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
Returns this
Inherited from StateAbstractDomain.join
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:58

joinAll

joinAll(values: readonly MultiValueStateDomain<Product, Value>[]): this
Joins the current abstract value with multiple other abstract values.
Parameters
- values: readonly MultiValueStateDomain<Product, Value>[]
Returns this
Inherited from StateAbstractDomain.joinAll
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:78

`Protected`joinValue

joinValue(
    this: MultiValueStateDomain<Product, Value> & StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
    other: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
): this
Parameters
- this: MultiValueStateDomain<Product, Value> & StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
- other: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
Returns this
Inherited from StateAbstractDomain.joinValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:133

`Protected`jsonify

jsonify(
    this: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
): unknown
Parameters
- this: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
Returns unknown
Inherited from StateAbstractDomain.jsonify
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:163

leq

leq(other: this): boolean
Checks whether the current abstract value is less than or equal to another abstract value with respect to the partial order of the lattice.
Parameters
- other: this
Returns boolean
Inherited from StateAbstractDomain.leq
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:47

`Protected`leqValue

leqValue(
    this: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
    other: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
): boolean
Parameters
- this: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
- other: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
Returns boolean
Inherited from StateAbstractDomain.leqValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:124

meet

meet(
    other:
        | MultiValueStateDomain<Product, Value>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
): this
Meets the current abstract value with another abstract value by creating the greatest lower bound (GLB) in the lattice.
Parameters
- other:
      | MultiValueStateDomain<Product, Value>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
Returns this
Inherited from StateAbstractDomain.meet
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:87

meetAll

meetAll(values: readonly MultiValueStateDomain<Product, Value>[]): this
Meets the current abstract value with multiple other abstract values.
Parameters
- values: readonly MultiValueStateDomain<Product, Value>[]
Returns this
Inherited from StateAbstractDomain.meetAll
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:107

`Protected`meetValue

meetValue(
    this: MultiValueStateDomain<Product, Value> & StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
    other: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
): this
Parameters
- this: MultiValueStateDomain<Product, Value> & StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
- other: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
Returns this
Inherited from StateAbstractDomain.meetValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:155

merge

merge(
    other: this,
    merge: (
        first: StateDomainValue,
        second: StateDomainValue,
    ) =>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
    bottomDefault: (
        other:
            | typeof Bottom
            | StateDomainValue<MultiValueDomain<Product>>
            | StateDomainTop,
    ) =>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
    topDefault: (
        other:
            | typeof Bottom
            | StateDomainValue<MultiValueDomain<Product>>
            | StateDomainTop,
    ) =>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
): this
Parameters
- other: this
- merge: (
      first: StateDomainValue,
      second: StateDomainValue,
  ) =>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
- bottomDefault: (
      other:
          | typeof Bottom
          | StateDomainValue<MultiValueDomain<Product>>
          | StateDomainTop,
  ) =>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
- topDefault: (
      other:
          | typeof Bottom
          | StateDomainValue<MultiValueDomain<Product>>
          | StateDomainTop,
  ) =>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
Returns this
Inherited from StateAbstractDomain.merge
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:164
merge(
    other: this,
    merge: (
        first: StateDomainValue<MultiValueDomain<Product>> | StateDomainTop,
        second: StateDomainValue<MultiValueDomain<Product>> | StateDomainTop,
    ) =>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
    bottomDefault: (
        other:
            | typeof Bottom
            | StateDomainValue<MultiValueDomain<Product>>
            | StateDomainTop,
    ) =>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
): this
Parameters
- other: this
- merge: (
      first: StateDomainValue<MultiValueDomain<Product>> | StateDomainTop,
      second: StateDomainValue<MultiValueDomain<Product>> | StateDomainTop,
  ) =>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
- bottomDefault: (
      other:
          | typeof Bottom
          | StateDomainValue<MultiValueDomain<Product>>
          | StateDomainTop,
  ) =>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
Returns this
Inherited from StateAbstractDomain.merge
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:165
merge(
    other: this,
    merge: (
        first:
            | typeof Bottom
            | StateDomainValue<MultiValueDomain<Product>>
            | StateDomainTop,
        second:
            | typeof Bottom
            | StateDomainValue<MultiValueDomain<Product>>
            | StateDomainTop,
    ) =>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
): this
Parameters
- other: this
- merge: (
      first:
          | typeof Bottom
          | StateDomainValue<MultiValueDomain<Product>>
          | StateDomainTop,
      second:
          | typeof Bottom
          | StateDomainValue<MultiValueDomain<Product>>
          | StateDomainTop,
  ) =>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
Returns this
Inherited from StateAbstractDomain.merge
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:166

narrow

narrow(other: this): this
Narrows the current abstract value with another abstract value as a sound over-approximation of the meet (greatest lower bound) to refine the value after widening.
Parameters
- other: this
Returns this
Inherited from StateAbstractDomain.narrow
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:137

`Protected`narrowValue

narrowValue(
    this: MultiValueStateDomain<Product, Value> & StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
    other: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
): this
Parameters
- this: MultiValueStateDomain<Product, Value> & StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
- other: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
Returns this
Inherited from StateAbstractDomain.narrowValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:159

remove

remove(node: NodeId): void
Removes the inferred value for an AST node ID from the state domain.
Parameters
- node: NodeId
Returns void
Inherited from StateAbstractDomain.remove
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:74

removeValue

removeValue<Key extends string | number | symbol>(
node: NodeId,
property: Key,
): void
Type Parameters
- Key extends string | number | symbol
Parameters
- node: NodeId
- property: Key
Returns void
- Defined in src/abstract-interpretation/domains/multi-value-state-domain.ts:43

set

set(node: NodeId, value: MultiValueDomain): void
Sets the inferred value for an AST node ID from the state domain.
Parameters
- node: NodeId
- value: MultiValueDomain
Returns void
Inherited from StateAbstractDomain.set
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:68

setValue

setValue<Key extends string | number | symbol>(
    node: NodeId,
    property: Key,
    value: Product[Key],
): void
Type Parameters
- Key extends string | number | symbol
Parameters
- node: NodeId
- property: Key
- value: Product[Key]
Returns void
- Defined in src/abstract-interpretation/domains/multi-value-state-domain.ts:34

`Protected`stringify

stringify(
    this: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
): string
Parameters
- this: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
Returns string
Inherited from StateAbstractDomain.stringify
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:167

toJSON

toJSON(): unknown
Converts the lattice into a JSON serializable value.

Returns unknown
Inherited from StateAbstractDomain.toJSON
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:185

top

top(): MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
StateDomainTop,
>
Gets the Top element (greatest element) of the complete lattice (should additionally be provided as static function).

Returns MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
StateDomainTop,
>
Inherited from StateAbstractDomain.top
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:84

toString

toString(): string
Converts the lattice into a human-readable string.

Returns string
Inherited from StateAbstractDomain.toString
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:196

transform

transform(
    transform: (
        value: StateDomainValue,
    ) =>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
    bottomDefault:
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
    topDefault:
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
): this
Parameters
- transform: (
      value: StateDomainValue,
  ) =>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
- bottomDefault: typeof Bottom | StateDomainValue<MultiValueDomain<Product>> | StateDomainTop
- topDefault: typeof Bottom | StateDomainValue<MultiValueDomain<Product>> | StateDomainTop
Returns this
Inherited from StateAbstractDomain.transform
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:152
transform(
    transform: (
        value: StateDomainValue<MultiValueDomain<Product>> | StateDomainTop,
    ) =>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
    bottomDefault:
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
): this
Parameters
- transform: (
      value: StateDomainValue<MultiValueDomain<Product>> | StateDomainTop,
  ) =>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
- bottomDefault: typeof Bottom | StateDomainValue<MultiValueDomain<Product>> | StateDomainTop
Returns this
Inherited from StateAbstractDomain.transform
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:153
transform(
    transform: (
        value:
            | typeof Bottom
            | StateDomainValue<MultiValueDomain<Product>>
            | StateDomainTop,
    ) =>
        | typeof Bottom
        | StateDomainValue<MultiValueDomain<Product>>
        | StateDomainTop,
): this
Parameters
- transform: (
      value:
          | typeof Bottom
          | StateDomainValue<MultiValueDomain<Product>>
          | StateDomainTop,
  ) =>
      | typeof Bottom
      | StateDomainValue<MultiValueDomain<Product>>
      | StateDomainTop
Returns this
Inherited from StateAbstractDomain.transform
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:154

widen

widen(other: this): this
Widens the current abstract value with another abstract value as a sound over-approximation of the join (least upper bound) for fixpoint iteration acceleration.
Parameters
- other: this
Returns this
Inherited from StateAbstractDomain.widen
- Defined in src/abstract-interpretation/domains/abstract-domain.ts:119

`Protected`widenValue

widenValue(
    this: MultiValueStateDomain<Product, Value> & StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
    other: StateAbstractDomain<
        MultiValueDomain<Product>,
        StateDomainValue<MultiValueDomain<Product>>,
    >,
): this
Parameters
- this: MultiValueStateDomain<Product, Value> & StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
- other: StateAbstractDomain<
  MultiValueDomain<Product>,
  StateDomainValue<MultiValueDomain<Product>>,
  >
Returns this
Inherited from StateAbstractDomain.widenValue
- Defined in src/abstract-interpretation/domains/state-abstract-domain.ts:137

Class MultiValueStateDomain<Product, Value>

See

Type Parameters

Hierarchy (View Summary)

Index

Constructors

Properties

Accessors

Methods

Constructors

constructor

Type Parameters

Parameters

Returns MultiValueStateDomain<Product, Value>

Properties

Protected Readonly_value

ReadonlycollapseOnBottom

Readonlydomain

Accessors

value

Returns Lift

Methods

Staticbottom

Type Parameters

Parameters

Returns StateDomain

StaticjoinAll

Type Parameters

Parameters

Returns Domain

StaticmeetAll

Type Parameters

Parameters

Returns Domain

Statictop

Type Parameters

Parameters

Returns StateDomain

StatictoString

Parameters

Returns string

bottom

Returns MultiValueStateDomain<Product, Value> & StateAbstractDomain< MultiValueDomain<Product>, typeof Bottom,>

create

Parameters

Returns this

entries

Returns readonly [NodeId, MultiValueDomain<Product>][]

Type Parameters

Parameters

Returns readonly [NodeId, Product[Key]][]

equals

Parameters

Returns boolean

ProtectedequalsValue

Parameters

Returns boolean

get

Parameters

Returns MultiValueDomain<Product> | undefined

getBottomNodes

Returns NodeId[]

getValue

Type Parameters

Parameters

Returns Product[Key] | undefined

has

Parameters

Returns boolean

hasValue

Parameters

Returns boolean

isBottom

Returns this is MultiValueStateDomain<Product, Value> & StateAbstractDomain< MultiValueDomain<Product>, typeof Bottom,>

isNotBottom

Returns this is MultiValueStateDomain<Product, Value> & AbstractDomain< StateDomainValue<MultiValueDomain<Product>>, StateDomainTop, typeof Bottom, StateDomainValue<MultiValueDomain<(...)>> | StateDomainTop,>

isNotTop

Returns this is MultiValueStateDomain<Product, Value> & AbstractDomain< StateDomainValue<MultiValueDomain<Product>>, StateDomainTop, typeof Bottom, typeof Bottom | StateDomainValue<MultiValueDomain<(...)>>,>

isNotValue

Returns this is MultiValueStateDomain<Product, Value> & AbstractDomain< StateDomainValue<MultiValueDomain<Product>>, StateDomainTop, typeof Bottom, typeof Bottom | StateDomainTop,>

`Protected` `Readonly`_value

`Readonly`collapseOnBottom

`Readonly`domain

`Static`bottom

`Static`joinAll

`Static`meetAll

`Static`top

`Static`toString

Returns MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
typeof Bottom,
>

`Protected`equalsValue

Returns this is MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
typeof Bottom,
>

Returns this is MultiValueStateDomain<Product, Value> & AbstractDomain<
StateDomainValue<MultiValueDomain<Product>>,
StateDomainTop,
typeof Bottom,
StateDomainValue<MultiValueDomain<(...)>> | StateDomainTop,
>

Returns this is MultiValueStateDomain<Product, Value> & AbstractDomain<
StateDomainValue<MultiValueDomain<Product>>,
StateDomainTop,
typeof Bottom,
typeof Bottom | StateDomainValue<MultiValueDomain<(...)>>,
>

Returns this is MultiValueStateDomain<Product, Value> & AbstractDomain<
StateDomainValue<MultiValueDomain<Product>>,
StateDomainTop,
typeof Bottom,
typeof Bottom | StateDomainTop,
>

Returns this is MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
StateDomainTop,
>

Returns this is MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
StateDomainValue<MultiValueDomain<Product>>,
>

`Protected`joinValue

`Protected`jsonify

`Protected`leqValue

`Protected`meetValue

`Protected`narrowValue

`Protected`stringify

Returns MultiValueStateDomain<Product, Value> & StateAbstractDomain<
MultiValueDomain<Product>,
StateDomainTop,
>