Module Propagation

module Propagation: sig .. end

This module offers constant propagation analysis using Dataflow

type propagation = (module Dataflow.ANALYSIS with type st = Dex.link)

val make_dfa : Dex.dex -> Dex.code_item -> propagation

make constant propagation analysis

val to_map : string -> string Util.IM.t

retrieve a register-value mapping