Module Local_slevel_compute

module Local_slevel_compute: sig .. end
Value analysis of virtual functions for local slevel feature. Nothing is exported, but this module fills Local_slevel.compute_sub_function_ref

val compute_sub_function : Kernel_function.t ->
Cil_types.stmt ->
Local_slevel_types.local_slevel_info ->
State_set.t -> Cvalue.Model.t * Base.SetLattice.t