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

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

Research output: PatentProfessional

7 Downloads (Pure)

Abstract

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

Keywords

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

Cite this

@misc{4e3d383d36814ddcb285a4594ad71b90,
title = "Method and apparatus for deployment of high integrity software using static procedure return addresses",
abstract = "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.",
keywords = "SCS-Cybersecurity, EWI-15428, IR-62831",
author = "{de Jong}, Eduard and Hartel, {Pieter H.}",
year = "2007",
month = "2",
day = "20",
language = "Undefined",
type = "Patent",
note = "US 7,181,737",

}

Method and apparatus for deployment of high integrity software using static procedure return addresses. / de Jong, Eduard (Inventor); Hartel, Pieter H. (Inventor).

Patent No.: US 7,181,737.

Research output: PatentProfessional

TY - PAT

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

AU - de Jong, Eduard

AU - Hartel, Pieter H.

PY - 2007/2/20

Y1 - 2007/2/20

N2 - 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.

AB - 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.

KW - SCS-Cybersecurity

KW - EWI-15428

KW - IR-62831

M3 - Patent

M1 - US 7,181,737

ER -