View Document Preview and Link
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