Systems, methods, and structures are discussed that enhance type
reconstruction for programs. Whereas previous methods insufficiently
provide the set of types necessary for program analysis, the embodiments
of the present invention can accept any verifiable bytecode programs and
produce a set of types needed for program analysis. The embodiments of
the present invention provide a technique called subtype completion that
transforms a subtyping system by extending its type hierarchy to a
lattice. However, such transformation inserts only a minimal amount of
elements so as to enhance the computation of reconstructed types.
I sistemi, i metodi e le strutture sono discussi che aumentano il tipo ricostruzione per i programmi. Considerando che i metodi precedenti forniscono insufficientemente l'insieme dei tipi necessari per analisi di programma, i metodi di realizzazione di presente invenzione possono accettare tutti i programmi verificabili del bytecode e produrre un insieme dei tipi stati necessari per analisi di programma. I metodi di realizzazione di presente invenzione forniscono una tecnica denominata completamento di sottotipo che trasforma un sistema subtyping estendendo il relativo tipo gerarchia fino una grata. Tuttavia, tale trasformazione inserisce soltanto una quantità minima di elementi in modo da aumentare il calcolo dei tipi ricostruiti.
