Safe Haskell	None
Language	Haskell2010

Tokstyle.Analysis.PointsTo.Types

Synopsis

data MemLoc
- = StackLoc {
  - locId :: ScopedId
  }
- | HeapLoc {
  - allocSite :: Text
  }
- | GlobalVarLoc {
  - locId :: ScopedId
  }
- | ExternalParamLoc {
  - funcName :: Text
  - paramName :: Text
  }
- | FieldLoc {
  - baseLoc :: MemLoc
  - fieldName :: Text
  }
- | NullLoc
- | UnknownLoc
newtype IMemLoc = IMemLoc {
- unIMemLoc :: Int
}
data MemLocPool = MemLocPool {
- nextMemLocId :: !Int
- memLocToId :: !(Map MemLoc IMemLoc)
- idToMemLoc :: !(IntMap MemLoc)
- fieldIndex :: !(IntMap IntSet)
}
type Context = [ScopedId]
data FunctionSummary = FunctionSummary {
- fsReturnValue :: !IntSet
- fsParamEffects :: !(Map Int IntSet)
- fsMemEffects :: !(IntMap IntSet)
}
newtype GlobalEnv = GlobalEnv (Map (ScopedId, RelevantInputState) (FunctionSummary, PointsToFact))
data PointsToFact = PointsToFact {
- varMap :: !(Map ScopedId IntSet)
- memMap :: !(IntMap IntSet)
- unknownWrites :: !IntSet
}
newtype RelevantInputState = RelevantInputState PointsToFact
data PointsToContext l = PointsToContext {
- pcFilePath :: FilePath
- pcTypeSystem :: TypeSystem
- pcVTableMap :: VTableMap
- pcGlobalEnv :: GlobalEnv
- pcFuncs :: Map ScopedId [Node (Lexeme ScopedId)]
- pcCurrentFunc :: ScopedId
- pcVarTypes :: Map ScopedId (Node (Lexeme ScopedId))
}
type PointsToAnalysis = State MemLocPool
intern :: MemLoc -> PointsToAnalysis IMemLoc

Documentation

data MemLoc Source #

Constructors

StackLoc
Fields locId :: ScopedId
HeapLoc
Fields allocSite :: Text
GlobalVarLoc
Fields locId :: ScopedId
ExternalParamLoc
Fields funcName :: Text paramName :: Text
FieldLoc
Fields baseLoc :: MemLoc fieldName :: Text
NullLoc
UnknownLoc

Instances

Instances details

