Back to Results
First PageMeta Content
Static program analysis / Data types / Primitive types / Pointer / Data-flow analysis / Alias analysis / Aliasing / Algorithm / Compiler optimization / Software engineering / Computing / Mathematics


Demand-Driven Alias Analysis for C Xin Zheng and Radu Rugina Computer Science Department Cornell University Ithaca, NY 14853 {xinz, rugina}@cs.cornell.edu
Add to Reading List

Document Date: 2007-11-09 11:10:22


Open Document

File Size: 233,83 KB

Share Result on Facebook

City

San Francisco / /

Company

Ryder / /

Country

United States / /

Currency

USD / /

/

Facility

terminal F / terminal V / /

IndustryTerm

inclusion algorithm / demand-driven analysis algorithm / proposed alias analysis algorithm / exhaustive and demand-driven points-to analysis algorithms / worklist algorithm / program development tools / call site / basic alias algorithm / demand-driven alias analysis algorithm / program analysis infrastructure / unification algorithm / alias algorithm / breadth-first search / computing / demand-driven algorithms / flow algorithm / memory management / demand-driven algorithm / reachability search / flow-insensitive analysis algorithm / dual-processor / allocation site / program understanding tools / alias analysis algorithm / /

OperatingSystem

Windows XP / /

Organization

Cornell University / /

Person

Xin Zheng / /

Position

Analysis General / /

ProgrammingLanguage

Java / C / /

ProvinceOrState

Manitoba / California / /

Technology

inclusion algorithm / following three algorithms / demand-driven alias analysis algorithm / two-worklist algorithm / analysis algorithm / proposed alias analysis algorithm / unification algorithm / Java / exhaustive and demand-driven points-to analysis algorithms / basic alias algorithm / demand-driven algorithms / cache memory / demand-driven / flow-insensitive analysis algorithm / 4.3 Alias Analysis Algorithm / Caching / alias algorithm / demand-driven analysis algorithm / demand-driven algorithm / alias analysis algorithm / worklist algorithm / one-level flow algorithm / /

SocialTag