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

Eduard de Jong; Pieter H. Hartel

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

58 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 language	Undefined
Patent number	US 7,181,737
Publication status	Accepted/In press - 20 Feb 2007

Keywords

SCS-Cybersecurity
EWI-15428
IR-62831

Access to Document

Method_and_apparatus_for_deployment_of_h

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 = feb,

day = "20",

language = "Undefined",

type = "Patent",

note = "US 7,181,737",

}

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 -