Back to Results
First PageMeta Content
Data types / C++ / Pointer / Dangling pointer / C / Type system / This / Region-based memory management / Function pointer / Software engineering / Computer programming / Computing


A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector David L. Heine and Monica S. Lam Computer Systems Laboratory Stanford University {dlheine, lam}@stanford.edu
Add to Reading List

Document Date: 2003-04-23 02:53:56

Open Document

File Size: 232,56 KB

Share Result on Facebook

City

San Diego / /

Country

United States / /

Currency

USD / /

/

Facility

Monica S. Lam Computer Systems Laboratory Stanford University / /

IndustryTerm

executable object manipulation tools / compiler infrastructure / web servers / automatic tools / inference algorithm / large open-source software systems / ownership inference algorithm / flow-sensitive and context-sensitive algorithm / fixpoint algorithm / secure shell tools / interprocedural type inference algorithm / static analysis tool / internet chat client / automatic ownership inference algorithm / transformation tools / type inference algorithm / web server / type systems / automatic static analysis tools / leak detection tool / memory management / sound algorithm / polymorphic type systems / apache web server / /

OperatingSystem

GNU / /

Organization

National Science Foundation / Stanford University / /

Person

Monica S. Lam / David L. Heine / /

Position

model external invocations / ABSTRACT General / ownership model for all objects / practical ownership model of memory management / representative / programmer / /

ProgrammingLanguage

C / C++ / /

ProvinceOrState

California / /

PublishedMedium

the C / /

SportsLeague

Stanford University / /

Technology

object-oriented programming / OWNERSHIP INFERENCE Our ownership inference algorithm / 2 4.2 Interprocedural Analysis Our algorithm / SSA algorithm / sound algorithm / inference algorithm / SSA-like algorithm / interprocedural type inference algorithm / type inference algorithm / 2.2 Automatic Ownership Inference Our algorithm / secure shell / web server / automatic ownership inference algorithm / /

URL

http /

SocialTag