Abstract: An automated application verification module is provided to identify one or more functions of a software application. There is added, for at least one of the identified functions, a verification prologue at the entry point of the function which does not alter the control flow of the original set of instructions of the function and/or does not change the semantics of the function when the verification prologue is executed in its entirety. There is added at least one corresponding verification prologue check to the software application, such that the verification prologue check is configured to automatically check the integrity of the corresponding verification prologue during execution of the software application.

Abstract: An automated application partitioning system is configured to receive a software application, and a specification of two or more entry points of the software application. The automated application partitioning system, by means of a dependence analysis groups application components, such that there is provided for each entry point dependency subset a corresponding feature subset, and at least one shared subset.