Up – Package index » goblint index » Library goblint.lib » Goblint_lib » Region

Module `Goblint_lib.Region`

Analysis of disjoint heap regions for dynamically allocated memory (region).

see https://doi.org/10.1007/978-3-642-03237-0_13
Seidl, H., Vojdani, V. Region Analysis for Race Detection.

module RegMap = RegionDomain.RegMap

module RegPart = RegionDomain.RegPart

module Reg = RegionDomain.Reg

module Spec : sig ... end