1. A computer-implemented method comprising, in a code transformation system: identifying one or more save-to-return code instructions; identifying one or more function call code instructions, said one or more function call code instructions being associated with said one or more save-to-return code instructions; identifying one or more comparison code instructions, said one or more comparison code instructions being associated with said one or more save-to-return code instructions; identifying one or more exceptional code instructions, said one or more exceptional code instructions being associated with said one or more comparison code instructions; determining a predefined proximity range based on a predefined proximity value; determining a proximity eligibility indicator, said proximity eligibility indicator denoting whether said one or more save-to-return code instructions and said one or more comparison code instructions are within said predefined proximity range; and responsive to said proximity eligibility indicator denoting said one or more save-to-return code instructions and said one or more comparison code instructions are within said predefined proximity range, creating one or more code execution flow relationships between said one or more function call code instructions and said one or more exceptional code instructions.