Static Method Call of JAVA

Introduce an Data-Flow Analysis. The Analysis figures out different address and returns referencable value through Method Call. The result of the Analysis can be used to find Dynamic Expressional Type approximately. All Method Calls associated with particularly defined method can be converted into Static Method Calls.The task of replacing Dynamic Calls by Static Binding can be fulfilled through using Static Method Analysis.