Parallelization of Java programs is a complex task due to inheritance, dynamic method dispatching and aliases. Our research
[2] aims to perform static analysis of Java programs in order to identify implicit parallelism. In this paper, we discuss
first the inter-procedural analysis technique we are studying and implementing to characterize data-dependency. And then we
enhance this framework with type-based alias analysis.