کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875933 | 689595 | 2016 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A generic framework for heap and value analyses of object-oriented programming languages
ترجمه فارسی عنوان
یک چارچوب عمومی برای تجزیه و تحلیل داده ها و مقدار زبان های برنامه نویسی شی گرا
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
تجزیه و تحلیل استاتیک، تفسیر چکیده، تحلیلگران عمومی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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
Journal: Theoretical Computer Science - Volume 631, 6 June 2016, Pages 43-72
نویسندگان
Pietro Ferrara,