Reach.Evidence.Bypass (Reach v2.8.1)

Normalizes evidence that code reimplements an available capability.

Summary

origin()

Adds normalized capability-bypass metadata to an existing fact.

fact(attrs)

Builds a normalized capability-bypass fact.

fact?(fact)

Returns whether an evidence fact represents an available-capability bypass.

Converts cross-dependency clone families into project-located bypass facts.

@type origin() :: :stdlib_pattern | :plugin_pattern | :dependency_clone

@spec annotate(
  Reach.Evidence.Fact.t(),
  keyword()
) :: Reach.Evidence.Fact.t()

Adds normalized capability-bypass metadata to an existing fact.

@spec fact(keyword()) :: Reach.Evidence.Fact.t()

Builds a normalized capability-bypass fact.

@spec fact?(term()) :: boolean()

Returns whether an evidence fact represents an available-capability bypass.

@spec from_dependency_clones([Reach.Evidence.CloneAnalysis.Clone.t()]) :: [
  Reach.Evidence.Fact.t()
]

Converts cross-dependency clone families into project-located bypass facts.