TY - BOOK
T1 - Ranged Integers for the C Programming Language
AU - Gennari, Jeff
AU - Hedrick, Shaun
AU - Long, Fred
AU - Pincar, Justin
AU - Seacord, Robert C.
PY - 2007/9/1
Y1 - 2007/9/1
N2 - This report describes an extension to the C programming language to introduce the notion of ranged integers, that is, integer types with a defined range of values. A variable of a ranged integer type will always have a value within the defined range as a result of initialization or assignment. Use of ranged integers would help prevent integer overflow errors and thus would result in more reliable and secure C programs. The syntax and semantics of ranged integers are presented, and some examples are given to illustrate their use.
AB - This report describes an extension to the C programming language to introduce the notion of ranged integers, that is, integer types with a defined range of values. A variable of a ranged integer type will always have a value within the defined range as a result of initialization or assignment. Use of ranged integers would help prevent integer overflow errors and thus would result in more reliable and secure C programs. The syntax and semantics of ranged integers are presented, and some examples are given to illustrate their use.
U2 - 10.1184/R1/6582830.v1
DO - 10.1184/R1/6582830.v1
M3 - Technical Report
BT - Ranged Integers for the C Programming Language
PB - Software Engineering Institute
ER -