Environment analysis via ΔCFA

Academic Article

Abstract

  • We describe a new program-analysis framework, based on CPS and procedure-string abstractions, that can handle critical analyses which the k-CFA framework cannot. We present the main theorems concerning correctness, show an application analysis, and describe a running implementation. Copyright © 2006 ACM.
  • Authors

    Published In

    Digital Object Identifier (doi)

    Author List

  • Might M; Shivers O
  • Start Page

  • 127
  • End Page

  • 140
  • Volume

  • 41
  • Issue

  • 1