Skip to main content

As-If Infinitely Ranged Integer Model

Researcher: Robert Seacord

Research Area: Trustworthy Computing Platforms and Devices

Cross Cutting Thrusts: Software Security

Abstract

Scope:  Implement a prototype of the "as-if" infinitely ranged integer model using GCC while preserving existing optimizations.

Outcomes: To propose that the AIR integer model be added as a normative but optional appendix to the C1X major revision to the C standard.