crucible-llvm-0.6: Support for translating and executing LLVM code in Crucible
Safe HaskellSafe-Inferred
LanguageHaskell2010

Lang.Crucible.LLVM.Eval

Documentation

llvmExtensionEval :: forall sym bak p ext rtp blocks r ctx. (HasLLVMAnn sym, IsSymBackend sym bak) => bak -> IntrinsicTypes sym -> (Int -> String -> IO ()) -> CrucibleState p sym ext rtp blocks r ctx -> EvalAppFunc sym LLVMExtensionExpr Source #

callStackFromMemVar :: SimState p sym ext rtp lang args -> GlobalVar Mem -> CallStack Source #