2 posts tagged with "control flow analysis"

Timestamps, contours and context are some pretty general terms that are often conflated or used somewhat interchangeably in the literature. This post will try to disambiguate the three concepts and distill each into their origin, intended purpose, and nuances.

The Abstracting Abstract Machines (Van Horn and Might 2010) paper is frequently cited due to its presentation of a methodological process of abstracting a small-step abstract machine for analysis.