20240045678. Hardware Verification of Dynamically Generated Code simplified abstract (Apple Inc.)
Contents
Hardware Verification of Dynamically Generated Code
Organization Name
Inventor(s)
Jeffrey E. Gonion of Campbell CA (US)
Michael D. Snyder of Cedar Park TX (US)
Filip J. Pizlo of Capitola CA (US)
Hardware Verification of Dynamically Generated Code - A simplified explanation of the abstract
This abstract first appeared for US patent application 20240045678 titled 'Hardware Verification of Dynamically Generated Code
Simplified Explanation
The abstract of this patent application describes a system that supports dynamically-generated code 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. The system includes software embodiments that scan the dynamically-generated code before execution to ensure that certain criteria are met, such as excluding disallowed instructions and controlling branch target addresses. Hardware embodiments are also described, where the dynamically-generated code is permitted to execute but is monitored to ensure that the execution criteria are met.
- The system supports dynamically-generated code by enforcing execution within a predefined memory region or valid exit addresses.
- Software embodiments scan the code before execution to ensure criteria like exclusion of disallowed instructions and control of branch target addresses.
- Hardware embodiments allow execution of the code but monitor it to ensure compliance with execution criteria.
Potential applications of this technology:
- Dynamic code generation in programming languages or compilers.
- Secure execution of dynamically-generated code in virtual machines or sandbox environments.
- Optimization techniques in just-in-time (JIT) compilers.
Problems solved by this technology:
- Ensures that dynamically-generated code adheres to certain criteria, preventing the execution of disallowed instructions or unauthorized branching.
- Provides a mechanism to monitor and control the execution of dynamically-generated code, ensuring compliance with predefined rules.
Benefits of this technology:
- Enables the execution of dynamically-generated code while maintaining control and security.
- Allows for efficient optimization and customization of code at runtime.
- Facilitates the development of dynamic and flexible software systems.
Original Abstract Submitted
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.
