Author: Tyler Durden
The academic community might be familiar with the concepts described in this article, but its thoroughness and readability are unique in the field. This paper is an awesome mix of intermediate language translation, dataflow analysis, control flow analysis, and especially abstract interpretation. Published in Phrack 64.