Shape-Based Alias Analysis

By Viktor Pavlu

Shape analysis is a static code analysis technique for discovering properties of heap-allocated data structures. Such information is crucial to find software bugs at compile-time or to verify... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3639249658
• ISBN13: 9783639249651
• Release Date: April 2010
• Publisher: VDM Verlag
• Length: 132 Pages
• Weight: 0.45 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"