11. A computer program product for use at a computer system, the computer program product for implementing a method for reconstructing control flow for higher level code from the contents of lower level code, the computer program product comprising one or more non-volatile computer storage devices having stored thereon computer-executable instructions that, when executed at a processor, cause the computer system to perform the method, including the following: access a plurality of instructions of lower level code that were translated from corresponding statements and expressions of first higher level code, the first higher level code in a first format, the plurality of instructions of lower level code representing a control flow of the first higher level code, a portion of the control flow defined by one or more branch instructions, the branch instructions selected from among conditional branch instructions and unconditional branch instructions; and translate the plurality of instructions of lower level code into a corresponding plurality of statements and expressions of second higher level code that have control flow equivalent to the control flow of the first higher level code, the second higher level code in a second different higher level format, the translation including the following: identify a plurality of basic blocks within the lower level code based on the arrangement of the one or more branch instructions within the plurality of instructions of lower level code, each basic block including one or more instructions of the lower level code configured to execute as a group; define a block guard variable for each basic block in the plurality of basic blocks; for each basic block in the plurality of basic blocks subsequent to defining the block guard variables: generate statements and expressions in the second higher level format to represent the functionality expressed in the basic block; generate statements and expressions in the second higher level format to represent assignment of values to a plurality of the block guard variables, the plurality of block guard variables including the block guard variable for the basic block and a block guard variable for at least one other basic block, assignments to the plurality of block guard variables for implementing the control flow of the first higher level code, including the portion of the control flow defined by the one or more branch instructions; generate statements and expressions in the second higher level format to represent a conditional statement, satisfying the conditional statement dependent on the value assigned to the block guard variable for the basic block; and nest the functionality expressed in the basic block and the assignment of values to the plurality of the block guard variables within the conditional statement; generate statements and expressions in the second higher level format representing a while statement, the condition on the while statement set to TRUE; and nest any conditional statements within the while statement.
15. The computer program product as recited in claim 11 , further comprising computer-executable instructions that, when executed, cause the computer system to: generate statements and expressions in the second higher level format to represent one or more additional loops; define a loop guard variable for each of the one or more additional loops, satisfying a conditional statement for the loop dependent on the value assigned to the loop guard variable for the loop; generate statements and expressions in the second higher level format to represent assignment of values to a plurality of the block guard variables; nest the assignment of values to each of the pluralist of block guard variables within a first one or more of the conditional statements as appropriate to reconstruct the control flow of the first higher level code; nest a second one or more conditional statements within each of the one or more additional loops as appropriate to reconstruct the control flow of the first higher level code; and nesting the one or more addition loops in the while statement.