This paper shows how data flow analysis can be used to infer type information related to Java bytecode, and evaluates this approach. All the elements needed to specify, the data flow,problem to be software conveniently defined, according to the theory on data flow frameworks, along with algorithms to build them automatically from the Java bytecode. To evaluate the approach, we consider the specific problem of statically determining the set of methods potentially invoked by each method call instruction, which is useful for several purposes, such as building accurate call graphs. Experimental results are presented showing that data flow analysis can improve the accuracy of the results with respect to other simpler techniques at acceptable costs.

Using Data Flow Analysis to Infer Type Information in Java Bytecode / Maggi, Paolo; Sisto, Riccardo. - STAMPA. - (2001), pp. 211-222. (Intervento presentato al convegno SCAM 2001 - 1st Int. Workshop on Source Code Analysis and Manipulation tenutosi a Florence, Italy nel NOV 10, 2001) [10.1109/SCAM.2001.972683].

Using Data Flow Analysis to Infer Type Information in Java Bytecode

MAGGI, PAOLO;SISTO, Riccardo
2001

Abstract

This paper shows how data flow analysis can be used to infer type information related to Java bytecode, and evaluates this approach. All the elements needed to specify, the data flow,problem to be software conveniently defined, according to the theory on data flow frameworks, along with algorithms to build them automatically from the Java bytecode. To evaluate the approach, we consider the specific problem of statically determining the set of methods potentially invoked by each method call instruction, which is useful for several purposes, such as building accurate call graphs. Experimental results are presented showing that data flow analysis can improve the accuracy of the results with respect to other simpler techniques at acceptable costs.
2001
0769513875
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/1418130
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo