Abstract Interpretation: From 0, 1, To ∞ [pdf] | Dark Hacker News