Reach.Evidence.ExternalDataBoundary.Fact (Reach v2.8.1)

Copy Markdown View Source

A decoded external value observed crossing a storage or process boundary.

Summary

Types

t()

@type t() :: %Reach.Evidence.ExternalDataBoundary.Fact{
  boundary: String.t(),
  boundary_function: {module(), atom(), non_neg_integer()} | nil,
  boundary_kind: :storage | :process,
  column: pos_integer() | nil,
  consumer_functions: [{module(), atom(), non_neg_integer()}],
  consumer_keys: [String.t()],
  file: Path.t(),
  line: pos_integer() | nil,
  source: String.t(),
  source_line: pos_integer() | nil,
  variables: [atom()]
}