ProgramFacts.Differential (program_facts v0.2.1)

Copy Markdown View Source

Differential analyzer comparison.

An analyzer can be a module implementing ProgramFacts.Analyzer or a {name, fun} callback where fun.(program) returns facts, a map, or an analyzer result.

Summary

Functions

Runs analyzers against a program and reports whether normalized facts agree.

Types

analyzer()

@type analyzer() ::
  module() | {atom() | String.t(), (ProgramFacts.Program.t() -> term())}

Functions

compare(program, analyzers)

@spec compare(ProgramFacts.Program.t(), [analyzer()]) :: map()

Runs analyzers against a program and reports whether normalized facts agree.