| Safe Haskell | None |
|---|
LLVM.Analysis.PointsTo.Andersen
Description
This is a simple implementation of Andersen's points-to analysis.
TODO:
- Add field sensitivity eventually. See http:delivery.acm.org10.114513000001290524a4-pearce.pdf?ip=128.105.181.27&acc=ACTIVE%20SERVICE&CFID=52054919&CFTOKEN=71981976&__acm__=1320350342_65be4c25a6fba7e32d7b4cd60f13fe97
- data Andersen
- runPointsToAnalysis :: Module -> Andersen
- runPointsToAnalysisWith :: (Value -> Bool) -> Module -> Andersen
- andersenConstraintGraph :: Andersen -> DotGraph Int
Types
Instances
Constructor
runPointsToAnalysis :: Module -> AndersenSource
runPointsToAnalysisWith :: (Value -> Bool) -> Module -> AndersenSource
Debugging aids (note, subject to change and unstable)
andersenConstraintGraph :: Andersen -> DotGraph IntSource