摘要 |
<p>The invention relates to a method of verifying an intermediary code which can be executed by a limited resource microcircuit which is connected to an external data processing system. The inventive method includes a step involving the modification of the intermediary code comprising the reallocation of real r-type registers to monomorphic-type virtual v registers and the construction of a re-allocated code having PC instructions which refer to the virtual v registers. In addition, said method includes a step involving the verification of the reallocated code in the limited resource microcircuit. The invention is characterised in that, following the successful verification of the reallocated code in the microcircuit, the original intermediary code is installed in the limited resource microcircuit for the execution thereof.</p> |