Reach.Concurrency (Reach v2.7.0)

Copy Markdown View Source

Detects concurrency patterns (Task, spawn, GenServer calls).

Summary

Functions

Analyzes IR nodes for concurrency patterns and returns a graph with concurrency-specific edges.

Functions

analyze(ir_nodes, opts \\ [])

@spec analyze(
  [Reach.IR.Node.t()],
  keyword()
) :: Graph.t()

Analyzes IR nodes for concurrency patterns and returns a graph with concurrency-specific edges.