| 
|
Quote: verify pointer interfaces with an intraprocedural, flow-sensitive pointer analysis; matches computed points-to information with a call site's pointer interface
Topic:
code optimization by flow analysis
Quotation Skeleton
The compiler verifies that the program conforms to … flow-sensitive pointer analysis of the body of the … one of the contexts of the callee procedure. … If no matching context is found, the pointer … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: code optimization by flow analysis (47 items)