کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875933 689595 2016 30 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A generic framework for heap and value analyses of object-oriented programming languages
ترجمه فارسی عنوان
یک چارچوب عمومی برای تجزیه و تحلیل داده ها و مقدار زبان های برنامه نویسی شی گرا
کلمات کلیدی
تجزیه و تحلیل استاتیک، تفسیر چکیده، تحلیلگران عمومی،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
interpretation has been widely applied to approximate data structures and (usually numerical) value information, but their combination is needed to effectively apply static analysis to real software. In this context, we introduce a generic framework that, given a heap and a value analysis, combines them, proving formally its soundness. We plug inside this framework a standard allocation site-based pointer analysis, a TVLA-based shape analysis, and standard existing numerical domains. As far as we know, this is the first sound generic automatic framework for statically typed object-oriented programming languages combining heap and value analyses that allows to summarize and materialize heap identifiers.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 631, 6 June 2016, Pages 43-72
نویسندگان
,