Reach.Evidence.RepresentationOverlap (Reach v2.8.1)

Collects near-equivalent struct and bare-map representations across modules.

Summary

Collects source bare-map construction shapes.

Collects cross-module struct/bare-map shape overlaps.

Collects source-declared struct shapes.

@spec collect_maps(Reach.Project.t()) :: [
  Reach.Evidence.RepresentationOverlap.MapShape.t()
]

Collects source bare-map construction shapes.

@spec collect_project(
  Reach.Project.t(),
  keyword()
) :: [Reach.Evidence.RepresentationOverlap.Fact.t()]

Collects cross-module struct/bare-map shape overlaps.

@spec collect_structs(Reach.Project.t()) :: [
  Reach.Evidence.RepresentationOverlap.StructShape.t()
]

Collects source-declared struct shapes.