Redundant Run-Time Type Information Removal

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.

2. The method of claim 1 , wherein said creating a type information set of type information regarding objects in the data section further comprises: removing non-unique type information regarding objects in the data section from the type instruction set.

3. The method of claim 1 , wherein said constructing an object set of objects in the compiled program further comprises: removing non-unique objects from the object set.

4. The method of claim 1 , wherein the at least one object is a polymorphic object.

5. The method of claim 1 , wherein the at least one object file has been concatenated with at least one additional object file into a binary file.

6. The method of claim 1 , further comprising: concatenating the at least one object file with at least one additional object file into a binary file.

7. The method of claim 1 , wherein said 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 comprises: searching at least one additional object file for the at least one instruction that uses the at least one instance of type information regarding the at least one object.

8. The method of claim 1 , wherein the at least one instruction that uses the at least one instance of type information comprises at least one of an instruction that obtains a type of the at least one object or an instruction that converts the type of the at least one object.

9. 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 a first object file of a compiled program, the compiled program stored in at least one machine-readable media; searching a data section of at least one additional object file of the compiled program, utilizing the at least one processing unit, for the at least one instance of type information regarding the at least one object, wherein the searching comprises: 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 the at least one instance of type information regarding the at least one object from the data section of the at least one additional object file utilizing the at least one processing unit.

10. The method of claim 9 , wherein said searching a data section of at least one additional object file of the compiled program, utilizing the at least one processing unit, for the at least one instance of type information regarding the at least one object comprises: comparing the at least one instance of type information regarding the at least one object to type information regarding objects from the data section of the at least on additional object file; determining whether the at least one instance of type information regarding the at least one object is similar to any of the type information regarding objects from the data section of the at least one additional object file.

11. The method of claim 10 , wherein the at least one instance of type information regarding the at least one object is found in the data section of the at least one additional object file if the at least one instance of type information regarding the at least one object is similar to any of the type information regarding objects from the data section of the at least one additional object file.

12. The method of claim 10 , wherein said comparing the at least one instance of type information regarding the at least one object to type information regarding objects from the data section of the at least on additional object file comprises: comparing at least one of sizes, contents, or referenced symbols of the at least one instance of type information regarding the at least one object and the type information regarding objects from the data section of the at least on additional object file.

13. The method of claim 9 , further comprising: concatenating the at least one object file with the at least one additional object file into a binary file.

14. The method of claim 9 , wherein the at least one object file has been concatenated with the at least one additional object file into a binary file.

15. The method of claim 9 , wherein the at least one object is a polymorphic object.

16. A system for removing redundant type information from a compiled program, comprising: at least one tangible storage media, operable to store a compiled program that includes at least one object file; at least one hardware processing unit, communicably coupled to the at least one tangible storage media, operable to analyze the compiled program to determine that a data section of at least one object file includes at least one redundant instance of type information regarding at least one object, the analysis comprising: 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; wherein the at least one processing unit removes the at least one redundant instance of type information regarding the at least one object from the data section.

17. The system of claim 16 , wherein the at least one processing unit determines that the data section of the at least one object file includes at least one redundant instance of type information regarding the at least one object by determining that the compiled program does not include an instruction that uses the at least one redundant instance of type information regarding the at least one object.

18. The system of claim 16 , wherein the at least one processing unit determines that the data section of the at least one object file includes at least one redundant instance of type information regarding the at least one object by searching a data section of at least one additional object file of the compiled program for the at least one redundant instance of type information regarding the at least one object.

19. The system of claim 16 , further comprising: a linker, executable by the at least one processing unit; wherein the at least one processing unit analyzes the compiled program to determine that the data section of the at least one object file includes the redundant instance of type information for the at least one object and removes the redundant instance of type information for the at least one object from the data section utilizing the linker.