Module bytecode::dataflow_domains

This module defines traits and representations of domains used in dataflow analysis.

Structs

• MapDomain
• SetDomain
  Implements a set domain.

Enums

• JoinResult
  Represents the abstract outcome of a join.

Traits

• AbstractDomain
  A trait to be implemented by domains which support a join.