تقرير
CFA2: a Context-Free Approach to Control-Flow Analysis
| العنوان: | CFA2: a Context-Free Approach to Control-Flow Analysis |
|---|---|
| المؤلفون: | Vardoulakis, Dimitrios, Shivers, Olin |
| المصدر: | Logical Methods in Computer Science, Volume 7, Issue 2 (May 1, 2011) lmcs:684 |
| سنة النشر: | 2011 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Programming Languages, F.3.2, D.3.4 |
| الوصف: | In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate programs with control-flow graphs. Call/return mismatch introduces precision-degrading spurious control-flow paths and increases the analysis time. We describe CFA2, the first flow analysis with precise call/return matching in the presence of higher-order functions and tail calls. We formulate CFA2 as an abstract interpretation of programs in continuation-passing style and describe a sound and complete summarization algorithm for our abstract semantics. A preliminary evaluation shows that CFA2 gives more accurate data-flow information than 0CFA and 1CFA. Comment: LMCS 7 (2:3) 2011 |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.2168/LMCS-7(2:3)2011 |
| URL الوصول: | http://arxiv.org/abs/1102.3676 |
| رقم الأكسشن: | edsarx.1102.3676 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.2168/LMCS-7(2:3)2011 |
|---|