The disclosure provides a method for the selective substitution of legacy load module programs with classes for execution in a Java virtual machine.

A method of generating a representation of a program logic includes: capturing first program code in a low-level programming language, the program code having been generated by compiling program logic defined in a high-level language; dividing the captured first program code into a sequence of code sections based on a predetermined set of at least partially parameterized code patterns, wherein specific parameter values are captured for each code section and a terminal symbol of an intermediate language is assigned to each code section; assigning the assigned terminal symbols to non-terminal symbols of the intermediate language based on a context-free grammar, wherein a totality of the assigned non-terminal symbols describes the program logic of the first program code in the intermediate language; and generating a representation of the program logic independent of the first processor architecture based on the associated non-terminal symbols of the intermediate language and the detected parameter values.

A method of generating a representation of a program logic includes: capturing first program code in a low-level programming language, the program code having been generated by compiling program logic defined in a high-level language; dividing the captured first program code into a sequence of code sections based on a predetermined set of at least partially parameterized code patterns, wherein specific parameter values are captured for each code section and a terminal symbol of an intermediate language is assigned to each code section; assigning the assigned terminal symbols to non-terminal symbols of the intermediate language based on a context-free grammar, wherein a totality of the assigned non-terminal symbols describes the program logic of the first program code in the intermediate language; and generating a representation of the program logic independent of the first processor architecture based on the associated non-terminal symbols of the intermediate language and the detected parameter values.

Tools and techniques are described to attach a device to a controller, whereby the controller analyzes the device inputs, looks up information about the device in a database, and then determines which inputs on the device match the defined device inputs. It then may translate information received from the device into an intermediate language. It may also use the information received from the device, the location of the device, and information about the device to create a digital twin of the device.

Tools and techniques are described to attach a device to a controller, whereby the controller analyzes the device inputs, looks up information about the device in a database, and then determines which inputs on the device match the defined device inputs. It then may translate information received from the device into an intermediate language. It may also use the information received from the device, the location of the device, and information about the device to create a digital twin of the device.

A method may include searching compiled code for a variable name of a resource, the variable name containing a predefined string; identifying a variable name in a resource manifest of the library that matches the variable name that contains the predefined string; based on the identifying, importing the resource to a location associated with the compiled code.

A method that automatically generates blacklists for a sandbox application. The method first obtains a set of disassembled operating system (OS) dynamic-link libraries (DLLs) and then identifies application programming interfaces (API) functions that have respective kernel interruptions. The identified API functions that have kernel instructions are saved to an interrupt list. Based on the interrupt list, a processor generates a blacklist that includes for each of the DLLs, the identified API functions in the interrupt list, all API functions that directly or indirectly invoke one of the identified API functions in the interrupt list via one or more nested API functions. The method outputs the blacklist to the sandbox application that operates on a sample file to emulate API functions of the sample file that match the blacklist. All other APIs not identified as being blacklisted, are then considered whitelisted and are allowed to run natively.

A method for forming a virtualization system image. A specification of an expressed end state of a virtualization system image is analyzed. The specification is decomposed into lower level specifications and the lower level specifications are decomposed into idempotent operations. The virtualization system image corresponding to the expressed end state is assembled by processing the idempotent operations. The expressed end state, decomposed lower level intents, and decomposed idempotent operations are codified into a decomposition hierarchy. The decomposition hierarchy is query-able such that, for a given intent, an idempotent operation is returned. An idempotent operation code library is query-able such that, for a given idempotent operation, a corresponding set of executable code is returned. An image builder executes the executable code. When all of the idempotent operations have been successfully executed, the virtualization system image is complete. A virtualization system image is deployed to computing nodes that constitute a computing cluster.

A method for forming a virtualization system image. A specification of an expressed end state of a virtualization system image is analyzed. The specification is decomposed into lower level specifications and the lower level specifications are decomposed into idempotent operations. The virtualization system image corresponding to the expressed end state is assembled by processing the idempotent operations. The expressed end state, decomposed lower level intents, and decomposed idempotent operations are codified into a decomposition hierarchy. The decomposition hierarchy is query-able such that, for a given intent, an idempotent operation is returned. An idempotent operation code library is query-able such that, for a given idempotent operation, a corresponding set of executable code is returned. An image builder executes the executable code. When all of the idempotent operations have been successfully executed, the virtualization system image is complete. A virtualization system image is deployed to computing nodes that constitute a computing cluster.

This application provides a patch package generation method and a device, which includes: when code of an application framework layer in Android operating system source code is updated, obtaining, by a server, a compilation result; determining, by the server, an Android package (APK) of a target application from the APK of the preinstalled applications by, determining, by the server, an application including code in which only one or more of a check value, a timestamp, and a register corresponding to a constant change; and differentiating, by the server, an APK of an application other than the target application in the preinstalled applications after the code of the application framework layer is updated and an APK of the application other than the target application in the preinstalled applications before the code of the application framework layer is updated, to generate a first differential package. The first differential package is relatively small, therefore reducing computation amount in the terminal and air interface consumption.