Reach.Evidence.ParameterShape (Reach v2.8.1)

Copy Markdown View Source

Collects map-shape variation flowing into function parameters.

Summary

Functions

Collects parameter map-shape facts from statically resolved project calls.

Functions

collect_project(project)

@spec collect_project(Reach.Project.t()) :: [Reach.Evidence.ParameterShape.Fact.t()]

Collects parameter map-shape facts from statically resolved project calls.