Back to Results
First PageMeta Content
Data types / Software bugs / Computer arithmetic / Type theory / Type safety / Integer overflow / Signedness / Buffer overflow protection / C / Computing / Software engineering / Computer programming


RICH: Automatically Protecting Against Integer-Based Vulnerabilities David Brumley, Tzi-cker Chiueh, Robert Johnson [removed], [removed], [removed] Huijia Lin, Dawn Song [removed]el
Add to Reading List

Document Date: 2014-05-29 15:38:01

Open Document

File Size: 155,17 KB

Share Result on Facebook

City

Integer / Protecting Against Integer / /

Company

CCured and Cyclone / CVS / Intel / Microsoft / /

Country

United States / /

Currency

CVE / /

/

Facility

GNU Multiple Precision Arithmetic Library / /

IndustryTerm

automatic tool / lightweight software testing tool / static program transformation tool / /

MarketIndex

FTP / /

OperatingSystem

Windows Vista / UNIX / NetBSD / DoS / Linux / GNU / /

Person

Michael Howard / Dawn Song / David LeBlanc / Robert Johnson / David Wagner / David Brumley / /

Position

programmer / /

ProgrammingLanguage

Ada / Java / Lisp / SmallTalk / C / C++ / Visual C++ / /

RadioStation

KLOC / /

Technology

SNMP / JPEG / Java / UNIX / Linux / optical character recognition / simulation / web server / cmp / /

SocialTag