1. A method of providing class hierarchy information for function devirtualization of a program that includes a plurality of classes, from a representation of the program that includes virtual tables for classes that include virtual functions and type structure information for the classes, the method comprising: identifying the classes from the virtual tables; and using the type structure information to identify the relationships between the classes.