Back to Results
First PageMeta Content
Data types / Computer arithmetic / Primitive types / Type theory / Software bugs / Integer overflow / C / Type system / Bitwise operation / Computing / Software engineering / Computer programming


A Understanding Integer Overflow in C/C++1 WILL DIETZ, University of Illinois at Urbana-Champaign PENG LI and JOHN REGEHR, University of Utah VIKRAM ADVE, University of Illinois at Urbana-Champaign
Add to Reading List

Document Date: 2015-04-28 14:40:24

Open Document

File Size: 270,06 KB

Share Result on Facebook

City

Zurich / /

Company

MITRE Corporation / Intel / /

Country

Switzerland / /

Facility

University of Utah VIKRAM ADVE / Runtime Library / SafeInt library / University of Illinois / /

IndustryTerm

open-source tool / security-sensitive server software / bug-detection tool / optimization technology / few mature applications / software applications / open-source applications / dynamic checking tool / serious software failures / software packages / reasonable solution / digital signal processing / /

NaturalFeature

STDOUT stream / STDERR stream / /

OperatingSystem

Mac OS / GNU / /

Organization

University of Utah / University of Illinois / /

Person

JOHN REGEHR / VIKRAM ADVE / PENG LI / /

Position

General / Validation General / /

Product

VTune software / VTune / /

ProgrammingLanguage

Java / PHP / C / Python / C++ / /

ProvinceOrState

Illinois / /

PublishedMedium

on SPEC / /

Technology

cryptography / PHP / Java / ANSI C / 965 processor / optimization technology / /

URL

http /

SocialTag