@article {horvath:pointer_journal, title = {General Flow-Sensitive Pointer Analysis and Call Graph Construction}, journal = {Proceedings of the Estonian Academy of Sciences {\textendash} Engineering}, volume = {11}, number = {4}, year = {2005}, month = {dec}, pages = {286{\textendash}295}, publisher = {Estonian Academy Publishers}, author = {E. Horv{\'a}th and I. Forg{\'a}cs and {\'A}kos Kiss and Judit J{\'a}sz and Tibor Gyim{\'o}thy} }