کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874822 1441439 2018 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Demand-driven interprocedural analysis for map-based abstract domains
ترجمه فارسی عنوان
تجزیه و تحلیل بین فرایند تقاضا برای دامنه انتزاعی مبتنی بر نقشه
کلمات کلیدی
تجزیه و تحلیل برنامه استاتیک، تجزیه و تحلیل جریان داده ها بین پردازش، تفسیر چکیده، سیستم های محدود حل محلی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Many data flow analysis problems can be succinctly formalized using constraint systems. For interprocedural analysis, the system may contain an infinite number of constraints, but it can still be solved using a local solver that evaluates the constraints in a demand-driven fashion. In this paper, we use local solvers to develop a compositional framework for interprocedural on-demand static analysis. We can integrate any map-based abstract domain into our framework, such as a points-to analysis that maps pointers to their possible target addresses. Driven by the local solving algorithm that tracks the required dependencies, only those points-to sets that are of interest to the user are computed. The approach is applicable whenever the keys of the map are efficiently comparable and the domain operations are applied pointwise; we place no additional restrictions on the value domain nor on the transfer functions of the analysis beyond the standard termination requirements of the solvers.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 100, November 2018, Pages 57-70
نویسندگان
, , ,