کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875304 | 1441596 | 2018 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Combining range and inequality information for pointer disambiguation
ترجمه فارسی عنوان
ترکیب محدوده و نابرابری برای ابهام اشاره گر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
امتیاز به تجزیه و تحلیل، پنتاگون، کمتر از چک، تفسیر چکیده، ساخت سازنده،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
With this new algorithm, we are able to disambiguate pointers with offsets, that commonly occur in C programs, in a precise and efficient way. Together with this new abstract domain we describe several implementation decisions that let us produce a practical pointer disambiguation algorithm on top of the LLVM compiler. Our alias analysis is able to handle programs as large as SPEC CPU2006's gcc in a few minutes. Furthermore, it improves on LLVM's industrial quality analyses. As an extreme example, we have observed a 4x improvement when analyzing SPEC's lbm.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 152, 15 January 2018, Pages 161-184
Journal: Science of Computer Programming - Volume 152, 15 January 2018, Pages 161-184
نویسندگان
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord,