Lang.Crucible.LLVM.ArraySizeProfile

Documentation

data FunctionProfile

Constructors

FunctionProfile

Fields

• _funProfileName :: Text
• _funProfileArgs :: [ArgProfile]

Instances

Show FunctionProfile

Defined in Lang.Crucible.LLVM.ArraySizeProfile

Methods

showsPrec :: Int -> FunctionProfile -> ShowS

show :: FunctionProfile -> String

showList :: [FunctionProfile] -> ShowS

Eq FunctionProfile

Defined in Lang.Crucible.LLVM.ArraySizeProfile

Methods

(==) :: FunctionProfile -> FunctionProfile -> Bool

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

Ord FunctionProfile

Defined in Lang.Crucible.LLVM.ArraySizeProfile

Methods

compare :: FunctionProfile -> FunctionProfile -> Ordering

(<) :: FunctionProfile -> FunctionProfile -> Bool

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

(>) :: FunctionProfile -> FunctionProfile -> Bool

(>=) :: FunctionProfile -> FunctionProfile -> Bool

max :: FunctionProfile -> FunctionProfile -> FunctionProfile

min :: FunctionProfile -> FunctionProfile -> FunctionProfile

funProfileName :: Lens' FunctionProfile Text

funProfileArgs :: Lens' FunctionProfile [ArgProfile]

data ArgProfile

Constructors

ArgProfile

Fields

• _argProfileSize :: Maybe Int
• _argProfileInitialized :: Bool

Instances

Show ArgProfile

Defined in Lang.Crucible.LLVM.ArraySizeProfile

Methods

showsPrec :: Int -> ArgProfile -> ShowS

show :: ArgProfile -> String

showList :: [ArgProfile] -> ShowS

Eq ArgProfile

Defined in Lang.Crucible.LLVM.ArraySizeProfile

Methods

(==) :: ArgProfile -> ArgProfile -> Bool

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

Ord ArgProfile

Defined in Lang.Crucible.LLVM.ArraySizeProfile

Methods

compare :: ArgProfile -> ArgProfile -> Ordering

(<) :: ArgProfile -> ArgProfile -> Bool

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

(>) :: ArgProfile -> ArgProfile -> Bool

(>=) :: ArgProfile -> ArgProfile -> Bool

max :: ArgProfile -> ArgProfile -> ArgProfile

min :: ArgProfile -> ArgProfile -> ArgProfile

argProfileSize :: Lens' ArgProfile (Maybe Int)

argProfileInitialized :: Lens' ArgProfile Bool

arraySizeProfile :: forall sym ext arch p rtp. (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth (ArchWidth arch), ?memOpts :: MemOptions) => LLVMContext arch -> IORef (Map Text [FunctionProfile]) -> IO (ExecutionFeature p sym ext rtp)