Back to Results
First PageMeta Content



Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram
Add to Reading List

Document Date: 2012-03-30 12:02:04


Open Document

File Size: 238,04 KB

Share Result on Facebook

City

Zurich / IV / /

Company

Skype / Air Force Research Laboratory / GE / Intel / Microsoft / /

Country

Switzerland / /

/

Facility

Mary Hall / Computing University of Utah / Air Force Research Laboratory / SafeInt library / GNU MPC library / Computer Science University of Illinois / This library / GNU Multiple Precision Arithmetic Library / /

IndustryTerm

static binary analysis tool / software errors / dynamic checking tool / real-world software / compiler technology / serious software failures / reasonable solution / software implementation / software applications / online solution / open source software packages / undefined overflow site / integer overflow solutions / ambitious solution / /

MarketIndex

SPEC / /

NaturalFeature

STDERR stream / STDOUT stream / /

OperatingSystem

Android / Microsoft Windows / GNU / POSIX / /

Organization

University of Utah / University of Illinois / /

Person

Derek Jones / Danny Dig / Vikram Adve / Carmel-Veilleux / /

Position

rtvec rt / rt / return rt / memcpy guard / incorrect guard / Major / representative / /

Product

Table III / /

ProgrammingLanguage

MacLisp / Java / C / Python / ANSI C / PHP / Objective-C / C++ / /

PublishedMedium

on SPEC / /

Technology

PHP / ANSI C / 965 processor / Android / html / DBMS / compiler technology / cryptography / Java / http / /

URL

http /

SocialTag