Split control stack and data stack platform

A method for managing a split stack platform comprising:

• allocating separate portions of the memory for a control stack and a data stack of the split stack platform;
• based at least on detecting a call instruction, storing a first return address in the control stack and a second return address in the data stack;
• based at least on detecting a return instruction, popping the first return address from the control stack and the second return address from the data stack and raising an exception if the first return address and the second return address do not match, otherwise returning to the first return address;
• and
• based at least on the first and the second return addresses not matching, executing an exception handler, wherein the exception handler is configured to:
• pop one or more return addresses from the control stack until the return address on a top of the control stack matches the return address on a top of the data stack, wherein the exception handler resumes to the return instruction and the return instruction returns to the return address that matches the top of the control stack and the top of the data stack;
• and
• if the return addresses on the control stack are depleted before a match is found with the return address on the top of the data stack, terminate a running program.

One or more computer-readable storage devices for managing a split stack platform comprising a plurality of instructions that, based at least on execution by a processor, cause the processor to:

• allocate separate portions of the memory for a control stack and a data stack of the split stack platform;
• based at least on detecting a call instruction, store a first return address in the control stack and a second return address in the data stack;
• based at least on detecting a return instruction, pop the first return address from the control stack and the second return address from the data stack and raise an exception if the first return address and the second return address do not match, otherwise return to the first return address;
• and
• based at least on the first and the second return addresses not matching, execute an exception handler, wherein the exception handler is configured to:
• pop one or more return addresses from the control stack until the return address on a top of the control stack matches the return address on a top of the data stack, wherein the exception handler resumes to the return instruction and the return instruction returns to the return address that matches the top of the control stack and the top of the data stack;
• and
• if the return addresses on the control stack are depleted before a match is found with the return address on the top of the data stack, terminate a running program.