Documentation

type WithLifting bin pred finit v = StateT (L0 pred finit v) (ReaderT (bin, Config) IO) Source #

type Invariants pred = IntMap pred Source #

type Recursions = IntMap IntSet Source #

data AnalysisResult pred finit v Source #

lift_to_L0 :: WithAbstractPredicates bin pred finit v => Config -> bin -> finit -> IO (L0 pred finit v) Source #

exploreFunctionEntries :: WithAbstractPredicates bin pred finit v => Graph -> Recursions -> WithLifting bin pred finit v () Source #

exploreDanglingFunctionPointers :: WithAbstractPredicates bin pred finit v => WithLifting bin pred finit v () Source #

exploreDanglingRelocations :: WithAbstractPredicates bin pred finit v => WithLifting bin pred finit v () Source #

exploreFunctionEntry :: WithAbstractPredicates bin pred finit v => Graph -> Recursions -> Word64 -> WithLifting bin pred finit v () Source #

entry_has_been_done :: Recursions -> Word64 -> WithLifting bin pred finit v Bool Source #

reconsider_mutual_recursive_call :: Recursions -> WithLifting bin pred finit v (Maybe (Int, IntSet)) Source #

mark_mutual_recursive_calls :: Word64 -> FResult pred v -> Recursions -> WithLifting bin pred finit v Recursions Source #

mk_static :: WithLifting bin pred finit v (Lifting bin pred finit v) Source #

analyze_entry :: WithAbstractPredicates bin pred finit v => Word64 -> WithLifting bin pred finit v (AnalysisResult pred finit v) Source #

finishExploration :: WithAbstractPredicates bin pred finit v => WithLifting bin pred finit v () Source #