A decoded external value observed crossing a storage or process boundary.
Summary
Types
@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()] }