Interprocedural Analysis with Lazy Propagation

被引：0

作者：

Jensen, Simon Holm ^{[1
]}

Moller, Anders ^{[1
]}

Thiemann, Peter ^{[2
]}

机构：

[1] Aarhus Univ, DK-8000 Aarhus C, Denmark

[2] Univ Freiberg, Freiberg, Germany

来源：

STATIC ANALYSIS | 2010年 / 6337卷

关键词：

DATA-FLOW ANALYSIS; EFFICIENT; !text type='JAVA']JAVA[!/text]SCRIPT; ALGORITHM; PROGRAMS;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions may not be distributive. The technique is described formally as a systematic modification of a variant of the monotone framework and its theoretical properties are shown. It is implemented in a type analysis tool for JavaScript where it results in a significant improvement in performance.

引用

页码：320 / +

页数：4

共 29 条

[1] Anderson C, 2005, LECT NOTES COMPUT SC, V3586, P428
[2] [Anonymous], P ACM SIGPLAN C PROG
[3] [Anonymous], 1987, The Implementation of Functional Programming Languages
[4] [Anonymous], P 18 INT C WORLD WID
[5] Artzi S., 2008, P INT S SOFTW TEST A
[6] Implementation techniques for efficient data-flow analysis of large programs
Atkinson, DC
Griswold, WG
[J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 52 - 61
[7] Balakrishnan G, 2006, LECT NOTES COMPUT SC, V4134, P221
[8] Fecht C, 1998, LECT NOTES COMPUT SC, V1381, P90, DOI 10.1007/BFb0053565
[9] FURR M, 2009, LNCS, V5867
[10] Heidegger P, 2010, LECT NOTES COMPUT SC, V6183, P200, DOI 10.1007/978-3-642-14107-2_10

← 1 2 3 →