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
UPDATE