کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875304 1441596 2018 24 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Combining range and inequality information for pointer disambiguation
ترجمه فارسی عنوان
ترکیب محدوده و نابرابری برای ابهام اشاره گر
کلمات کلیدی
امتیاز به تجزیه و تحلیل، پنتاگون، کمتر از چک، تفسیر چکیده، ساخت سازنده،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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
نویسندگان
, , , ,