Ranged Integers for the C Programming Language

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2007
Accession Number
ADA472565

Entities

People

  • Fred Long
  • Jeff Gennari
  • Justin Pincar
  • Robert C. Seacord
  • Shaun Hedrick

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • C Programming Language
  • Computer Programming
  • Governments
  • Guarantees
  • Information Systems
  • International Organizations
  • Language
  • Programming Languages
  • Semantics
  • Software Development
  • Standardization
  • Standards
  • System Software

Fields of Study

  • Computer science

Readers

  • Approximation Theory.
  • Computational Linguistics
  • Parallel and Distributed Computing.