Frama-C API - `Impact`

module Compute_impact : sig ... end

module Options : sig ... end

module Pdg_aux : sig ... end

Useful functions that are not directly accessible through the other Pdg modules.

module Reason_graph : sig ... end

module Register : sig ... end

Frama-C API - Impact