Effective Pointer Error Detection using Shape Analysis Seminars/Workshops

Abstract

Brief introduction to the Shape Analysis and a two real world example. Inspite of superior accuracy, the Space Analysis has been regarded as impractical. Overwhelming space and time complexities are main reason. At first, Prof. Lee introduce an economical seperation logic based implementation, sufficient to handle real world problem. Four techniques (liveness analysis, aggresive join, empty-list handling, using locality during inter-procedural analysis to name) are addopted to reduce a time comlexity and two to minimize memory usage(sparser table, discardng itermediate result) Secondly, He shows domain specificaly optimzed usage of Shape Analysis. Shape Analysis is going to practical technology.