Map
Index
Random
Help
th

Quote: field-based Andersen-style points-to analysis of a million lines of code in under a second

topics > all references > references g-h > QuoteRef: heinN6_2001 , p. abstract



Topic:
safe use of pointers
Topic:
code optimization by flow analysis
Topic:
dependency analysis

Quotation Skeleton

We describe the design and implementation of a … C code, our system performs field-based Andersen-style points-to … contributions are a database-centric analysis architecture called compile-link-analyze … [p. 254] [CLA] provides a substrate on which we … It scales to large code bases and supports … loading of just those components of object files … Previous algorithms … for Andersen's analysis are based on a transitively … [refs] In contrast, our algorithm is based on a pre-transitive graph … We show how two optimizations -- caching of …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: points-to analysis with a database, on-the-fly transitive closure, caching of reachability computations, and cycle elimination

Related Topics up

Topic: safe use of pointers (102 items)
Topic: code optimization by flow analysis (45 items)
Topic: dependency analysis (31 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.