Method and apparatus for deployment of high integrity software using static procedure return addresses

Eduard de Jong (Inventor), Pieter H. Hartel (Inventor)

    Research output: Patent

    16 Downloads (Pure)


    A method for statically allocating a procedure return address includes separating a software program including multiple procedures into a cyclic part and an acyclic part, allocating a static address for the return address of a procedure in the acyclic part and modifying at least one of the procedures to refer to the static address for the procedure return address.
    Original languageUndefined
    Patent numberUS 7,181,737
    Publication statusAccepted/In press - 20 Feb 2007


    • SCS-Cybersecurity
    • EWI-15428
    • IR-62831

    Cite this