| http://www.w3.org/ns/prov#value | - wherein the analysis process includes inserting hooks in the user program to invoke during execution of the analyzed program a reference process for each of the references, the reference process including: determining if the reference is a memory reference or a device reference, and if a device reference, determining the target address of the device, and causing the processor simulator to communic
|