Back to Results
First PageMeta Content
Data types / Primitive types / Static program analysis / C++ / Type theory / Pointer / C / Reference / Type safety / Software engineering / Computing / Computer programming


Improving Software Security with a C Pointer Analysis Dzintars Avots Michael Dalton V. Benjamin Livshits Computer Science Department
Add to Reading List

Document Date: 2005-01-29 19:31:23

Open Document

File Size: 166,56 KB

Share Result on Facebook

City

Inclusion / Rockville / Cloning / Montreal / St. Louis / /

Company

J. Foster / Knowledge-Base Systems / Wilson / Ryder / AMD / Computer Science Press / /

Country

United States / Canada / /

Currency

USD / /

/

Facility

Stanford University / University of Copenhagen / A. Diwan / Rutgers University / /

Holiday

Assumption / /

IndustryTerm

points-to analysis algorithm / compiler infrastructure / software security / bddbddb tool / Partial online cycle elimination / program auditing tool / buffer overflow detection tool / points-to algorithm / software systems / contextinsensitive algorithm / systems software / proposed algorithms / inclusion-based algorithms / Software vulnerabilities / software checkers / Web server / precise software analysis tools / rule applications / allocation site / /

OperatingSystem

Unix / Linux / /

Organization

National Science Foundation / Rutgers University / Stanford University Stanford / Department of Computer Science / Stanford University / University of Copenhagen / /

Person

W. R. Bush / Michael Dalton V / /

/

Position

Protection General / C programmer / /

Product

Datalog / /

ProgrammingLanguage

Datalog / Java / C / HTML / Perl / ANSI C / PostScript / /

ProvinceOrState

Maryland / Missouri / /

SportsLeague

Stanford University / /

Technology

ANSI C / Unix / Linux / cloning / Perl / HTML / operating systems / points-to algorithm / contextinsensitive algorithm / points-to analysis algorithm / Java / inclusion-based algorithms / Web server / /

URL

http /

SocialTag