1. A method for removing redundant type information from a compiled program, comprising: selecting, utilizing at least one processing unit, at least one instance of type information regarding at least one object from a data section in at least one object file of a compiled program, the compiled program stored in at least one machine-readable media; searching the compiled program, utilizing the at least one processing unit, for at least one instruction that uses the at least one instance of type information regarding the at least one object, the search comprising: creating a type information set of type information regarding objects in the data section, the type information set including the at least one instance of type information regarding the at least one object; constructing an object set of objects in the compiled program, each of the objects the target of at least one instruction that uses type information; and comparing the type information set to the object set to determine whether the at least one object is included in the object set; and removing, utilizing the at least one processing unit, the at least one instance of type information regarding the at least one object from the data section when the compiled program does not include the at least one instruction.