Resolving and Exploiting the K-CFA Paradox

Free registration required

Executive Summary

Low-level program analysis is a fundamental problem, taking the shape of "Flow analysis" in functional languages and "Points-to" analysis in imperative and object-oriented languages. Despite the similarities, the vocabulary and results in the two communities remain largely distinct, with limited cross-understanding. One of the few links is Shivers's k-CFA work, which has advanced the concept of "Context-sensitive analysis" and is widely known in both communities. Recent results indicate that the relationship between the functional and object-oriented incarnations of k-CFA is not as well understood as thought.

  • Format: PDF
  • Size: 582.16 KB