Frama-C API - A
module M = Mmodule L = Lval domain : M.loc Memory.region -> Sigma.Heap.setMemory footprint of a region.
val apply_assigns : Sigma.sigma Memory.sequence -> M.loc Memory.region -> Lang.F.pred listRelates two memory states corresponding to an assigns clause with the specified set of locations.