Литература
Balakrishnan G., Reps T. Analyzing memory accesses in x86 executables // International conference on compiler construction. – Springer Berlin Heidelberg, 2004. – С. 5-23.
Müller-Olm M., Seidl H. Precise interprocedural analysis through linear algebra // ACM SIGPLAN Notices. – ACM, 2004. – Т. 39. – №. 1. – С. 330-341.
Дополнительная литература
Ramalingam G., Field J., Tip F. Aggregate structure identification and its application to program analysis // Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. – ACM, 1999. – С. 119-132.