While standards are emerging which define exchange formats for reverse engineering tools, it is not clear what source code models should be represented using these formats. It is the authors' position that the formalization of agreed and well understood models is a necessary precondition to achieve interoperability. Only when different analyses share a same view of the source code, in which the same information items are represented, it becomes possible to make them communicate with each other. This paper investigates the available models in source code analysis, their overlaps, and their dimensions of variability.
Postscript version of the paper.