Back to Results
First PageMeta Content
Memory management / Data types / Static program analysis / Software bugs / Pointer / Memory leak / Delete / C / Shape analysis / Computing / Software engineering / Computer programming


Context- and Path-sensitive Memory Leak Detection Yichen Xie ∗ Alex Aiken
Add to Reading List

Document Date: 2005-07-07 17:35:01

Open Document

File Size: 178,25 KB

Share Result on Facebook

City

Lisbon / /

Company

Ryder / /

Country

Portugal / /

Currency

USD / /

/

IndustryTerm

path-sensitive algorithm / memory leak detection algorithm / database server / leak algorithm / explicit memory management / leak detection algorithm / user space software packages / return site / bug finding tool / computing / space applications / earliest and best known tools / later algorithms / analysis algorithm / leak detection systems / user space applications / sound tools / allocation site / verification tool / /

OperatingSystem

Linux / /

Organization

National Science Foundation / Stanford University Stanford / /

Person

Here / Alex Aiken / /

/

Position

pointer head / boolean guard / predecessor guard / guard / object *head / merged guard / *head / representative / scheduler / General / initial guard / guard / while preserving path sensitivity / working programmer / mnemonic names head / node *head / programmer / /

ProgrammingLanguage

C / /

Technology

memory leak detection algorithm / analysis algorithm / leak algorithm / Linux / leak detection algorithm / caching / simulation / client/server / Terms Algorithms / /

URL

http /

SocialTag