@Article{         VardoulakisShivers,
  Author        = "Vardoulakis, Dimitrios and Shivers, Olin",
  Abstract      = "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.",
  date-added    = "2012-07-11 08:08:50 +0200",
  date-modified = "2013-01-28 12:12:40 +0000",
  EPrint        = "1102.3676v6",
  Keywords      = "program analysis and pushdown automata and control-flow analysis",
  Month         = "02",
  Title         = "CFA2: a Context-Free Approach to Control-Flow Analysis",
  URL           = "http://arxiv.org/abs/1102.3676v6",
  Year          = "2011",
  bdsk-url-1    = "http://arxiv.org/abs/1102.3676v6",
  File          = "CFA2 a Context-Free Approach to Control-Flow Analysis - Vardoulakis, Shivers (0) (0) - a - a - n.pdf",
  file-2        = "CFA2 a Context-Free Approach to Control-Flow Analysis - Vardoulakis, Shivers (1) (0) - a - a - n.pdf"
}

@Article{ VardoulakisShivers, Author = "Vardoulakis, Dimitrios and Shivers, Olin", Abstract = "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.", date-added = "2012-07-11 08:08:50 +0200", date-modified = "2013-01-28 12:12:40 +0000", EPrint = "1102.3676v6", Keywords = "program analysis and pushdown automata and control-flow analysis", Month = "02", Title = "CFA2: a Context-Free Approach to Control-Flow Analysis", URL = "http://arxiv.org/abs/1102.3676v6", Year = "2011", bdsk-url-1 = "http://arxiv.org/abs/1102.3676v6", File = "CFA2 a Context-Free Approach to Control-Flow Analysis - Vardoulakis, Shivers (0) (0) - a - a - n.pdf", file-2 = "CFA2 a Context-Free Approach to Control-Flow Analysis - Vardoulakis, Shivers (1) (0) - a - a - n.pdf" }