Remaining macOS foreign_items.rs wrappers. Existing stat/directory/time/ thread-name/environment wrappers remain in their canonical common modules.

@[reducible, inline]

abbrev Miri.Interpreter.MacOsForeign.M (σ α : Type) : Type

Equations

• Miri.Interpreter.MacOsForeign.M = EStateM Miri.Interpreter.StepError

structure Miri.Interpreter.MacOsForeign.Hooks (S R Duration Os E Kind : Type) : Type

• signatures : ShimSignatures.PrimitiveHooks Memory.Provenance S
• writePointer : Memory.Pointer (Option Memory.Provenance) → MPlaceTy Memory.Provenance → M S Unit
• signature : String → M S (ABI.FnAbi MIR.TyId)
• sync : MacOsSync.Hooks S R
• pthread : PthreadSync.Hooks S R Duration
• environment : UnixEnvironment.Hooks S Os E Kind
• random : RandomMemory.Hooks S
• closeFd : Int32 → M S Int32
• argc : M S (Option (Memory.Pointer Memory.Provenance))
• argv : M S (Option (Memory.Pointer Memory.Provenance))
• currentExe : M S (Option Os)
• derefU32 : OpTy Memory.Provenance → M S (MPlaceTy Memory.Provenance)
• readPlaceU32 : MPlaceTy Memory.Provenance → M S UInt32
• writeInt : Int → MPlaceTy Memory.Provenance → M S Unit
• getPtrFnInstance : Memory.Pointer (Option Memory.Provenance) → M S CallInstance
• addThreadAtexit : CallInstance → Memory.Scalar Memory.Provenance → M S Unit
• stackAddress : UInt64
• stackSize : UInt64

def Miri.Interpreter.MacOsForeign.dynamicSymbol (name : String) : Bool

Equations

• One or more equations did not get rendered due to their size.

def Miri.Interpreter.MacOsForeign.emulate {S R Duration Os E Kind : Type} (h : Hooks S R Duration Os E Kind) (name : String) (abi : ABI.FnAbi MIR.TyId) (args : Array (OpTy Memory.Provenance)) (dest : MPlaceTy Memory.Provenance) : M S (Option ForeignItems.EmulateItemResult)

Equations

• One or more equations did not get rendered due to their size.