Back to Results
First PageMeta Content
Computer programming / Pointer / Type safety / Struct / Dangling pointer / C / Memory safety / Function pointer / Reference / Software engineering / Computing / Data types


CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula
Add to Reading List

Document Date: 2004-10-27 17:16:37

Open Document

File Size: 229,01 KB

Share Result on Facebook

City

Austin / San Diego / /

Company

Microsoft / /

Country

United States / /

Currency

USD / BSD / /

/

Facility

OpenSSL library / Library Wrappers / We store / Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula University of California / C Standard Library / C library / /

IndustryTerm

security-critical applications / linear-time inference algorithm / systems software / inference algorithm / software performance / security-critical infrastructure software / minute trusted computing base / extensible systems / type inference algorithm / opensource tool / login server / security-critical software / pluggable modules and device / system software / pointer qualifier inference algorithm / deployed software / security-critical production systems / Apache web server / /

OperatingSystem

BSD / Linux / /

Organization

National Science Foundation / Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula University / University of California / Berkeley / Air Force / /

Person

Meta(int) Meta / Jeremy Condit Matthew Harren Scott / /

Position

sf/sq/w/rt / second qualifier / qualifier / ramdisk block device driver / WILD qualifier / rt / SPLIT qualifier / code sf/sq/w/rt / pointer qualifier / PCI Ethernet network driver / Software/Program Verification General / programmer / /

Product

CCured / /

ProgrammingLanguage

Java / Lisp / C / /

ProvinceOrState

California / /

Technology

Ethernet / linear-time inference algorithm / cryptography / CCured inference algorithm / DNS / Java / ANSI C / Linux / inference algorithm / second processor / IPv4 / same processor / operating system / pointer qualifier inference algorithm / web server / Secure Sockets Layer protocol / CCured type inference algorithm / /

SocialTag