HARDWARE-VERIFIZIERUNG VON DYNAMISCH ERZEUGTEM CODE

In einer Ausführungsform kann der dynamisch erzeugte Code im System unterstützt werden, indem sichergestellt wird, dass der Code entweder innerhalb einer vordefinierten Region des Speichers ausgeführt bleibt oder zu einem von einem Satz gültiger Austrittsadressen austritt. Softwareausführungsformen werden beschrieben, in denen der dynamisch erzeugte Code abgetastet wird, bevor die Ausführung des dynamisch erzeugten Codes ermöglicht wird, um sicherzustellen, dass verschiedene Kriterien erfüllt sind, einschließlich des Ausschlusses bestimmter verweigerter Anweisungen und Steuerung von Verzweigungszieladressen. Beschrieben sind Hardware-Ausführungsformen, bei denen der dynamisch erzeugte Code ausgeführt werden kann, jedoch überwacht wird, um sicherzustellen, dass die Ausführungskriterien erfüllt sind. In an embodiment, dynamically-generated code may be supported in the system by ensuring that the code either remains executing within a predefined region of memory or exits to one of a set of valid exit addresses. Software embodiments are described in which the dynamically-generated code is scanned prior to permitting execution of the dynamically-generated code to ensure that various criteria are met including exclusion of certain disallowed instructions and control of branch target addresses. Hardware embodiments are described in which the dynamically-generated code is permitted to executed but is monitored to ensure that the execution criteria are met.