Map
Index
Random
Help
th

Quote: detect violations of design rules by instrumenting the code using a static alias analysis; can correct erroneous executions on the fly

QuoteRef: martM10_2005 , p. abstract



Topic:
debugging by usage rules
Topic:
exception handling with resumption

Quotation Skeleton

We have developed both static and dynamic techniques … context-sensitive, flow-insensitive, inclusion-based pointer alias analysis. Static results … instruments the source program to catch all violations … [such as recording relevant information or correcting an erroneous execution on the fly].   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: debugging by usage rules (41 items)
Topic: exception handling with resumption (31 items)

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