Module Aorai_dataflow

module Aorai_dataflow: sig .. end

Compute the set of possible state at each function call and return.

Overapproximation of the states that can be attained at each statement, together with actions that have been performed.


val compute : unit -> unit