Module Liveness

module Liveness: sig .. end

This module defines liveness analysis using Dataflow module.

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

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

make liveness analysis