| 
|
Quote: field-based Andersen-style points-to analysis of a million lines of code in under a second
topics >
all references >
references g-h >
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
Topic: safe use of pointers (102 items)
Topic: code optimization by flow analysis (45 items)
Topic: dependency analysis (31 items)