Back to Results
First PageMeta Content
Subroutines / Data types / Type theory / C++ / Source code / Static single assignment form / Pointer / Use-define chain / Alias analysis / Software engineering / Computing / Computer programming


Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs V. Benjamin Livshits and Monica S. Lam Computer Systems Laboratory Stanford University Stanford, CA 94305
Add to Reading List

Document Date: 2003-06-27 02:40:09

Open Document

File Size: 160,54 KB

Share Result on Facebook

City

Helsinki / /

Company

J. Foster / IEEE Software / Wilson / /

Country

Finland / /

Currency

USD / /

/

Facility

A. Diwan / Stanford University / Efficient building / /

IndustryTerm

ad hoc solutions / bug detection tools / source-level security auditing / multi-purpose error-detection tools / level protocols / compiler infrastructure / software auditing / lexical tools / fixpoint solution / call site / security tool / compression tool / construction algorithm / error detection tools / results accessible to various tools / context-sensitive algorithms / web server / low-level software / uniform algorithm / program dependence web / /

OperatingSystem

Unix / Linux / /

Organization

National Science Foundation / Stanford University / Stanford University Stanford / /

Person

Olivier Tardieu / W. R. Bush / Nevin Heintze / Monica S. Lam / /

/

Position

security analyst / General / defensive programmer / programmer / /

ProgrammingLanguage

D / Fortran / Java / C / /

ProvinceOrState

California / /

PublishedMedium

IEEE Software / /

SportsLeague

Stanford University / /

Technology

IPSSA construction algorithm / Object-oriented Programming / CONSTRUCTION OF IPSSA Our IPSSA construction algorithm / Java / Linux / Unix / high-level protocols / FLASH protocol / PGP encryption / simulation / Operating Systems / Terms Algorithms / uniform algorithm / web server / /

URL

http /

SocialTag