ghc-debug-client-0.4.0.1: Useful functions for writing heap analysis tools which use ghc-debug.
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Debug.TypePointsFrom

Description

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 -

Synopsis

Documentation

typePointsFrom :: [ClosurePtr] -> DebugM TypePointsFrom Source #

Perform a "type points from" heap census

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

Repeatedly call typesPointsFrom and perform the leak detection analysis.

data Edge Source #

Constructors

Edge !Key !Key 

Instances

Instances details
Show Edge Source # 
Instance details

Defined in GHC.Debug.TypePointsFrom

Methods

showsPrec :: Int -> Edge -> ShowS #

show :: Edge -> String #

showList :: [Edge] -> ShowS #

Eq Edge Source # 
Instance details

Defined in GHC.Debug.TypePointsFrom

Methods

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

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

Ord Edge Source # 
Instance details

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 #