Quote: alias burying my be used with existing compilers and run-time systems

Quotation Skeleton

The benefit [of alias burying] is that the annotations can … compilers and run-time systems can be used unchanged. … uniqueness is preserved. Apparently minor source-level changes may … [It may be better to use a theorem prover for the static analysis].   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: alias burying requires a complex, intraprocedural analysis; minor source-level changes may lead to confusing error messages

Related Topics

Topic: safe use of pointers (102 items)
Topic: error messages (37 items)