Exit Criteria:

• Developers can access the state of the patched program using intrinsics and obtain specific details about the system directly within the patch description.

Deliverables:

• Develop a library to access the state of the currently patched program.