Copyright	(c) Galois Inc 2024
License	BSD3
Maintainer	Langston Barrett <langston@galois.com>
Stability	provisional
Safe Haskell	Safe-Inferred
Language	Haskell2010

Lang.Crucible.LLVM.MemModel.CallStack

Description

Synopsis

Documentation

Call stacks (lists of function names), mostly for diagnostics

Instances details

Monoid CallStack Source #
Instance details Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal Methods mempty :: CallStack # mappend :: CallStack -> CallStack -> CallStack # mconcat :: [CallStack] -> CallStack #
Semigroup CallStack Source #
Instance details Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal Methods (<>) :: CallStack -> CallStack -> CallStack # sconcat :: NonEmpty CallStack -> CallStack # stimes :: Integral b => b -> CallStack -> CallStack #
Eq CallStack Source #
Instance details Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal Methods (==) :: CallStack -> CallStack -> Bool # (/=) :: CallStack -> CallStack -> Bool #
Ord CallStack Source #
Instance details Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal Methods compare :: CallStack -> CallStack -> Ordering # (<) :: CallStack -> CallStack -> Bool # (<=) :: CallStack -> CallStack -> Bool # (>) :: CallStack -> CallStack -> Bool # (>=) :: CallStack -> CallStack -> Bool # max :: CallStack -> CallStack -> CallStack # min :: CallStack -> CallStack -> CallStack #

Is this CallStack empty?

Summarize the StackFrames of a MemState into a CallStack

Pretty-print a call stack (one function per line)