Checkpointing API

Functions
VOID	LEVEL_PINCLIENT::PIN_SaveCheckpoint (CHECKPOINT *chkptFrom, CHECKPOINT *chkptTo)
VOID	LEVEL_PINCLIENT::PIN_Resume (CHECKPOINT *chkpt)
VOID	LEVEL_PINCLIENT::PIN_SetContextReg (CONTEXT *ctxt, const REG reg, const ADDRINT val)
ADDRINT	LEVEL_PINCLIENT::PIN_GetContextReg (const CONTEXT *ctxt, const REG reg)
VOID	LEVEL_PINCLIENT::PIN_SetContextFPState (CONTEXT *ctxt, VOID *fpstate)
VOID	LEVEL_PINCLIENT::PIN_GetContextFPState (const CONTEXT *ctxt, VOID *fpstate)
VOID	LEVEL_PINCLIENT::PIN_SaveContext (const CONTEXT *ctxtFrom, CONTEXT *ctxtTo)
VOID	LEVEL_PINCLIENT::PIN_ExecuteAt (const CONTEXT *ctxt)

---

Detailed Description

API to save the processor state for re-execution of the program: A CHECKPOINT is the actual processor state, while a CONTEXT is the architectural state. Use PIN_Resume(CHECKPOINT*) when dynamically reverting back to a previously saved point in execution, and use PIN_ExecuteAt(CONTEXT*) when starting at an arbitrary point (or when the user wants to pass in specific architectural register values). The user is responsible for tracking non-processor state (memory, etc.) in the PIN tool.

---

Function Documentation

VOID LEVEL_PINCLIENT::PIN_ExecuteAt (  const CONTEXT *  ctxt  )

Starts execution at an arbitrary point given the architectural state.

VOID LEVEL_PINCLIENT::PIN_GetContextFPState (  const CONTEXT *  ctxt, VOID *  fpstate )

Returns the floating point register values stored in the context (in fxsave format)

ADDRINT LEVEL_PINCLIENT::PIN_GetContextReg (  const CONTEXT *  ctxt, const REG  reg )

Returns the value of the (integer) register stored in the context

VOID LEVEL_PINCLIENT::PIN_Resume (  CHECKPOINT *  chkpt  )

Resumes execution at the saved checkpoint (processor state). (Note: cannot flush the code cache in between PIN_SaveCheckpoint and PIN_Resume - NYI)

VOID LEVEL_PINCLIENT::PIN_SaveCheckpoint (  CHECKPOINT *  chkptFrom, CHECKPOINT *  chkptTo )

Copies the checkpoint 'chkptFrom' to 'chkptTo'

VOID LEVEL_PINCLIENT::PIN_SaveContext (  const CONTEXT *  ctxtFrom, CONTEXT *  ctxtTo )

Copies the context 'ctxtFrom' to 'ctxtTo'

VOID LEVEL_PINCLIENT::PIN_SetContextFPState (  CONTEXT *  ctxt, VOID *  fpstate )

Sets the floating point registers of the context to the given values (in fxsave format)

VOID LEVEL_PINCLIENT::PIN_SetContextReg (  CONTEXT *  ctxt, const REG  reg, const ADDRINT  val )

Sets the (integer) register of the context to the given value

---