Reach.Trace.Pattern.Preset (Reach v2.8.1)

Copy Markdown View Source

A named set of source-to-sink matcher routes for trace analysis.

Summary

Types

matcher()
route()
t()

Types

matcher()

@type matcher() :: (Reach.IR.Node.t() -> boolean())

route()

@type route() :: %{source: matcher(), sink: matcher()}

t()

@type t() :: %Reach.Trace.Pattern.Preset{
  from: String.t(),
  name: String.t(),
  routes: [route()],
  to: String.t()
}