Eq MemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods (==) :: MemLoc -> MemLoc -> Bool # (/=) :: MemLoc -> MemLoc -> Bool #
Ord MemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods compare :: MemLoc -> MemLoc -> Ordering # (<) :: MemLoc -> MemLoc -> Bool # (<=) :: MemLoc -> MemLoc -> Bool # (>) :: MemLoc -> MemLoc -> Bool # (>=) :: MemLoc -> MemLoc -> Bool # max :: MemLoc -> MemLoc -> MemLoc # min :: MemLoc -> MemLoc -> MemLoc #
Show MemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods showsPrec :: Int -> MemLoc -> ShowS # show :: MemLoc -> String # showList :: [MemLoc] -> ShowS #
Generic MemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Associated Types type Rep MemLoc :: Type -> Type # Methods from :: MemLoc -> Rep MemLoc x # to :: Rep MemLoc x -> MemLoc #
Hashable MemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods hashWithSalt :: Int -> MemLoc -> Int # hash :: MemLoc -> Int #
type Rep MemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types type Rep MemLoc = D1 ('MetaData "MemLoc" "Tokstyle.Analysis.PointsTo.Types" "tokstyle-0.0.9-inplace" 'False) ((C1 ('MetaCons "StackLoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "locId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScopedId)) :+: (C1 ('MetaCons "HeapLoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "allocSite") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "GlobalVarLoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "locId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScopedId)))) :+: ((C1 ('MetaCons "ExternalParamLoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "funcName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "paramName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "FieldLoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "baseLoc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemLoc) :: S1 ('MetaSel ('Just "fieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "NullLoc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnknownLoc" 'PrefixI 'False) (U1 :: Type -> Type))))

newtype IMemLoc Source #

Interned Memory Location (just an Int for efficiency).

Constructors

IMemLoc
Fields unIMemLoc :: Int

Instances

Instances details

Eq IMemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods (==) :: IMemLoc -> IMemLoc -> Bool # (/=) :: IMemLoc -> IMemLoc -> Bool #
Ord IMemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods compare :: IMemLoc -> IMemLoc -> Ordering # (<) :: IMemLoc -> IMemLoc -> Bool # (<=) :: IMemLoc -> IMemLoc -> Bool # (>) :: IMemLoc -> IMemLoc -> Bool # (>=) :: IMemLoc -> IMemLoc -> Bool # max :: IMemLoc -> IMemLoc -> IMemLoc # min :: IMemLoc -> IMemLoc -> IMemLoc #
Show IMemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods showsPrec :: Int -> IMemLoc -> ShowS # show :: IMemLoc -> String # showList :: [IMemLoc] -> ShowS #
Hashable IMemLoc Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods hashWithSalt :: Int -> IMemLoc -> Int # hash :: IMemLoc -> Int #

data MemLocPool Source #

A pool for interning MemLocs.

Constructors

MemLocPool
Fields nextMemLocId :: !Int memLocToId :: !(Map MemLoc IMemLoc) idToMemLoc :: !(IntMap MemLoc) fieldIndex :: !(IntMap IntSet) Maps a base IMemLoc to its immediate fields' IMemLocs

Instances

Instances details

Show MemLocPool Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods showsPrec :: Int -> MemLocPool -> ShowS # show :: MemLocPool -> String # showList :: [MemLocPool] -> ShowS #
DataFlow PointsToAnalysis PointsToContext ScopedId PointsToFact RelevantInputState Source #
Instance details Defined in Tokstyle.Analysis.PointsTo Methods emptyFacts :: PointsToContext ScopedId -> PointsToAnalysis PointsToFact Source # transfer :: PointsToContext ScopedId -> ScopedId -> Int -> PointsToFact -> Node (Lexeme ScopedId) -> PointsToAnalysis (PointsToFact, Set (ScopedId, RelevantInputState)) Source # join :: PointsToContext ScopedId -> PointsToFact -> PointsToFact -> PointsToAnalysis PointsToFact Source #

type Context = [ScopedId] Source #

data FunctionSummary Source #

Constructors

FunctionSummary
Fields fsReturnValue :: !IntSet What the function can return (Set IMemLoc). fsParamEffects :: !(Map Int IntSet) Map from arg index to its final points-to set (Set IMemLoc). fsMemEffects :: !(IntMap IntSet) Memory side effects (IMemLoc -> Set IMemLoc).

Instances

Instances details

Eq FunctionSummary Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods (==) :: FunctionSummary -> FunctionSummary -> Bool # (/=) :: FunctionSummary -> FunctionSummary -> Bool #
Show FunctionSummary Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods showsPrec :: Int -> FunctionSummary -> ShowS # show :: FunctionSummary -> String # showList :: [FunctionSummary] -> ShowS #

newtype GlobalEnv Source #

Constructors

GlobalEnv (Map (ScopedId, RelevantInputState) (FunctionSummary, PointsToFact))

Instances

Instances details

Eq GlobalEnv Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods (==) :: GlobalEnv -> GlobalEnv -> Bool # (/=) :: GlobalEnv -> GlobalEnv -> Bool #
Show GlobalEnv Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods showsPrec :: Int -> GlobalEnv -> ShowS # show :: GlobalEnv -> String # showList :: [GlobalEnv] -> ShowS #

data PointsToFact Source #

Constructors

PointsToFact
Fields varMap :: !(Map ScopedId IntSet) ScopedId -> Set IMemLoc memMap :: !(IntMap IntSet) IMemLoc -> Set IMemLoc unknownWrites :: !IntSet Set IMemLoc

Instances

Instances details

Eq PointsToFact Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods (==) :: PointsToFact -> PointsToFact -> Bool # (/=) :: PointsToFact -> PointsToFact -> Bool #
Ord PointsToFact Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods compare :: PointsToFact -> PointsToFact -> Ordering # (<) :: PointsToFact -> PointsToFact -> Bool # (<=) :: PointsToFact -> PointsToFact -> Bool # (>) :: PointsToFact -> PointsToFact -> Bool # (>=) :: PointsToFact -> PointsToFact -> Bool # max :: PointsToFact -> PointsToFact -> PointsToFact # min :: PointsToFact -> PointsToFact -> PointsToFact #
Show PointsToFact Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods showsPrec :: Int -> PointsToFact -> ShowS # show :: PointsToFact -> String # showList :: [PointsToFact] -> ShowS #
DataFlow PointsToAnalysis PointsToContext ScopedId PointsToFact RelevantInputState Source #
Instance details Defined in Tokstyle.Analysis.PointsTo Methods emptyFacts :: PointsToContext ScopedId -> PointsToAnalysis PointsToFact Source # transfer :: PointsToContext ScopedId -> ScopedId -> Int -> PointsToFact -> Node (Lexeme ScopedId) -> PointsToAnalysis (PointsToFact, Set (ScopedId, RelevantInputState)) Source # join :: PointsToContext ScopedId -> PointsToFact -> PointsToFact -> PointsToAnalysis PointsToFact Source #

newtype RelevantInputState Source #

Represents the subset of PointsToFact that is relevant for a function call. This is used as the context key for memoization.

Constructors

RelevantInputState PointsToFact

Instances

Instances details

Eq RelevantInputState Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods (==) :: RelevantInputState -> RelevantInputState -> Bool # (/=) :: RelevantInputState -> RelevantInputState -> Bool #
Ord RelevantInputState Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods compare :: RelevantInputState -> RelevantInputState -> Ordering # (<) :: RelevantInputState -> RelevantInputState -> Bool # (<=) :: RelevantInputState -> RelevantInputState -> Bool # (>) :: RelevantInputState -> RelevantInputState -> Bool # (>=) :: RelevantInputState -> RelevantInputState -> Bool # max :: RelevantInputState -> RelevantInputState -> RelevantInputState # min :: RelevantInputState -> RelevantInputState -> RelevantInputState #
Show RelevantInputState Source #
Instance details Defined in Tokstyle.Analysis.PointsTo.Types Methods showsPrec :: Int -> RelevantInputState -> ShowS # show :: RelevantInputState -> String # showList :: [RelevantInputState] -> ShowS #
DataFlow PointsToAnalysis PointsToContext ScopedId PointsToFact RelevantInputState Source #
Instance details Defined in Tokstyle.Analysis.PointsTo Methods emptyFacts :: PointsToContext ScopedId -> PointsToAnalysis PointsToFact Source # transfer :: PointsToContext ScopedId -> ScopedId -> Int -> PointsToFact -> Node (Lexeme ScopedId) -> PointsToAnalysis (PointsToFact, Set (ScopedId, RelevantInputState)) Source # join :: PointsToContext ScopedId -> PointsToFact -> PointsToFact -> PointsToAnalysis PointsToFact Source #

data PointsToContext l Source #

Constructors

PointsToContext
Fields pcFilePath :: FilePath pcTypeSystem :: TypeSystem pcVTableMap :: VTableMap pcGlobalEnv :: GlobalEnv pcFuncs :: Map ScopedId [Node (Lexeme ScopedId)] pcCurrentFunc :: ScopedId pcVarTypes :: Map ScopedId (Node (Lexeme ScopedId))

Instances

Instances details

DataFlow PointsToAnalysis PointsToContext ScopedId PointsToFact RelevantInputState Source #

Instance details

Defined in Tokstyle.Analysis.PointsTo

Methods

emptyFacts :: PointsToContext ScopedId -> PointsToAnalysis PointsToFact Source #

transfer :: PointsToContext ScopedId -> ScopedId -> Int -> PointsToFact -> Node (Lexeme ScopedId) -> PointsToAnalysis (PointsToFact, Set (ScopedId, RelevantInputState)) Source #

join :: PointsToContext ScopedId -> PointsToFact -> PointsToFact -> PointsToAnalysis PointsToFact Source #

type PointsToAnalysis = State MemLocPool Source #

intern :: MemLoc -> PointsToAnalysis IMemLoc Source #