Map
Index
Random
Help
th

Quote: PREfix for path-by-path analysis across function boundaries; finds null pointers, improper memory allocation/deallocation; uninitialized variables, resource state errors, improper library usage

QuoteRef: laruJR5_2004 , p. 94



Topic:
debugging by usage rules
Topic:
code optimization by flow analysis
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
owned resources and data objects

Quotation Skeleton

PREfix performs a detailed, path-by-path analysis of a … PREfix finds a fixed set of bugs in … [ref] Such bugs include null pointer references, improper memory allocation and … program's call graph, analyzing all functions in a … fashion. … [PREfix] uses models constructed earlier to approximate the … PREfix examines a fixed number of paths (typically …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: debugging by usage rules (41 items)
Topic: code optimization by flow analysis (47 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: owned resources and data objects (12 items)

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