A program or program snippet is rewritten to conform to site-specific
properties prior to being executed by a target host. The program or
program snippet directed to a target host from a known or unknown source
is either intercepted by a server before reaching the target host or can
be redirected from the target host to the server to effect its rewriting.
The program is parsed in its external representation, converting it to an
internal representation that is inspected and analyzed with reference to a
site-specific properties database. A summary of the program's properties
is then compared to the site-specific properties database by a binary
rewriting engine, which produces a rewritten program in an internal
representation. If appropriate, the program or program snippet is
rewritten to convert it to a format suitable for execution on the target
host. Furthermore, certifications may be added to the rewritten program to
mark that the rewritten program obeys site-specific constraints. The
rewriting service thus produces a program in an appropriate target
representation that conforms to site-specific properties. These properties
may relate to security, auditing, optimization, monitoring, threading,
and/or management of the rewritten program.
Un programa o un snippet del programa se reescribe para conformarse con las características sitio-especi'ficas antes de ser ejecutado por un anfitrión de la blanco. El programa o el snippet del programa dirigido a un anfitrión de la blanco de una fuente sabida o desconocida es interceptado por un servidor antes de alcanzar el anfitrión de la blanco o se puede volver a dirigir del anfitrión de la blanco al servidor para efectuar su reescribir. El programa se analiza en su representación externa, convirtiéndolo a una representación interna que se examine y se analice referente a características una base de datos sitio-especi'fica. Un resumen de las características del programa entonces es comparado a la base de datos sitio-especi'fica de las características por un motor que reescribe binario, que produce un programa reescrito en una representación interna. Si es apropiado, el programa o el snippet del programa se reescribe para convertirlo a un formato conveniente para la ejecución en el anfitrión de la blanco. Además, las certificaciones se pueden agregar al programa reescrito a la marca que el programa reescrito obedece apremios sitio-especi'ficos. El servicio que reescribe produce así un programa en una representación apropiada de la blanco que se conforme con las características sitio-especi'ficas. Estas características pueden relacionarse con la seguridad, la revisión, la optimización, la supervisión, roscar, y/o la gerencia del programa reescrito.
