Techniques for Generic and Scalable Program Analysis
Abstract
As the volume of existing software in the industry grows at a rapid pace, the problems of understanding, maintaining, and developing software assume great significance. A strong support for analysis of programs is essential for a practical and meaningful solution to such problems. Though program analysis has been studied extensively in literature, it has not been adopted successfully by the industry. The primary reasons for this are lack of genericity and scalability of the analysis techniques to large programs in real programming languages. The talk will present a set of techniques to achieve genericity and scalability in program analysis, and present some experimental results using our techniques.
No comments:
Post a Comment