| 
|
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
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.
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)