ProgramFacts.Fact.DataFlow (program_facts v0.2.0)

Copy Markdown View Source

A ground-truth data-flow oracle fact.

Summary

Types

t()

Functions

from_map!(map)
new(flow)
to_map(flow)

Types

t()

@type t() :: %ProgramFacts.Fact.DataFlow{
  branch: atom() | nil,
  from: ProgramFacts.Fact.DataRef.t(),
  through: [ProgramFacts.Fact.DataRef.t()],
  to: ProgramFacts.Fact.DataRef.t(),
  variable_names: [atom()]
}

Functions

from_map!(map)

new(flow)

to_map(flow)