結果 : static analysis of remote procedure call in java programs