CFA2: a Context-Free Approach to Control-Flow Analysis

Details CFA2: a Context-Free Approach to Control-Flow Analysis CFA2: a Context-Free Approach to Control-Flow Analysis

2011-02-17

arxiv.org/abs/1102.3676v6

Computer Science

Programming Languages

LMCS 7 (2:3) 2011

Scientific paper

10.2168/LMCS-7(2:3)2011

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.

Affiliated with

Also associated with

No associations

Rating

CFA2: a Context-Free Approach to Control-Flow Analysis does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with CFA2: a Context-Free Approach to Control-Flow Analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and CFA2: a Context-Free Approach to Control-Flow Analysis will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-381257