Redundant run-time type information removal

摘要

Redundant run-time type information is removed from a compiled program. The redundant type information may be unneeded and/or duplicate. Unneeded type information is removed by selecting instances of type information from read only data sections of object files. The entire compiled program is searched for instructions that use the instances. The instances that do not correspond to such instructions are removed from the object files. Duplicate type information is removed by selecting instances of type information from read only data sections of object files. The read only data sections of the other object files in the compiled program are then searched for the selected instances. The selected instances that exist in the read only data sections of the other object files are removed. Redundant type information may be removed from individual object files before concatenation into a single binary file and/or from a single binary file after concatenation.

主权项

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; andcomparing 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.