Environment analysis via Delta CFA
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.
environment analysis cps languages delta-cfa program analysis flow analysis functional languages lambda calculus super-beta inlining continuations