Ana Milanova Atanas Rountev Barbara G. Ryder Precise Call Graphs for C Programs with Function Pointers. 7-26 2004 11 Autom. Softw. Eng. 1 http://dx.doi.org/10.1023/B:AUSE.0000008666.56394.a1 db/journals/ase/ase11.html#MilanovaRR04