Abstract: A program re-writing method which re-writes an inputted program into a program for a processor for controlling whether or not a process is executed based on a yes or no execution flag, said program re-writing method including: inserting a comparison process into the inputted program, the comparison process comparing first address information, which is memory address information accessed by a first memory access process included in the inputted program, and second address information, which is address information of a memory accessed by a second memory access process included in the inputted program, and writing a comparison result into the yes or no execution flag; and inserting a yes or no execution flag-attached logic preservation process into the inputted program, the yes or no execution flag-attached logic preservation process being a process executed based on a value of the yes or no execution flag and preserving the same result as a result of the inputted program when executed.

Abstract: A compliance method and system. The method includes receiving by computing system compliance data comprising a plurality of compliance rules from a plurality of different compliance domains. The plurality of compliance rules are converted from said text format to a first plurality of program objects. Attributes for the first plurality of program objects are modified. A compliance report comprising an output of the plurality of program objects is generated. An automated compliance verification software tool compares the first plurality of program objects with compliance verification data in order to verify if the first plurality of program objects is in accordance with the compliance verification data.

Abstract: Unwinding may take place in an annotated unwinding environment with non-annotated code by placing a context frame between a first annotated function and non-annotated function and an unwind thunk between the non-annotated function and a second annotated function. The unwind thunk may redirect an unwind function to the context frame so that an unwind process may continue across a non-annotated function.