GHC.Debug.TypePointsFrom

Type Points From analysis in the style of - Cork: Dynamic Memory Leak Detectionfor Garbage-Collected Languages - https://dl.acm.org/doi/10.1145/1190216.1190224 -

Documentation

typePointsFrom :: [ClosurePtr] -> DebugM TypePointsFrom

Perform a "type points from" heap census

detectLeaks :: Int -> Debuggee -> IO ()

Repeatedly call typesPointsFrom and perform the leak detection analysis.

data TypePointsFrom

Constructors

TypePointsFrom

Fields

• nodes :: !(MonoidalMap Key CensusStats)
• edges :: !(MonoidalMap Edge CensusStats)

Instances

Monoid TypePointsFrom

Defined in GHC.Debug.TypePointsFrom

Methods

mempty :: TypePointsFrom

mappend :: TypePointsFrom -> TypePointsFrom -> TypePointsFrom

mconcat :: [TypePointsFrom] -> TypePointsFrom

Semigroup TypePointsFrom

Defined in GHC.Debug.TypePointsFrom

Methods

(<>) :: TypePointsFrom -> TypePointsFrom -> TypePointsFrom

sconcat :: NonEmpty TypePointsFrom -> TypePointsFrom

stimes :: Integral b => b -> TypePointsFrom -> TypePointsFrom

Show TypePointsFrom

Defined in GHC.Debug.TypePointsFrom

Methods

showsPrec :: Int -> TypePointsFrom -> ShowS

show :: TypePointsFrom -> String

showList :: [TypePointsFrom] -> ShowS

getNodes :: TypePointsFrom -> Map Key CensusStats

getEdges :: TypePointsFrom -> Map Edge CensusStats

edgeSource :: Edge -> Key

edgeTarget :: Edge -> Key

type Key = InfoTablePtr

data Edge

Constructors

Edge !Key !Key

Instances

Show Edge

Defined in GHC.Debug.TypePointsFrom

Methods

showsPrec :: Int -> Edge -> ShowS

show :: Edge -> String

showList :: [Edge] -> ShowS

Eq Edge

Defined in GHC.Debug.TypePointsFrom

Methods

(==) :: Edge -> Edge -> Bool

(/=) :: Edge -> Edge -> Bool

Ord Edge

Defined in GHC.Debug.TypePointsFrom

Methods

compare :: Edge -> Edge -> Ordering

(<) :: Edge -> Edge -> Bool

(<=) :: Edge -> Edge -> Bool

(>) :: Edge -> Edge -> Bool

(>=) :: Edge -> Edge -> Bool

max :: Edge -> Edge -> Edge

min :: Edge -> Edge -> Edge

getKey :: InfoTablePtr -> DebugM String